Category theory is important by its mathematical applications and by the philosophical debates it causes. It is used to express in algebraic topology, to deduce in homological algebra and, as an alternative to the theory of sets, to construct objects in Grothendieck's conception of algebraic geometry. Category theory is a fundamental discipline in Christian Thiel's sense, because it is a theory of some typical operations of structural mathematics. This thesis is defended through a particular interpretation of peircean pragmatism; in this perspective, justification of mathematical knowledge is not provided for by the reduction to basic objects but rather by a technical common sense intervening on each level (the theories on the higher level having as their objects the theories of the original objects).
La théorie des catégories vaut tant par ses applications mathématiques que par les débats philosophiques qu'elle suscite. Elle sert à exprimer en topologie algébrique, à déduire en algèbre homologique et, en tant qu'alternative à la théorie des ensembles, à construire des objets en géométrie algébrique dans la conception de Grothendieck. La théorie des catégories est une discipline fondamentale en le sens de Christian Thiel, car elle traite d'opérations typiques de la mathématique de structures. Cette thèse est défendue à l'aide d'une interprétation particulière du pragmatisme peircéen d'après laquelle la justification de la connaissance mathématique ne se fait pas par la réduction à des objets de base mais plutôt, à chaque niveau, par rapport au sens commun technique (les théories de niveau ultérieur ont pour objets les théories des objets originaux).
@article{PHSC_2005__9_2_79_0, author = {Kr\"omer, Ralf}, title = {Le pragmatisme peirc\'een, la th\'eorie des cat\'egories et le programme de {Thiel}}, journal = {Philosophia Scientiae}, pages = {79--96}, publisher = {\'Editions Kim\'e}, volume = {9}, number = {2}, year = {2005}, language = {fr}, url = {http://archive.numdam.org/item/PHSC_2005__9_2_79_0/} }
Krömer, Ralf. Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel. Philosophia Scientiae, Volume 9 (2005) no. 2, pp. 79-96. http://archive.numdam.org/item/PHSC_2005__9_2_79_0/
[1] Dialectique de la nature pensante : la construction de la cognition mathématique, Philosophia Scientiæ 6 (1), 33-72, 2002.
2002.-[2] Fibered categories and the foundations of naive category theory, J. Symb. Logic 50 [1], 10-37, 1985. | MR | Zbl
1985.-[3] Homological Algebra, Princeton : Princeton University Press 1956. | MR | Zbl
& 1956.-[4] Grothendieck et les motifs. Notes sur l'histoire et la philosophie des mathématiques IV, IHES 2002.
2000.-[5] Sur la logique et la théorie des sciences, Paris : Vrin. Première édition posthume 1946, troisième édition 1976.
1976.-[6] Modern algebra and the rise of mathematical structures, Historical Studies 17, Basel : Birkhäuser 1996. | MR | Zbl
1996.-[7] Group extensions and homology, Annals of Mathematics (2) 43, 757-831, 1942. | MR | Zbl
& 1942.-[8] General theory of natural equivalences, Transactions Amer. Math. Soc. 58, 231-294, 1945. | MR | Zbl
& 1945.-[9] Foundations of algebraic topology, Princeton University Press 1952. | MR | Zbl
& 1952.-[10] Categorical Foundations and Foundations of Category theory, Butts, Robert E. ; Hintikka, Jaakko (eds.) : Logic, Foundations of Mathematics and Computability theory, 149-169, Dordrecht : Reidel 1977. | MR | Zbl
1977.-[11] Sur quelques points d'algèbre homologique, Tôhoku Math. J. 9, 119-221, 1957. | MR | Zbl
1957.-[12] Adjoint Functors, Transactions Amer. Math. Soc. 87, 294-329. | MR | Zbl
1958.-[13] 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. Résumé détaillé en français. Voir http ://www.univ-nancy2.fr/poincare/perso/kroemer/.
2004.-[14] La « machine de Grothendieck », se fonde-t-elle seulement sur des vocables métamathématiques ? La discussion de Bourbaki sur la théorie des catégories ; à paraître dans la Revue d'Histoire des Mathématiques. | Numdam | Zbl
2005.-[15] Collected Papers (ed. Ch.Hartshorne/P.Weiss), 6 volumes. Cambridge MA : Belknap Press, 2nd ed. 1960. | MR
1931-1935.-[16] Textes anticartésiens, présentation et traduction de Joseph Chenu, Paris : Aubier Montaigne 1984.
1984.-[17] Piaget, Jean 1967.- (éd.) Logique et connaissance scientifique, Paris : Gallimard 1967. | MR
[18] Le Structuralisme, vol. 1311 de Que sais-je ?, puf 1968.
1968.-[19] Science et méthode, Paris : Flammarion 1908.
1908.-[20] Faisceaux algébriques cohérents, Annals of Math. 61, 197-278, 1955. | MR | Zbl
1955.-[21] Philosophie und Mathematik, Darmstadt : Wissenschaftliche Buchgesellschaft 1995. | MR
1995.-