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

Ä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

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

Ä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

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

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

Ä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

Ä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

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.