You are currently browsing the category archive for the ‘Synthetic differential geometry’ category.

Moerdijk I. and G. E. Reyes (1986). Rings of smooth functions and their localizations I.Journal of Algebra 99. No.2, 324-336.

Bélair L. and G. E. Reyes (1985). Calcul Infinitésimal en Géométrie Différentielle
Synthétique. In R. Chuaqui (ed.). Analysis, Geometry and Probability (Proc. First Symp. of
Chilean mathematicians, Valparaiso 1981). New York: Marcel Dekker, 195-220. (SDG)

Moerdijk I. and G. E. Reyes (1984). De Rham’s theorem in smooth toposes. Math.
Proc. Cambridge Phil. Soc. 96, 61-72.

Moerdijk I. and G. E. Reyes (1984). Smooth spaces versus continuous spaces in
models for Synthetic Differential Geometry. J. Pure and Applied Algebra 32,
143-176.

Moerdijk I. and G. E. Reyes (1983). Cohomology theories in synthetic differential
geometry. In A. Kock (ed.). Proc. Workshop on category theoretic methods in
Geometry. Aarhus: Various Publications, 1-67.

Ngo van Quê and G. E. Reyes (1982). Synthetic Calculus and smooth functors. In
Troelstra A. S. and D. van Dalen (eds.). The L. E. J. Brouwer Symposium.
Amsterdam: North Holland, 377-395.

G. E. Reyes (1981). Analyse dans les topos lisses. Third Colloquium on Categories, Part III (amiens, 1980, France). Cahiers de top. et geom. diff 22,
155-160.

G. E. Reyes (1981). Géométrie différentielle synthétique. Gazette des Sci. Math. du Québec 5, 6-19.

Kock A. and G. E. Reyes (1981). Models for synthetic integration theory. Math.
Scand. 48, 145-152.

Kock A. and G. E. Reyes (1979). Connections in formal differential geometry.
In Kock A. (ed.). Topos theoretic methods in Geometry (Proceedings of the Open
House on Topos theoretic methods in Geometry and Analysis, Aarhus, may 1978,
Denmark). Aarhus: Various Publication Series No. 30, 158-195.