Abstract
Here our aim is very different to that of the preceding chapters. In a sense our account of S.D.G. is finished. Now our objective is to show how it is possible to understand the idea of an intuitionistic set theory, or, more precisely, the concept of toposes. We shall also indicate some models of S.D.G., so showing how results can be applied to classical differential geometry.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Commented bibliography
JOHNSTONE, P. T., Topos theory, Academic Press, 1977.
F.W. LAWVERE, Categorical Dynamics, in [25], 1–28.
KOCK, A., A simple axiomatic for differentiation, Math. Scand. 40 (1977), 183–193.
KOCK, A., Synthetic Differential Geometry, London Math. Soc. Lect. Note Series 51, Cambridge Univ. Press, 1981.
MOERDIJK, I., and REYES, G.E., Models for Smooth Infinitesimal Analysis, Springer, 1991.
DUBUC, E.J., Sur les modèles de la géométrie différentielle synthétique, Cahiers Top. et Géom. diff. 20 (1979), 231–279.
DUBUC, E.J., Cschemes, Amer. journ. Math. 103 (1981), 683–690.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Lavendhomme, R. (1996). Note on toposes and models of S.D.G.. In: Basic Concepts of Synthetic Differential Geometry. Kluwer Texts in the Mathematical Sciences, vol 13. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-4588-7_8
Download citation
DOI: https://doi.org/10.1007/978-1-4757-4588-7_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4756-7
Online ISBN: 978-1-4757-4588-7
eBook Packages: Springer Book Archive