Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Équivalence de catégories
Résumé
En mathématiques, plus précisément en théorie des catégories, une équivalence de catégories est une relation qui établit que deux catégories sont "essentiellement les mêmes". C'est un foncteur entre les deux catégories, qui prend compte formellement du fait que ces catégories relèvent d'une même structure : on dit alors que les catégories sont équivalentes. À la différence de la notion d'isomorphisme de catégories, la notion d'équivalence est moins rigide, plus pratique et plus courante.
La notion d'équivalence de catégories rend compte, de manière unifiée, de nombreuses dualités observées dans plusieurs pans de l'algèbre et de l'analyse.
Soient C et D des catégories. Une équivalence de catégorie est la donnée de deux foncteurs
tels que l'on ait les isomorphismes naturels
C'est-à-dire que les foncteurs sont isomorphes dans la catégorie de foncteurs correspondante.
En réalité, on peut savoir qu'un foncteur F fait partie d'une équivalence de catégories lorsque les deux conditions suivantes sont vérifiées :
F est un foncteur plein et fidèle ;
F est un foncteur essentiellement surjectif.
C'est le plus souvent la méthode employée pour révéler une équivalence de catégorie, sans toutefois avoir à (ou pouvoir) exhiber le pseudo-inverse G ou les transformations naturelles correspondantes. Elle utilise cependant l'axiome du choix.
De manière similaire, deux catégories sont équivalentes si et seulement si leurs squelettes sont isomorphes.
Une équivalence de catégorie indique que de nombreuses propriétés se conservent d'une catégorie à l'autre au travers du foncteur d'équivalence. En particulier, mais pas exclusivement : les objets initiaux et finals, les mono-, épi- et isomorphismes, les limites et colimites, égalisateurs, produits...
En particulier, un foncteur qui réalise une équivalence de catégories est exact.
Par définition, toute catégorie est équivalente à son squelette.
La catégorie duale des schémas affines est équivalente à la catégorie des anneaux commutatifs au travers du foncteur Spec. C'est un cas particulier de la dualité d'Isbell.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.