Eine Beziehung zwischen Kategorien C und D, gegeben durch Funktoren F : C → D und G : D → C zusammen mit natürlichen Isomorphismen η: Id_C ⇒ G∘F und ε: F∘G ⇒ Id_D; äquivalent ist F wesentlich surjektiv auf Objekte und voll treu, sodass C und D dieselbe kategoriale Struktur bis auf kohärente Isomorphismen besitzen.

Prinzip

Äquivalenz erfasst 'Gleichheit' von Kategorien bis auf Isomorphie von Objekten und Morphismen: Volltreue erhält Hom-Mengen exakt und essentielle Surjektivität stellt sicher, dass jedes Zielobjekt isomorph zu einem Bildobjekt ist, was ein inverses Verhalten bis auf natürliche Isomorphie erzeugt statt strikter Gleichheit.

Demonstration

Vect_k^fd (endlichdimensionale Vektorräume über einem Körper k) ist äquivalent zur Kategorie Mat_k, deren Objekte natürliche Zahlen n sind und deren Morphismen n→m m×n-Matrizen über k sind: durch Wahl von Basen V ≅ k^n ist der Funktor, der k^n auf n und lineare Abbildungen auf ihre Matrizen abbildet, voll treu und wesentlich surjektiv bzgl. Basisisomorphie.

Fehlanwendung

Äquivalenz als wörtliche Gleichheit von Kategorien auffassen (identische Objekte und Hom-Mengen erwarten) oder annehmen, jede adjungierte Paarung liefere eine Äquivalenz; fehlende Unterscheidung zwischen striktem Isomorphismus und Äquivalenz bis auf Isomorphie ist ein häufiger Fehler.

Konsequenz

Sind Kategorien äquivalent, so übertragen sich alle äquivalenzinvarianten kategorialen Eigenschaften (Limiten, Kolimiten, Repräsentierbarkeit, Monadizität usw.); Berechnungen oder Klassifikationen lassen sich in der einfacheren äquivalenten Kategorie durchführen und über die Äquivalenz zurückübersetzen.

Umkehrung

Ein strikter Isomorphismus von Kategorien (ein invertierbarer Funktor mit genauem inversen) ist stärker als Äquivalenz; die Abschwächung der Äquivalenz zu bloßer Adjunktion oder Objektklassensimilitude verliert Kohärenz und typischerweise die Übertragbarkeit von Invarianten.

Abgrenzung

Äquivalenz verlangt natürliche Isomorphismen und damit Kohärenzdaten; sie fordert keine punktweise Gleichheit von Objekten oder identischen zugrundeliegenden Mengen. Äquivalenz ist eine 2-kategoriale Eigenschaft — Kategorien können äquivalent sein, ohne strikt isomorph zu sein.

Semantische Spannung

Wird oft mit Isomorphismus von Kategorien oder mit bijektiver Objektkorrespondenz verwechselt; Äquivalenz erlaubt dagegen Umbenennungen von Objekten bis auf Isomorphie und konzentriert sich auf die Erhaltung kategorialer Struktur statt auf buchstäbliche Identität.

Synthese

Eine Äquivalenz von Kategorien ist ein Funktorpaar, das inverses Verhalten bis auf natürliche Isomorphismen liefert, charakterisiert durch Volltreue und essentielle Surjektivität, und erklärt zwei Kategorien für kategoriale Zwecke als 'gleich', während kohärente Umbenennungen von Objekten und Morphismen erlaubt bleiben.