La « machine de Grothendieck » se fonde-t-elle seulement sur des vocables métamathématiques ? Bourbaki et les catégories au cours des années cinquante
Revue d'histoire des mathématiques, Tome 12 (2006) no. 1, pp. 119-162.

On reconstruit la discussion de Bourbaki sur la théorie des catégories dans les années 1950 ; les sources non publiées qui permettent cette reconstruction font partie des archives Bourbaki en France et du Nachlaß de Samuel Eilenberg, collection récemment redécouverte et depuis incorporée aux archives de la Columbia University. On étudie surtout la relation entre cette discussion et la participation de Grothendieck au projet Bourbaki. Ses travaux sur l'algèbre homologique et sur la géométrie algébrique étaient la motivation principale pour une adoption des catégories par Bourbaki. Or, les raisons pour qu'une telle adoption n'ait pas eu lieu sont multiples : outre le conflit entre les catégories et le concept bourbachique de structure, les problèmes dans le fondement ensembliste des catégories (problèmes qui ont d'ailleurs conduit Grothendieck à introduire ses Univers) et l'opposition personnelle d'André Weil ont été décisifs. En fin de compte, le refus de Bourbaki d'adopter les catégories figure parmi les raisons pour la démission de Grothendieck du groupe.

The Bourbaki discussion on category theory in the late 1950s is reconstructed with the help of unpublished sources contained in the French Bourbaki archives and in the late Samuel Eilenberg's Nachlaß, a recently rediscovered collection now in the Columbia University archives. Special attention is given to the relation between this discussion and Grothendieck's participation in the Bourbaki project. Grothendieck's work on homological algebra and algebraic geometry was the major motivation for attempts to adopt categories in Bourbaki's Eléments; but this adoption failed for several reasons, including a conflict of Bourbaki's concept of structure with categories, but also the problems to give set theoretical foundations for category theory (which eventually led Grothendieck to introduce the notion of Universe which bears nowadays his name) and André Weil's personal disapproval. It is shown that Bourbaki's refusal to adopt category theory was among the reasons which led Grothendieck to leave the group.

Mots clés : algèbre homologique, Bourbaki, théorie des catégories, Eilenberg, géométrie algébrique, Grothendieck, métamathématique, structuralisme, théorie des ensembles, univers, Weil
@article{RHM_2006__12_1_119_0,
     author = {Kr\"omer, Ralf},
     title = {La {\guillemotleft} machine de {Grothendieck} {\guillemotright} se fonde-t-elle seulement sur des vocables m\'etamath\'ematiques ? {Bourbaki} et les cat\'egories au cours des ann\'ees cinquante},
     journal = {Revue d'histoire des math\'ematiques},
     pages = {119--162},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {12},
     number = {1},
     year = {2006},
     zbl = {1177.01034},
     language = {fr},
     url = {http://archive.numdam.org/item/RHM_2006__12_1_119_0/}
}
TY  - JOUR
AU  - Krömer, Ralf
TI  - La « machine de Grothendieck » se fonde-t-elle seulement sur des vocables métamathématiques ? Bourbaki et les catégories au cours des années cinquante
JO  - Revue d'histoire des mathématiques
PY  - 2006
DA  - 2006///
SP  - 119
EP  - 162
VL  - 12
IS  - 1
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/RHM_2006__12_1_119_0/
UR  - https://zbmath.org/?q=an%3A1177.01034
LA  - fr
ID  - RHM_2006__12_1_119_0
ER  - 
Krömer, Ralf. La « machine de Grothendieck » se fonde-t-elle seulement sur des vocables métamathématiques ? Bourbaki et les catégories au cours des années cinquante. Revue d'histoire des mathématiques, Tome 12 (2006) no. 1, pp. 119-162. http://archive.numdam.org/item/RHM_2006__12_1_119_0/

[1] P. Ageron, “La philosophie mathématique de Roger Apéry”, Philosophia Scientiæ cahier spécial 5 (2005), p. 233-256 | EuDML 103770

[2] M. Artin, A. Grothendieck & J. L. Verdier, Théorie des topos et cohomologie étale des schémas. Tome 1 : Théorie des topos. Séminaire de Géométrie Algébrique du Bois-Marie 1963-1964 (SGA 4), Lecture Notes Math. 269, Springer-Verlag, 1972 | MR 354653 | Zbl 0256.18008

[3] H. Bass, H. Cartan, P. Freyd, A. Heller & S. Mac Lane, “Samuel Eilenberg (1913-1998)”, Notices Amer. Math. Soc. 45 (1998) no. 10, p. 1344-1352 | MR 1646820 | Zbl 0908.01023

[4] L. Beaulieu, L'Atelier N. Bourbaki, 1934-1950,

[5] L. Beaulieu, “Bourbaki. Une histoire du groupe de mathématiciens français et de ses travaux (1934-1944)”, Ph. D. Thesis, 1990

[6] L. Beaulieu, Jeux d'esprit et jeux de mémoire chez N. Bourbaki, in: La Mise en mémoire de la science. Pour une ethnographie historique des rites commémoratifs (P. Abir-Am ed.), Éditions des Archives contemporaines, Paris, 1998, p. 75-123 | MR 1834830 | Zbl 1005.01009

[7] L. Beaulieu, “Bourbaki's art of memory. Commemorative practices in science : historical perspectives on the politics of collective memory”, Osiris (2) 14 (1999), p. 219-251 | MR 1787553

[8] N. Bourbaki, Éléments de mathématique. Première partie. Livre I : Théorie des ensembles (Fascicule de résultats), Hermann, 1939 | JFM 65.1163.04 | Zbl 0041.36701

[9] N. Bourbaki, Éléments de mathématique. Première partie. Livre II : Algèbre. Chapitre 3 : Algèbre multilinéaire, Hermann, 1948 | MR 26989 | Zbl 0041.36701

[10] N. Bourbaki, “Foundations of mathematics for the working mathematician”, J. Symb. Logic 14 (1949), p. 1-8 | MR 30910 | Zbl 0034.00105

[11] N. Bourbaki, Eléments de mathématique. Première partie. Livre V : Espaces vectoriels topologiques. Chapitre 2 : Ensembles convexes et espaces localement convexes, Hermann, 1953 | MR 54161 | Zbl 0050.38903

[12] N. Bourbaki, Eléments de mathématique. Première partie. Livre I : Théorie des ensembles. Chapitre 1 : Description de la mathématique formelle. Chapitre 2 : Théorie des ensembles, Hermann, 1954 | MR 65611 | Zbl 0041.36701

[13] N. Bourbaki, Éléments de mathématique. Première partie. Livre I : Théorie des ensembles. Chapitre 4 : Structures, Hermann, 1957 | MR 97335 | Zbl 0041.36701

[14] N. Bourbaki, Éléments de mathématique. Première partie. Livre II : Algèbre. Chapitre 3 : Algèbre multilinéaire, Hermann, 1958 | MR 98114 | Zbl 0041.36701

[15] N. Bourbaki, Éléments de mathématique. Première partie. Livre III ; Topologie générale. Chap. 3 : Groupes topologiques., Hermann, 1960 | Zbl 0050.38903

[16] N. Bourbaki, Éléments de mathématique. Première partie. Livre II : Algèbre. Chapitre 2 : Algèbre linéaire, Hermann, 1962 | Zbl 0041.36701

[17] A. Borel & J.-P. Serre, “Le théorème de Riemann-Roch”, Bull. Soc. Math. France 86 (1958), p. 97-136 | Numdam | MR 116022 | Zbl 0091.33004

[18] P. Cartier, Grothendieck et les motifs, in: Notes sur l'histoire et la philosophie des mathématiques IV (P. Cartier & A. Herreman ed.), 2000

[19] H. Cartan, “Samuel Eilenberg (1913-1998)”, Gaz. Math. 77 (1998), p. 72-75 | MR 1789375 | Zbl 0917.01034

[20] C. Chevalley & S. Eilenberg, “Cohomology theory of Lie groups and Lie algebras”, Trans. Amer. Math. Soc. 63 (1948), p. 85-124 | MR 24908 | Zbl 0031.24803

[21] M. Chouchan, Nicolas Bourbaki. Faits et légendes, Editions du Choix, 1995

[22] L. Corry, Modern Algebra and the Rise of Mathematical Structures, Historical Studies. Science Networks 17, Birkhäuser, 1996 | MR 1391720 | Zbl 0858.01022

[23] P. Colmez & J.-P. Serre, Correspondance Grothendieck-Serre, Documents mathématiques 2, SMF, 2001 | MR 1942134 | Zbl 0986.01019

[24] S. Eilenberg & N. E. Steenrod, Foundations of Algebraic Topology, Princeton University Press, 1952 | MR 50886 | Zbl 0047.41402

[25] P. Gabriel, “Des catégories abéliennes”, Bull. Soc. Math. France 90 (1962), p. 323-448 | Numdam | Zbl 0201.35602

[26] K. Gödel, The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Annals of Math. Studies 3, Princeton University Press, 1940 | MR 2514 | Zbl 0061.00902

[27] R. Godement, Théorie des faisceaux et topologie algébrique, Hermann, 1958 | MR 102797

[28] A. Grothendieck, Produits tensoriels topologiques et espaces nucléaires, Memoirs Amer. Math. Soc. 16, AMS, 1955 | MR 75539 | Zbl 0064.35501

[29] A. Grothendieck, “La théorie de Fredholm”, Bull. Soc. Math. France 84 (1956), p. 319-384 | Numdam | MR 88665 | Zbl 0073.10101

[30] A. Grothendieck, “Sur quelques points d'algèbre homologique”, Tôhoku Math. J. 9 (1957), p. 119-221 | MR 102537 | Zbl 0118.26104

[31] A. Grothendieck (ed.), Revêtements étales et groupe fondamental. Séminaire de Géométrie Algébrique du Bois Marie 1960-1961 (SGA 1), Lecture Notes Math. 224, Springer-Verlag, 1971 | Zbl 0234.14002

[32] D. Guedj, “Nicholas Bourbaki, collective mathematician : an interview with Claude Chevalley. Translated from the French by Jeremy Gray”, Math. Intelligencer 7 (1985) no. 2, p. 18-22 | MR 784939 | Zbl 0558.01035

[33] D. Hilbert & P. Bernays, Grundlagen der Mathematik, Grundlehren der mathematischen Wissenschaften 50, Springer, 1970 | MR 272596 | Zbl 0211.00901

[34] A. Jackson, “Interview with Henri Cartan [b. 1904]”, Notices Amer. Math. Soc. 46 (1999) no. 7, p. 782-788 | MR 1697836 | Zbl 1194.01094

[35] I. Kaplanski, “Review de Formes sesquilinéaires et formes quadratiques (Bourbaki, Éléments de mathématique, Part I, Livre II, chap.9 ; 1959)”, Bull. Amer. Math. Soc. 66 (1960), p. 266-267

[36] R. Krömer, Die Kategorientheorie : ihre mathematischen Leistungen, ihre erkenntnistheoretischen Implikationen. Eine historische und philosophische Würdigung, Thèse de doctorat, Université de la Sarre (Allemagne) et Université Nancy 2, 2004, Résumé détaillé en français. Voir http ://www.univ-nancy2.fr/poincare/perso/kroemer/. Une version anglaise paraîtra dans la collection Historical Studies. Science Networks, Birkhäuser.

[37] R. Krömer, “Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel”, Philosophia Scientiæ 9 (2005) no. 2, p. 79-96

[38] K. Kunen, Set Theory. An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics 102, North-Holland, 1980 | MR 597342 | Zbl 0443.03021

[39] S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer, 1971 | MR 354798 | Zbl 0232.18001

[40] S. Mac Lane, Concepts and categories in perspective, in: A Century of Mathematics in America. Part I (P. Duren & U. C. Merzbach ed.), AMS, Providence, RI, 1988, p. 323-365 | MR 1003181 | Zbl 0665.01002

[41] S. Mac Lane, The development and prospects for category theory, in: The European Colloquium of Category Theory Tours, 1994, Appl. Categ. Structures 4, 1996, p. 129-136 | MR 1406093 | Zbl 0854.18002

[42] P. Samuel, “On universal mappings and free topological groups”, Bull. Amer. Math. Soc. 54 (1948), p. 591-598 | MR 25152 | Zbl 0031.41702

[43] M. Senechal, “The continuing silence of Bourbaki-an Interview with Pierre Cartier, June 18, 1997”, Math. Intelligencer 20 (1998) no. 1, p. 22-28 | MR 1601823 | Zbl 0915.01010

[44] J.-P. Serre, “Faisceaux algébriques cohérents”, Annals of Math. 61 (1955), p. 197-278 | MR 68874 | Zbl 0067.16201

[45] J.-P. Serre, “Géométrie algébrique et géométrie analytique”, Ann. Inst. Fourier, Grenoble 6 (1955-1956), p. 1-42 | Numdam | MR 82175 | Zbl 0075.30401

[46] A. Tarski, “Über unerreichbare Kardinalzahlen”, Fund. Math. 30 (1938), p. 68-89 | JFM 64.0033.04 | Zbl 0018.34702

[47] A. Weil, L'intégration dans les groupes topologiques et ses applications, Hermann, 1940 | JFM 66.1205.02 | Zbl 0063.08195

[48] A. Weil, Foundations of Algebraic Geometry, AMS, 1962 | MR 144898 | Zbl 0063.08198