Théorie des catégories

Théorie des catégories
Name	Théorie des catégories
Caption	Diagramme de flèches et objets représentatifs
Field	mathématiques
Introduced	1945
Founders	Samuel Eilenberg, Saunders Mac Lane
Notable contributors	Alexander Grothendieck, William Lawvere, F. William Lawvere, Jean Bénabou, Isbell, Barry Mazur, Peter Freyd, Max Kelly, Saunders MacLane

Théorie des catégories

La Théorie des catégories est une branche des mathématiques centrée sur l'étude abstraite des objets et des morphismes entre eux, développée pour formaliser des structures et des transformations apparues en topologie, algèbre, géométrie et logique. Elle fournit un langage unifiant pour relier des notions issues de la théorie des ensembles, de la théorie des groupes, de la théorie des anneaux, de la géométrie algébrique et de la théorie de la mesure, tout en influençant des domaines tels que la physique mathématique et l'informatique théorique. Sa portée s'étend des constructions élémentaires comme les limites aux développements profonds de la théorie des faisceaux, de la cohomologie, et des fondements de la logique catégorique.

Introduction

La formalisation originelle par Samuel Eilenberg et Saunders Mac Lane visait à clarifier des liens entre la topologie algébrique, la théorie des homotopies et la théorie des groupes homologiques; des figures ultérieures comme Alexander Grothendieck et Jean Bénabou ont étendu ces idées vers la géométrie algébrique, la théorie des topos et la théorie des catégories supérieures. Des institutions telles que l'École normale supérieure, l'Université Columbia, l'Université de Chicago et l'Université de Cambridge ont joué des rôles importants dans sa diffusion, tandis que des congrès comme le Séminaire Grothendieck ont structuré son développement. Les influences croisées impliquent des intervenants comme William Lawvere, Max Kelly, Peter Freyd, Barry Mazur, Jean-Pierre Serre, Alexander Grothendieck et Pierre Deligne.

Définitions et concepts fondamentaux

Une catégorie est définie par une classe d'objets et une classe de morphismes avec des opérations de composition et des identités; cette définition initiale par Eilenberg et Mac Lane est utilisée par des auteurs tels que Mac Lane (book), Saunders MacLane et Peter Freyd. Les notions de foncteur et de transformation naturelle apparaissent dans les travaux de Grothendieck et de Jean Bénabou, et des notions externes comme les catégories complètes et co-completes sont étudiées par Max Kelly et F. William Lawvere. Les propriétés internes telles que les objets finis, les produits, les coproduits, les limites, les colimites, les adjoints et les fibrationes sont traitées dans les travaux de Grothendieck, Street, Bénabou et Beck. Le formalisme a été appliqué par des chercheurs comme William Rowan Hamilton —conceptuellement via l'algèbre— et par des institutions comme l'Institute for Advanced Study.

Constructions et exemples majeurs

Les exemples fondamentaux incluent la catégorie des ensembles étudiée par Georg Cantor et développée dans la tradition de la théorie des ensembles par Ernst Zermelo et Abraham Fraenkel (catégorie Set), la catégorie des groupes liée aux travaux de Évariste Galois et à la théorie de Galois de Évariste Galois, la catégorie des anneaux et modules relevant des contributions de Richard Dedekind et Emmy Noether, et la catégorie des espaces topologiques liée aux contributions de Henri Poincaré, Lefschetz et Henri Cartan. La géométrie algébrique moderne via le programme de Alexander Grothendieck a introduit la catégorie des schémas et la théorie des faisceaux formalisée par Jean-Pierre Serre et Pierre Deligne. D'autres exemples essentiels apparaissent dans la théorie homologique de Samuel Eilenberg et Norman Steenrod, dans la théorie des représentations liée à Emmy Noether et William Burnside, et dans la théorie des topos initiée par Grothendieck et formalisée par Jean Bénabou.

Morphismes universels, limites et colimites

Les constructions universelles telles que produits, coproduits, égaliseurs, coégaliseurs, limites et colimites sont centrales depuis les exposés de Mac Lane et les développements de Max Kelly; ces notions relient les travaux en algèbre homologique de Henri Cartan et Samuel Eilenberg, les constructions de cohomologie par Alexander Grothendieck et Jean-Pierre Serre, et les applications en géométrie algébrique par Pierre Deligne. Les concepts d'adjonction et de propriété universelle introduits par Daniel Kan et approfondis par F. William Lawvere expliquent des phénomènes vus dans la théorie des faisceaux de Grothendieck et dans la théorie des modèles de Alfred Tarski et Alfred North Whitehead.

Foncteurs, transformations naturelles et équivalences

Les foncteurs et transformations naturelles, formalismes initialement énoncés par Eilenberg et Mac Lane, permettent de comparer catégories et de définir des équivalences de catégories étudiées par Peter Freyd et Saunders Mac Lane. Les foncteurs adjoints apparaissent dans les travaux de Daniel Kan et F. William Lawvere et sont fondamentaux pour les démonstrations en topologie algébrique de Leray et Hirschhorn, ainsi que pour les constructions en théorie des modèles de Quillen et Hovey. Les transformations naturelles sont exploitées dans les preuves de représentabilité de foncteurs par des théorèmes attribués à Grothendieck et Yoneda; la lemme de Yoneda et le théorème de Freyd constituent des outils structurels repris par Jean Bénabou, Max Kelly et Ross Street.

Applications et relations avec d'autres domaines

La théorie des catégories informe la géométrie algébrique de Grothendieck et Deligne, la topologie algébrique de Eilenberg et Steenrod, la théorie des représentations de Burnside et Noether, la logique catégorique liée à Alonzo Church et Alfred Tarski, et la physique mathématique explorée par Edward Witten et Michael Atiyah. En informatique, elle influence la théorie des langages par Alonzo Church et Alan Turing, la sémantique des programmes étudiée par Dana Scott et G. D. Plotkin, et la théorie des types développée par Per Martin-Löf et Henk Barendregt. Les interactions avec la théorie des topos et la théorie des catégories supérieures impliquent des acteurs comme Jacob Lurie, J. Peter May, André Joyal et Chris Schommer-Pries.

Histoire et développement philosophique

La genèse scientifique remonte aux collaborations entre Samuel Eilenberg et Saunders Mac Lane et aux séminaires de la seconde moitié du XXe siècle, avec des développements majeurs par Alexander Grothendieck lors du programme de SGA et des apports conceptuels de William Lawvere et Jean Bénabou. Les débats philosophiques autour des fondements impliquent des figures comme Bourbaki, Hermann Weyl, Ludwig Wittgenstein et Bertrand Russell, tandis que l'usage épistémologique de la théorie des catégories dans la formalisation mathématique a été discuté par Imre Lakatos, Paul Cohen et Michael Dummett. La diffusion académique a été assurée par des départements et institutions tels que l'Université Paris-Saclay, l'Institute for Advanced Study, l'Université Harvard et l'Université Oxford.

Category:Mathématiques