Skelett (Kategorientheorie)

In der Kategorientheorie ist das Skelett einer Kategorie eine Unterkategorie, die keine überflüssigen Isomorphismen enthält. In einem gewissen Sinne ist das Skelett einer Kategorie die kleinste äquivalente Kategorie, die alle kategoriellen Eigenschaften beibehält. In der Tat sind zwei Kategorien genau dann äquivalent, wenn sie isomorphe Skelette besitzen.

Definition

Ein Skelett für eine Kategorie ${\mathcal {C}}$ ist eine volle, dichte Unterkategorie ${\mathcal {D}}$, in der je zwei (verschiedene) Objekte nicht isomorph sein dürfen. Das heißt im Einzelnen: Ein Skelett von ${\mathcal {C}}$ ist eine Kategorie ${\mathcal {D}}$, so dass gilt:

• Jedes Objekt von ${\mathcal {D}}$ ist ein Objekt von ${\mathcal {C}}$.
• Für jedes Objekt $d$ von ${\mathcal {D}}$ ist die ${\mathcal {D}}$-Identität von $d$ zugleich die ${\mathcal {C}}$-Identität von $d$.
• Die Komposition in ${\mathcal {D}}$ ist die Einschränkung der Komposition in ${\mathcal {C}}$ auf die Morphismen von ${\mathcal {D}}$.
• Sind $d_{1}$, $d_{2}$ beliebige Objekte von ${\mathcal {D}}$, so sind die ${\mathcal {C}}$-Morphismen von $d_{1}$ nach $d_{2}$ genau die ${\mathcal {D}}$-Morphismen von $d_{1}$ nach $d_{2}$, in Formeln:

$\operatorname {Hom} _{D}(d_{1},d_{2})=\operatorname {Hom} _{C}(d_{1},d_{2})$

• Jedes ${\mathcal {C}}$-Objekt ist zu einem ${\mathcal {D}}$-Objekt isomorph.
• Je zwei verschiedene ${\mathcal {D}}$-Objekte sind nicht isomorph.

Existenz und Eindeutigkeit

Grundlegend ist, dass jede Kategorie ein Skelett besitzt. (Diese Aussage ist zum Auswahlaxiom für Klassen äquivalent, wie es etwa die Neumann-Bernays-Gödel-Mengenlehre bereitstellt.) Wenn auch eine Kategorie mehrere verschiedene Skelette besitzen kann, sind sie jedoch als Kategorien isomorph. Also besitzt jede Kategorie bis auf Isomorphie ein eindeutiges Skelett.

Die Bedeutung von Skeletten rührt daher, dass sie (bis auf Isomorphie) kanonische Vertreter der Äquivalenzklassen bezüglich der Äquivalenz von Kategorien sind. Das ergibt sich daraus, dass jede Kategorie zu einem Skelett äquivalent ist, und dass zwei Kategorien genau dann äquivalent sind, wenn sie isomorphe Skelette besitzen.

Beispiele

• Die Kategorie Set, bestehend aus allen Mengen und Abbildungen, hat die Unterkategorie der Kardinalzahlen als Skelett.
• Die Kategorie Vekt_$K$, bestehend aus allen $K$-Vektorräumen und $K$-linearen Abbildungen für einen festen Körper $K$, hat die Unterkategorie als Skelett, die aus den $K^{n}$ besteht, wobei $n$ eine Kardinalzahl ist.
• Die Kategorie der Wohlordnungen hat die Unterkategorie der Ordinalzahlen als Skelett.

Literatur

• J. Adámek, H. Herrlich, G.E. Strecker: Abstract and concrete categories (PDF; 4,4 MB), John Wiley (1990)