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://www.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
SP  - 119
EP  - 162
VL  - 12
IS  - 1
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/RHM_2006__12_1_119_0/
LA  - fr
ID  - RHM_2006__12_1_119_0
ER  - 
%0 Journal Article
%A Krömer, Ralf
%T 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
%J Revue d'histoire des mathématiques
%D 2006
%P 119-162
%V 12
%N 1
%I Société mathématique de France
%U http://www.numdam.org/item/RHM_2006__12_1_119_0/
%G fr
%F RHM_2006__12_1_119_0
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://www.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

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

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

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

[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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[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

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

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

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

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

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

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

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

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

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

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

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

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

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

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