De l'infinitésimal au local (Thèse de Doctorat d'État)
Diagrammes, Volume S13 (1985), p. 1-191 
@article{DIA_1985__S13__1_0,
     author = {Penon, Jacques},
     title = {De l'infinit\'esimal au local (Th\`ese de Doctorat d'\'Etat)},
     journal = {Diagrammes},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {S13},
     year = {1985},
     pages = {1-191},
     zbl = {0558.18003},
     mrnumber = {798526},
     language = {fr},
     url = {http://www.numdam.org/item/DIA_1985__S13__1_0}
}

Penon, Jacques. De l'infinitésimal au local (Thèse de Doctorat d'État). Diagrammes, Volume S13 (1985) pp. 1-191. http://www.numdam.org/item/DIA_1985__S13__1_0/

[1] M. Artin, A. Grothendieck, J.L. Verdier : "Théorie des topos et cohomologie étale des Schémas" (SGA 4), Lecture Notes in Math. n°269, Springer.

[2] J. Bénabou : "Fibrations petites et localement petites" C.R. Acad. Sci. Paris 281 pp. 897-900 ( 1975). | MR 393181 | Zbl 0349.18006

[3] J. Bénabou : "Des catégories fibrées". Livre en préparation.

[4] A. Boileau : "Types versus Topos". Ph. D. Thèse, Université de Montréal ( 1975).

[5] N. Bourbaki : "Algèbre Commutative", Eléments de Math. Chap. III, Hermann, Paris.

[6] M. Bunge : "Synthetic aspects of C∞-mappings"J. Pure and Applied Algebra, 28 pp. 41-63 ( 1983). | MR 692851 | Zbl 0531.18005

[7] M. Coste : "Logique d'ordre supérieur dans les topos élémentaires". Séminaire Bénabou, Université Paris-Nord ( 1974).

[8] M. Coste : "Une approche logique des théories définissables par limites projectives finies". Séminaire de théorie des catégories (J. Bénabou), Univ. Paris-Nord ( 1976).

[9] M. Demazure et A. Grothendieck : "Schémas en Groupes I" (SGA 3 ), Lecture Notes in Math. n°151, Springer. | Zbl 0207.51401

[10] E.J. Dubuc : "Sur les Modèles de la Géométrie Différentielle Synthétique", Cahiers de Topo, et Géom. Diff. Vol. XX-3, ( 1979) pp. 231-279. | Numdam | MR 557083 | Zbl 0473.18008

[11] E.J. Dubuc : "C∞-schemes", Amer. J. Math. 103 (4), ( 1981). | MR 623133 | Zbl 0483.58003

[12] E.J. Dubuc : "Open covers and infinitary operations in C∞-rings" Cahiers de Top. et Géom. Diff. 22, pp. 287-300 ( 1981). | Numdam | MR 649077 | Zbl 0472.18008

[13] E.J. Dubuc et J. Penon : "Objets compacts dans les topos" Trabajos de Matematica n°60. I.A.M. c. c. 1727, 1000 Buenos Aires ( 1984).

[14] M. Dummet : "Elements of intuitionism" Clarendon Press-Oxford ( 1977). | MR 498017 | Zbl 0358.02032

[15] M. Fourman : "Joyal's proof that a provable function is provably continuous" Preprint ( 1979).

[16] R. Godement : "Topologie Algébrique et Théorie des Faisceaux" Hermann, Paris ( 1958). | MR 102797 | Zbl 0080.16201

[17] R.J. Grayson : "Intuitionistic set theory", Ph.D. Thesis, ( 1978).

[18] A. Grothendieck : "Revêtements Etales et Groupe Fondamental" (SGA 1) Lecture Notes in Math. n°224, Springer. | MR 2017446

[19] M. Hakim : "Topos annelés et schémas relatifs", Ergebnisse der Math. 64, Springer Verlag ( 1972). | MR 364245 | Zbl 0246.14004

[20] P.T. Johnstone : "Topos Theory". London Math. Society, Monographs n°10, Academic Press ( 1977). | MR 470019 | Zbl 0368.18001

[21] P.T. Johnstone : "Regular reflections of discrete locales" Conférence du Cambridge Summer Meeting In category Theory ( 1981).

[22] A. Kock : "Universal projective geometry via topos theory" J. Pure and Applied Algebra, 9 ( 1976), 1-24. | MR 430955 | Zbl 0375.02016

[23] A. Kock : "Synthetic Differential Geometry" London Math. Society, L.N.S. 51. Cambrige univ. press ( 1981). | MR 649622 | Zbl 0466.51008

[24] A. Kock and G.E. Reyes : "Manifolds in formal differential geometry", in Applications of Sheaves, Proceedings Durham 1977, Lecture Notes in Math. 753, Springer Verlag ( 1979). | MR 555559 | Zbl 0426.14001

[25] C. Lair : "Etude générale de la catégorie des esquisses" Esquisses Math. n°23, ( 1975). | MR 422385 | Zbl 0397.18007

[26] F.W. Lawvere : "Categorical Dynamics" Various Publication séries 30, pp. 1-28. Matematisk Institut, Aarhus ( 1979). | MR 552656 | Zbl 0403.18005

[27] M. Makkai et G. Reyes : "First-Order Categorical Logic", Lecture Notes in Math. 611, Springer-Verlag ( 1977). | MR 505486 | Zbl 0357.18002

[28] J.S. Milne : "Etale Cohomology" Princeton University Press, n°33 ( 1980). | MR 559531 | Zbl 0433.14012

[29] I. Moerdijk and G.E. Reyes : "Smooth spaces versus continuous spaces in models for synthetic differential geometry" ( 1983) Report 83-02. Univ. of Amsterdam. | MR 741963

[30] J.P. Murre : "Lectures on an introduction to Grothendieck's theory of the fundamental Group" Tata Institute of Fundamental Research, Bombay ( 1967). | MR 302650 | Zbl 0198.26202

[31] G. Osius : "Logical and set theoretical methods in elementary topoï" Model Theory and Topoï. Springer Lecture Notes n°445 ( 1975). | Zbl 0348.18002

[32] J. Penon : "Infinitesimaux et intuitionnisme", cahiers de Top. et Géom. Diff. 22 ( 1981), 67-72. | Numdam | MR 609161 | Zbl 0463.18005

[33] J. Penon : "Topologie et intuitionnisme", Journées Faisceaux et Logique Mai 81, Univ. Paris-Nord, pré-publications math. ( 1982).

[34] J. Penon : Le "théorème d'inversion locale en géométrie algébrique", Journées Faisceaux et Logique, Mai 1982, Univ. Louvain La Neuve, pré-publications math. ( 1982).

[35] M. Raynaud : "Anneaux locaux henséliens". Lecture Notes in Math. n°169 Springer. | MR 277519 | Zbl 0203.05102

[36] G. Reyes (éditeur) "Analyse C∞", Géométrie Différentielle Synthétique, Rapport de Recherches du Dépt. de Math, et de Stat. 80-12, Univ. de Montréal ( 1980).

[37] A. Robinson : "Non Standard Analysis" North-Holland ( 1966). | MR 205854 | Zbl 0151.00803

[38] J.C. Tougeron : "Idéaux de fonctions différentiables", Ergebnisse der Math, Springer Verlag ( 1972). | MR 440598 | Zbl 0251.58001

[39] A. Weil : "Théorie des points proches sur les variétés différentiables", in Colloq. Top. et Géom. Diff., Strasbourg ( 1953) pp. 111-117. | MR 61455 | Zbl 0053.24903