11
votes
2answers
756 views

synthetic differential geometry and other alternative theories

There are models of differential geometry in which the intermediate value theorem is not true but every function is smooth. In fact I have a book sitting on my desk called "Models for Smooth ...
3
votes
2answers
463 views

Broken Symmetry

I have a tangled web of ideas about natural transformations, vector spaces, equivalence classes, local coordinates, etc. in my head that I'm trying to unravel. So here are some of the questions I ...