Note on toposes and models of S.D.G.

  • René Lavendhomme
Part of the Kluwer Texts in the Mathematical Sciences book series (TMS, volume 13)


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.


Topological Space Natural Transformation Finite Type Small Category Heyting Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Commented bibliography

  1. [23]
    JOHNSTONE, P. T., Topos theory, Academic Press, 1977.Google Scholar
  2. [44]
    F.W. LAWVERE, Categorical Dynamics, in [25], 1–28.Google Scholar
  3. [27]
    KOCK, A., A simple axiomatic for differentiation, Math. Scand. 40 (1977), 183–193.MathSciNetzbMATHGoogle Scholar
  4. [31]
    KOCK, A., Synthetic Differential Geometry, London Math. Soc. Lect. Note Series 51, Cambridge Univ. Press, 1981.Google Scholar
  5. [52]
    MOERDIJK, I., and REYES, G.E., Models for Smooth Infinitesimal Analysis, Springer, 1991.Google Scholar
  6. [14]
    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.MathSciNetzbMATHGoogle Scholar
  7. [12]
    DUBUC, E.J., Cschemes, Amer. journ. Math. 103 (1981), 683–690.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1996

Authors and Affiliations

  • René Lavendhomme
    • 1
  1. 1.Université Catholique de LouvainBelgium

Personalised recommendations