Klassifizierender Raum einer Kategorie

In der Mathematik ist der klassifizierende Raum einer Kategorie ein Begriff aus der algebraischen Topologie, der den Begriff des klassifizierenden Raums einer diskreten Gruppe verallgemeinert.

Nerv einer Kategorie

Der Nerv $N({\mathcal {C}})$ einer kleinen Kategorie ${\mathcal {C}}$ ist der Simplizialkomplex, dessen $0$- und $1$-Simplizes den Objekten bzw. Morphismen in ${\mathcal {C}}$ entsprechen und dessen $k$-Simplizes den komponierbaren $k$-Tupeln von Morphismen $A_{0}\to A_{1}\to \ldots \to A_{k-1}\to A_{k}$ entsprechen. Die Randabbildung $d_{i}$ bildet den $A_{0}\to A_{1}\to \ldots A_{i-1}\to A_{i}\to A_{i+1}\to \ldots \to A_{k-1}\to A_{k}$ entsprechenden $k$-Simplex auf den $A_{0}\to A_{1}\to \ldots A_{i-1}\to A_{i+1}\to \ldots \to A_{k-1}\to A_{k}$ entsprechenden $(k-1)$-Simplex ab.

Klassifizierender Raum einer Kategorie

Der Klassifizierende Raum $B{\mathcal {C}}$ einer Kategorie ${\mathcal {C}}$ ist die geometrische Realisierung ihres Nervs $N({\mathcal {C}})$.

Beispiel: Eine Gruppe ist eine Kategorie mit einem Objekt, die Gruppenelemente entsprechen den Morphismen, die Gruppenmultiplikation der Komposition von Morphismen. Der klassifizierende Raum dieser Kategorie ist der klassifizierende Raum der Gruppe mit der diskreten Topologie.

Weblinks

• Nerve (nLab)
• Kapitel 7 in Richer: Kategorientheorie mit Anwendungen in der Topologie
• Weiss: What does the classifying space of a category classify?