Models for Smooth Infinitesimal Analysis by Ieke Moerdijk, Gonzalo E. Reyes.
The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By dis...
Full description
Saved in: