De l'infinitésimal au local (Thèse de Doctorat d'État)
Diagrammes, Thèse de Doctorat d'Etat, Tome S13 (1985), pp. 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},
     pages = {1--191},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {S13},
     year = {1985},
     mrnumber = {798526},
     zbl = {0558.18003},
     language = {fr},
     url = {http://archive.numdam.org/item/DIA_1985__S13__1_0/}
}
TY  - JOUR
AU  - Penon, Jacques
TI  - De l'infinitésimal au local (Thèse de Doctorat d'État)
JO  - Diagrammes
PY  - 1985
SP  - 1
EP  - 191
VL  - S13
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://archive.numdam.org/item/DIA_1985__S13__1_0/
LA  - fr
ID  - DIA_1985__S13__1_0
ER  - 
%0 Journal Article
%A Penon, Jacques
%T De l'infinitésimal au local (Thèse de Doctorat d'État)
%J Diagrammes
%D 1985
%P 1-191
%V S13
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://archive.numdam.org/item/DIA_1985__S13__1_0/
%G fr
%F DIA_1985__S13__1_0
Penon, Jacques. De l'infinitésimal au local (Thèse de Doctorat d'État). Diagrammes, Thèse de Doctorat d'Etat, Tome S13 (1985), pp. 1-191. http://archive.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 | Zbl

[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 | Zbl

[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

[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 | Zbl

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

[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 | Zbl

[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 | Zbl

[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 | Zbl

[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

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

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

[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 | Zbl

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

[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 | Zbl

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

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

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

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

[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

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

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

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

[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 | Zbl

[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 | Zbl

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

[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 | Zbl