Author | Moerdijk, Ieke. author |
---|---|
Title | Models for Smooth Infinitesimal Analysis [electronic resource] / by Ieke Moerdijk, Gonzalo E. Reyes |
Imprint | New York, NY : Springer New York : Imprint: Springer, 1991 |
Connect to | http://dx.doi.org/10.1007/978-1-4757-4143-8 |
Descript | X, 400 p. online resource |
I C?-Rings -- II C?-Rings as Variable Spaces -- III Two Archimedean Models for Synthetic Calculus -- IV Cohomology and Integration -- V Connections on Microlinear Spaces -- VI Models with Invertible Infinitesimals -- VII Smooth Infinitesimal Analysis -- Appendix 1: Sheaves and Forcing -- 1 Sites -- 2 Sheaves -- 3 Forcing -- Appendix 2: A survey of models -- Appendix 3: The integration axiom -- Appendix 4: The amazing right adjoint -- Appendix 5: Comments, References and Further Developments -- Index of symbols