## [Äquivalenz von Kategorien](/de/node/59355) Definition 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 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 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 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 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 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 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 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 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.