Cover Image

Models for Smooth Infinitesimal Analysis /

Show other versions (1)

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

Bibliographic Details
Main Author: Moerdijk, Ieke
Corporate Author: SpringerLink (Online service)
Other Authors: Reyes, Gonzalo E.
Format: eBook
Language:English
Published: New York, NY : Springer New York, 1991.
Subjects:
Mathematics.
Global analysis (Mathematics)
Cell aggregation > Mathematics.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • C?-Rings
  • C?-Rings as Variable Spaces
  • Two Archimedean Models for Synthetic Calculus
  • Cohomology and Integration
  • Connections on Microlinear Spaces
  • Models with Invertible Infinitesimals
  • Smooth Infinitesimal Analysis
  • Appendix 1: Sheaves and 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
  • Index of Symbols
  • Bibliography.