Note on toposes and models of S.D.G.
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.
KeywordsTopological Space Natural Transformation Finite Type Small Category Heyting Algebra
Unable to display preview. Download preview PDF.
- JOHNSTONE, P. T., Topos theory, Academic Press, 1977.Google Scholar
- F.W. LAWVERE, Categorical Dynamics, in , 1–28.Google Scholar
- KOCK, A., Synthetic Differential Geometry, London Math. Soc. Lect. Note Series 51, Cambridge Univ. Press, 1981.Google Scholar
- MOERDIJK, I., and REYES, G.E., Models for Smooth Infinitesimal Analysis, Springer, 1991.Google Scholar