Models for smooth infinitesimal analysis
Book information
Description
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 discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.
Similar books
Models for smooth infinitesimal analysis
1991 · DJVU
Simplicial Methods for Operads and Algebraic Geometry (Advanced Courses in Mathematics - CRM Barcelona)
2010 · PDF
Simplicial and Dendroidal Homotopy Theory (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 75)
2022 · PDF
First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories
1977 · PDF
Sets, Models and Proofs
2018 · PDF
Proper Maps of Toposes
2000 · DJVU
Proper Maps of Toposes
2000 · PDF
Generic figures and their glueings: A constructive approach to functor categories
2008 · DJVU