/sci/ - Science & Math

There medusas capable of photosynthesis in a jungle pond somewhere in South America.

>>8407842
Nice. How would you/we define the partial derivatives now, or are we interested in manifolds in general instead of differential manifolds? One way to define being differentiable n times would be that the functor can be factored through n categories without any functor in the factorization being an identity. I just don't know if this would be analogous enough to the ordinary differentiability, or even preserved by sufficiently many functors for this to be a sensible approach.

>>8377961
Indeed we are. The best of luck with your pursuits!