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 ...
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 ...