Une correspondance structurelle entre deux catégories affirmant qu’elles partagent le même contenu catégorique à la constate d’équivalences de foncteurs et d’isomorphismes naturels ; formellement donnée par une paire de foncteurs se composant en des objets naturellement isomorphes aux foncteurs identité respectifs.

Principe

Deux catégories sont équivalentes s’il existe des foncteurs F : C -> D et G : D -> C munis d’isomorphismes naturels η : Id_C ≅ G∘F et ε : F∘G ≅ Id_D, de sorte que les objets et morphismes correspondent à un isomorphisme près et non à une égalité stricte.

Démonstration

Un exemple standard est une catégorie et l’un quelconque de ses squelettes : la sous-catégorie pleine contenant un représentant de chaque classe d’isomorphisme est équivalente à la catégorie originale via l’inclusion et un foncteur de choix, montrant que l’équivalence capture la 'même structure' en ignorant la duplication d’objets redondants.

Mauvaise application

Confondre équivalence et égalité de catégories (prétendre une identité stricte des objets ou des hom‑ensembles plutôt que des classes d’isomorphisme), ou supposer qu’une équivalence préserve toutes les structures supplémentaires sans vérifier la compatibilité avec des enrichissements ou données additionnelles.

Conséquence

L’équivalence catégorique autorise le transfert de constructions, invariants et théorèmes entre catégories : les propriétés invariantes par isomorphisme sont préservées et de nombreux raisonnements catégoriques se transposent via l’équivalence.

Inversion

Isomorphisme catégorique : relation plus stricte exigeant un foncteur strictement inversible (au sens littéral), aboutissant à une identité de la structure catégorique plutôt qu’à une équivalence à un isomorphisme près.

Limite

S’applique à la structure exprimable en langage catégorique à un isomorphisme près ; l’équivalence peut échouer à préserver des choix fixés tels que objets marqués, enrichissements stricts ou données de cohérence, sauf si l’équivalence est enrichie en conséquence.

Tension sémantique

Tension entre 'identité à un isomorphisme près' et 'identité stricte' : l’équivalence accepte la similarité structurelle tandis que certains usages demandent des identifications plus strictes pour des raisons définitionnelles ou computationnelles.

Synthèse

L’équivalence catégorique formule l’idée que deux présentations différentes portent le même contenu mathématique : en se focalisant sur foncteurs et isomorphismes naturels elle isole la structure essentielle tout en laissant la souplesse des représentations.