## [Äquivalenz von Kategorien](/de/node/63716) Definition Ein Funktor F: C → D ist eine Äquivalenz von Kategorien, wenn er volltreu (induziert Bijektionen auf Hom-Mengen) und essenziell surjektiv ist (jedes Objekt von D ist isomorph zu F(c) für ein c in C); Äquivalenz identifiziert Kategorien bis auf Objektisomorphismus statt strikter Gleichheit. ## Prinzip Prinzip Äquivalenz fängt die Idee derselben mathematischen Struktur bis auf kohärente Isomorphie ein: Invarianten und Konstruktionen, die unter Isomorphie unverändert sind, stimmen über äquivalente Kategorien überein. ## Demonstration Demonstration Beispiel: Die Inklusion eines Skeletts (volle Unterkategorie mit einem Repräsentanten jeder Isomorphieklasse) in eine Kategorie ist eine Äquivalenz; die Kategorie der endlichen Mengen ist äquivalent zum Skelett mit Objekten die natürlichen Zahlen (Kardinalitäten). ## Fehlanwendung Fehlanwendung Äquivalente Kategorien als buchstäblich gleiche Mengen von Objekten und Morphismen behandeln oder erwarten, dass eine Äquivalenz Konstruktionen strikt statt bis auf Isomorphie bewahrt; Äquivalenz mit einer schwächeren Adjungation verwechseln. ## Konsequenz Konsequenz Eigenschaften und Invarianten, die bis auf Isomorphie definiert sind (z. B. Repräsentierbarkeit, Existenz von Limiten bis auf Iso, abgeleitete Invarianten), werden durch Äquivalenz erhalten; Konstruktionen lassen sich entlang einer Äquivalenz ohne wesentlichen Informationsverlust transportieren. ## Umkehrung Umkehrung Im Gegensatz dazu liefert ein volltreuer Funktor ohne essentielle Surjektivität oder ein essentiell surjektiver Funktor ohne Volltreue keine Äquivalenz; beide versagen darin, alle isomorphie-invarianten Daten zu garantieren. ## Abgrenzung Abgrenzung Äquivalenz setzt Kategorien mit Isomorphismen voraus und ignoriert Größen- oder set-theoretische Wahlentscheidungen in Skeletten; sie behauptet keine punktweise Objektgleichheit, und feinere Strukturen (gewählte Limiten, strikte Anreicherungen) lassen sich nicht ohne Zusatzdaten übertragen. ## Semantische Spannung Semantische Spannung Äquivalenz liegt zwischen Kategorienisomorphismus (strengere Notion mit einem echten Inversen) und schwächeren Correspondences (wie Adjungationen); praktische Spannungen ergeben sich, wenn strikte Gleichheiten statt Isomorphieklassen verlangt werden. ## Synthese Synthese Die Äquivalenz von Kategorien formalisiert, wann zwei kategoriale Strukturen mathematisch dieselben Informationen bis auf Isomorphie kodieren: ein volltreuer, essentiell surjektiver Funktor erlaubt den Transport isomorphie-invarianter Konstruktionen und identifiziert Kategorien für die meisten Zwecke als äquivalent.