Théorie des catégories et fondements
La théorie des catégories étudie les structures mathématiques et leurs relations par le biais d'objets et de morphismes préservant la structure, offrant un langage unificateur et un fondement alternatif et structurel pour les mathématiques.
Definition
La théorie des catégories est la branche des mathématiques qui abstrait la structure commune des théories mathématiques en étudiant les catégories, des collections d'objets accompagnées de morphismes composables, ainsi que les foncteurs et les transformations naturelles entre elles, mettant l'accent sur les relations plutôt que sur la constitution interne.
Scope
Ce domaine couvre les catégories, les foncteurs et les transformations naturelles, les propriétés universelles et les notions unificatrices de limite et de colimite, les foncteurs adjoints et le lemme de Yoneda, ainsi que la théorie des topos, qui généralise la théorie des ensembles et relie la théorie des catégories à la logique et à des fondements alternatifs des mathématiques.
Sub-topics
Core questions
- Comment des constructions mathématiques disparates peuvent-elles être décrites uniformément par des propriétés universelles ?
- Que signifie pour deux catégories d'être équivalentes ou pour une construction d'être fonctorielle ?
- Comment les foncteurs adjoints capturent-ils des solutions optimales à travers les mathématiques ?
- Comment un topos sert-il d'univers généralisé d'ensembles et de cadre pour la logique ?
Key theories
- Lemme de Yoneda
- Un objet est déterminé à isomorphisme près par le réseau de morphismes qui y entrent ou en sortent, de sorte que chaque objet s'intègre fidèlement dans une catégorie de foncteurs, formalisant le point de vue structurel.
- Propriétés universelles et limites
- De nombreuses constructions, telles que les produits, les noyaux et les complétions, sont caractérisées comme des solutions universelles à des problèmes de correspondance, les unifiant en tant que limites ou colimites.
- Foncteurs adjoints
- Les adjonctions associent des foncteurs allant dans des directions opposées par une correspondance naturelle de morphismes, capturant les constructions libres, les foncteurs d'oubli et un vaste éventail de processus mathématiques optimaux.
Clinical relevance
La théorie des catégories fournit un langage unificateur utilisé dans toutes les mathématiques modernes et l'informatique théorique : elle organise l'algèbre, la topologie et la géométrie, sous-tend l'algèbre homologique et la géométrie algébrique, fournit la sémantique de la théorie des types et de la programmation fonctionnelle, et, par le biais de la théorie des topos, offre une alternative structurelle aux fondements ensemblistes.
History
La théorie des catégories a été introduite par Eilenberg et Mac Lane en 1945 pour donner un sens précis aux transformations naturelles en topologie algébrique. Grothendieck a remodelé la géométrie algébrique avec des méthodes catégoriques et topos-théoriques dans les années 1950 et 1960, et Lawvere a fait progresser la théorie des catégories comme fondement des mathématiques à travers la théorie élémentaire de la catégorie des ensembles et la théorie axiomatique des topos.
Key figures
- Samuel Eilenberg
- Saunders Mac Lane
- Alexander Grothendieck
- F. William Lawvere
Related topics
Seminal works
- maclane1998
- awodey2010
- riehl2016
Frequently asked questions
- Pourquoi la théorie des catégories est-elle appelée « abstract nonsense » ?
- Ce surnom, utilisé affectueusement, reflète la manière dont la théorie des catégories raisonne à un haut niveau de généralité en utilisant uniquement des objets et des morphismes, prouvant souvent des résultats de manière uniforme sans référence aux détails internes des structures impliquées. Cette généralité est une caractéristique qui rend les arguments largement applicables.
- La théorie des catégories peut-elle remplacer la théorie des ensembles comme fondement ?
- La théorie des topos et les théories des ensembles structurelles, telles que la théorie élémentaire de la catégorie des ensembles de Lawvere, fournissent des fondements catégoriques adéquats pour une grande partie des mathématiques. Le fait qu'elles devraient remplacer la théorie des ensembles est débattu, mais elles offrent une véritable alternative structurelle mettant l'accent sur les relations plutôt que sur l'appartenance.