
Models for Smooth Infinitesimal Analysis
Springer (Publisher)
Published on 17. December 1990
Book
Hardback
X, 400 pages
978-0-387-97489-7 (ISBN)
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.
More details
Edition
1991 ed.
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Research
Product notice
sewn/stitched
Cloth over boards
Illustrations
X, 400 p.
Dimensions
Height: 233 mm
Width: 164 mm
Thickness: 30 mm
Weight
736 gr
ISBN-13
978-0-387-97489-7 (9780387974897)
DOI
10.1007/978-1-4757-4143-8
Schweitzer Classification
Other editions
Additional editions

Ieke Moerdijk | Gonzalo E. Reyes
Models for Smooth Infinitesimal Analysis
Book
12/2010
Springer
€117.69
Shipment within 15-20 days
Persons
Content
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.