/sci/ - Science & Math

>>8452911
And I don't even care, to be frank. There is nothing wrong with autism if the autist is functional enough to do things. Otherwise it is sad.

Go for walks, drink enough liquids, study interesting stuff.

>>8405072
Sorry, I fell asleep. I'll try to give a more thorough answer when I've digested this better, but let's throw some ideas in the air anyway.

Could you somehow construct a product of the tangent bundle and some space with internal structure corresponding to the data the Yoneda embedding carries, and then show such a construction would be the G(A) of this post >>8402192?

If such a construction was possible, you could define the projections from (let's call it a Yoneda bundle temporarily) a Yoneda bundle onto the manifold as the canonical projection of the product followed by the bundle projection. Then the sections would easily be augmented in a way that they would be not from the manifold into the tangent bundle, but from the manifold into the Yoneda bundle: set them constant in the other coordinate. The morphisms between Yoneda bundles would be products of tangent bundle morphisms and whatever morphisms would be the most suitable for the structure preserver.

>>8405139
nLab, Wikipedia (not even a joke), maybe Mac Lane's book available online, etc.