Théorie des topos
Un topos est une catégorie qui se comporte comme la catégorie des ensembles et supporte une logique interne, généralisant à la fois la théorie des ensembles et la théorie des faisceaux, et offrant un cadre pour les fondements catégoriques des mathématiques.
Definition
Un topos élémentaire est une catégorie munie de limites finies, d'objets exponentiels et d'un classificateur de sous-objets ; il possède une structure suffisante pour interpréter une logique intuitionniste d'ordre supérieur, fonctionnant ainsi comme un univers généralisé d'ensembles avec ses propres mathématiques internes.
Scope
Ce sujet couvre les topos élémentaires définis par des limites finies, des objets exponentiels et un classificateur de sous-objets, les topos de Grothendieck en tant que catégories de faisceaux sur un site, la logique intuitionniste d'ordre supérieur interne d'un topos, et le rôle des topos dans l'établissement de fondements structurels et alternatifs et dans la liaison entre la géométrie et la logique.
Core questions
- Quelle structure catégorique permet à une catégorie de se comporter comme la catégorie des ensembles ?
- Comment un topos porte-t-il une logique interne, et pourquoi est-elle intuitionniste ?
- Comment les topos de Grothendieck généralisent-ils les faisceaux et encodent-ils la géométrie ?
- Dans quel sens un topos peut-il servir de fondement aux mathématiques ?
Key theories
- Classificateur de sous-objets et logique interne
- Un classificateur de sous-objets représente les sous-objets par des morphismes vers un objet de valeurs de vérité, conférant à chaque topos une logique interne d'ordre supérieur qui est généralement intuitionniste plutôt que classique.
- Topos de Grothendieck
- Les catégories de faisceaux sur un site forment des topos de Grothendieck, généralisant les espaces topologiques et fournissant le cadre catégorique que Grothendieck a développé pour la cohomologie en géométrie algébrique.
- Les topos comme fondements
- Un topos bien pointé satisfaisant un principe de choix modélise une théorie des ensembles structurelle, ainsi la théorie des topos offre une alternative catégorique aux fondements des mathématiques basés sur l'appartenance.
Clinical relevance
La théorie des topos unifie la géométrie et la logique : les topos de Grothendieck sous-tendent la géométrie algébrique moderne et la cohomologie, la logique intuitionniste interne des topos modélise les mathématiques constructives et fournit une sémantique pour la théorie des types, et les topos élémentaires offrent une approche structurelle des fondements des mathématiques.
History
Grothendieck et ses collaborateurs ont introduit les topos comme catégories de faisceaux dans les années 1960 pour soutenir la cohomologie des schémas. Lawvere et Tierney ont ensuite proposé l'axiomatisation élémentaire, purement catégorique, au début des années 1970, révélant la logique interne d'un topos et établissant la théorie des topos comme un pont entre la géométrie, la logique et les fondements des mathématiques.
Key figures
- Alexander Grothendieck
- F. William Lawvere
- Myles Tierney
- Peter Johnstone
Related topics
Seminal works
- maclanemoerdijk1994
- johnstone2002
- awodey2010
Frequently asked questions
- Pourquoi la logique interne d'un topos est-elle intuitionniste ?
- Le classificateur de sous-objets n'a pas nécessairement à satisfaire la loi du tiers exclu, car le treillis des valeurs de vérité dans un topos général est une algèbre de Heyting plutôt qu'une algèbre de Boole. En conséquence, la logique validée en interne est intuitionniste, la logique classique n'étant retrouvée que dans des topos particuliers.
- Comment un topos généralise-t-il la catégorie des ensembles ?
- La catégorie des ensembles est le topos le plus simple, et un topos général conserve ses caractéristiques structurelles clés : limites finies, espaces fonctionnels et un classificateur de sous-ensembles, tout en permettant une variation sur un espace ou une théorie logique. Cela permet de faire des mathématiques de type ensembliste dans des contextes tels que les faisceaux où la vérité est locale.