Ein Paar von Funktoren F : C → D und G : D → C zusammen mit natürlichen Isomorphismen ε : F∘G ⇒ Id_D und η : Id_C ⇒ G∘F (oder äquivalent: F ist volltreu und essenziell surjektiv), die zeigen, dass C und D dieselbe kategoriale Struktur bis auf Isomorphie der Objekte besitzen; keine strikte Kategorienisomorphie, sondern eine schwächere, kategorial relevante Gleichheit.

Prinzip

Äquivalenz erfasst, wann zwei Kategorien ‚gleich‘ für kategoriale Zwecke sind: Objekte korrespondieren bis auf Isomorphie, Hom‑Mengen korrespondieren über F und G, und kategoriale Konstruktionen lassen sich entlang der Äquivalenz übertragen.

Demonstration

Die Kategorie Vect_k^fd der endlichdimensionalen Vektorräume über einem Körper k ist äquivalent zur Kategorie der freien k‑Moduln endlichen Rangs; der Funktor, der einen Vektorraum als freies Modul betrachtet, und sein Inverses liefern natürliche Isomorphismen zwischen Kompositionen und Identitäten bis auf kanonische Isomorphie.

Fehlanwendung

Eine bloße Bijektion der Objektklassen oder eine Übereinstimmung der zugrundeliegenden Mengen als Kategorienäquivalenz zu behandeln; die Vernachlässigung der Natürlichkeit der Isomorphismen oder der Volltreue führt zu falschen Äquivalenzaussagen.

Konsequenz

Sind Kategorien äquivalent, so gelten alle äquivalenzinvarianten kategorialen Eigenschaften (Existenz von Limiten, Abelianness, Vollständigkeit usw.) in der einen genau dann, wenn sie in der anderen gelten; man kann Konstruktionen und Resultate übertragen.

Umkehrung

Ein striktes Isomorphismus von Kategorien ist stärker (Funktoren sind genau inverse zueinander). Die Umkehrung einer Äquivalenz wäre das Versagen essenzieller Surjektivität oder Volltreue und liefert nur eine schwächere Einbettung oder einen dichten Funktor.

Abgrenzung

Äquivalenz ist schwächer als Gleichheit von Kategorien: sie erlaubt Identifikation von Objekten nur bis auf Isomorphie. Sie verlangt Funktoren und natürliche Isomorphismen; sie impliziert nicht Gleichheit der zugrundeliegenden Mengen oder Identität der Objekte.

Semantische Spannung

Nahe Begriffe: »Isomorphismus von Kategorien« (strikt, auf den Punkt) vs. »Äquivalenz« (bis auf Isomorphie). Die Spannung entsteht, wenn zu entscheiden ist, ob strukturelle Gleichheit wörtliche Identität oder nur Äquivalenz bis auf kanonische Isomorphie erfordert.

Synthese

Eine Äquivalenz von Kategorien ist das kategoriale Kriterium dafür, dass zwei Kategorien dieselbe Mathematik darstellen: Funktoren, die volltreu und essenziell surjektiv sind (oder mit natürlichen Isomorphismen zu Identitäten), sichern, dass kategoriale Begriffe und Konstruktionen korrespondieren.