Revisiting colimits in $\mathbf{Cat}$ and homotopy category

Dieser Artikel präzisiert einen elementaren Ansatz zur Existenz von Kolimiten in $\mathbf{Cat}$, indem er eine Äquivalenz zur Homotopiekategoriefunktion herstellt und durch explizite Konstruktion gewichteter Kolimiten sowie die reflektive Einbettung in $\mathbf{sSet}$ die (Co)Vollständigkeit von $\mathbf{Cat}$ nachweist.

Das Wesentliche

🏗️ Die Baustelle der Kategorien: Wie man aus Punkten und Linien ganze Welten baut

Stellen Sie sich vor, Kategorien sind wie riesige, komplexe Städte. In diesen Städten gibt es Orte (die Objekte) und Straßen, die diese Orte verbinden (die Morphismen/Funktionen). Manchmal wollen wir zwei solcher Städte zu einer neuen, größeren Stadt verschmelzen oder eine Stadt so umbauen, dass bestimmte Straßen in beide Richtungen befahrbar werden. In der Mathematik nennt man diese Vorgänge „Koprodukte" oder „Koequalisierer".

Das Problem: Es ist sehr schwer zu beweisen, dass man diese neuen, komplexen Städte immer konstruieren kann, ohne dass dabei die Struktur kollabiert. Bisherige Methoden waren entweder zu abstrakt oder so kompliziert wie ein Labyrinth.

Dieser Artikel von Varinderjit Mann bietet einen neuen, klaren Weg, um zu zeigen, dass man diese mathematischen Städte immer sicher bauen kann. Er nutzt dabei eine geniale Brücke zwischen zwei Welten: der Welt der Kategorien (unseren Städten) und der Welt der Simplicial Sets (einer Art von Lego-Bauplänen).

1. Die Brücke: Der Nerven- und Realisierungs-Funktor

Stellen Sie sich vor, Sie haben eine komplexe Stadt (eine Kategorie). Um sie zu verstehen, zerlegen Sie sie in ihre kleinsten Bausteine:

• Punkte (Orte),
• Linien (Straßen zwischen zwei Orten),
• Dreiecke (die zeigen, dass zwei Wege, die man hintereinander fährt, dasselbe Ziel erreichen wie ein direkter Weg).

Dieses Zerlegen in Punkte, Linien und Dreiecke nennt der Autor den Nerven (Nerve). Es ist wie das Erstellen eines detaillierten Bauplans aus Lego-Steinen.

Das Geniale an diesem Bauplan ist: Man kann ihn wieder zurückbauen! Wenn man den Bauplan hat, kann man die Stadt wieder daraus „realisieren".

• Der Autor zeigt nun: Wenn man weiß, wie man diese Lego-Bausteine (die gewichteten Kolimiten) sicher zusammenklebt, dann kann man jede gewünschte neue Stadt bauen.
• Es ist, als würde man sagen: „Wenn ich weiß, wie man einzelne Lego-Steine und kleine Dreiecke zusammenfügt, kann ich jedes beliebige Schloss bauen."

2. Das Geheimnis der „2-Dimensionalität"

Ein wichtiger Durchbruch im Artikel ist die Erkenntnis, dass man nicht alles gleichzeitig betrachten muss.

• Eine Stadt hat vielleicht unendlich viele Ebenen (Hochhäuser, Tunnel, Brücken).
• Aber der Autor zeigt: Um eine Kategorie zu verstehen, reichen zwei Dimensionen völlig aus.
  • Ebene 0: Die Orte.
  • Ebene 1: Die Straßen.
  • Ebene 2: Die Dreiecke, die zeigen, wie Straßen zusammengesetzt sind.

Alles, was darüber hinausgeht (4-Ecken, 5-Ecken etc.), ist für die Struktur der Kategorie eigentlich nur „Wiederholung" oder „Füllung". Man kann also den Bau eines riesigen Komplexes auf das Zusammenfügen von Punkten, Linien und Dreiecken reduzieren. Das macht die Aufgabe viel überschaubarer.

3. Der Bauplan: Wie man die neuen Städte konstruiert

Der Artikel beschreibt nun Schritt für Schritt, wie man die gewünschten neuen Städte (Koprodukte oder Koequalisierer) baut, indem man nur mit diesen drei Elementen arbeitet:

1. Die Rohdaten (Punkte und Linien): Man nimmt alle Orte und Straßen aus den Ausgangsstädten und legt sie einfach nebeneinander. Das ergibt eine „freie Stadt", in der noch keine Regeln gelten (man kann alles miteinander verbinden).
2. Die Regeln (Dreiecke): Jetzt kommt der entscheidende Schritt. In der Mathematik gibt es oft Regeln wie: „Wenn ich von A nach B und dann von B nach C fahre, ist das dasselbe wie direkt von A nach C."
   • Im Artikel wird gezeigt, wie man diese Regeln einfügt, indem man die entsprechenden Dreiecke in den Lego-Bauplan klebt.
   • Man „klebt" die Dreiecke so zusammen, dass die alten Wege (A→B→C) und der neue direkte Weg (A→C) als identisch behandelt werden.

Durch diesen Prozess entsteht eine neue, korrekte Stadt, die genau das tut, was man wollte: Sie vereint die alten Städte oder fügt die gewünschten neuen Verbindungen ein.

4. Warum ist das wichtig?

Bisher war es oft ein „Teufelskreis": Um zu beweisen, dass man Städte bauen kann, musste man bereits annehmen, dass man sie bauen kann. Das war unbefriedigend.

Dieser Artikel bricht diesen Kreis:

• Er zeigt, dass man die Existenz dieser neuen Städte beweisen kann, indem man nur die einfachen Lego-Regeln (Punkte, Linien, Dreiecke) anwendet.
• Er liefert eine konkrete Anleitung (eine Formel), wie man diese Städte baut, anstatt nur zu sagen „sie existieren".
• Er macht komplexe Konzepte wie Lokalisierung (das „Umkehren" von Straßen, damit man sie auch rückwärts fahren kann) viel verständlicher. Man kann sich das vorstellen wie das Hinzufügen von Rückwärts-Schildern an bestimmten Straßen, um eine neue Verkehrsordnung zu schaffen.

Zusammenfassung in einem Satz

Der Autor zeigt uns, dass man die komplexe Welt der mathematischen Kategorien nicht als undurchdringlichen Dschungel sehen muss, sondern als einen Baukasten aus Punkten, Linien und Dreiecken, mit dem man jede erdenkliche neue Struktur sicher und nachvollziehbar errichten kann.

Es ist der Unterschied zwischen dem Versuch, ein Haus aus dem Nichts zu zaubern, und dem Wissen, wie man aus einfachen Ziegelsteinen (dem Nerven) jedes beliebige Gebäude (die Kategorie) zusammenfügt.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers von Varinderjit Mann auf Deutsch.

Titel: Revisiting colimits in Cat and homotopy category

Autor: Varinderjit Mann
Datum: 10. März 2026 (im Paper angegeben)

---

1. Problemstellung und Motivation

Die Kategorie der kleinen Kategorien ($\mathbf{Cat}$) ist bekanntlich vollständig und kokomplett. Bisherige Beweise für die Kokomplettät stützen sich oft auf allgemeine Resultate über $V$-kategorien (insbesondere für $V=\mathbf{Set}$), die zeigen, dass der Vergissfunktor $\mathbf{Cat} \to \mathbf{Graph}$ monadisch ist. Diese allgemeinen Ansätze sind jedoch oft ineffizient für den spezifischen Fall von $\mathbf{Cat}$, da sie die reichhaltige Struktur von $\mathbf{Set}$ nicht optimal nutzen.

Alternativ existieren elementare Konstruktionen für Kolimites (z. B. Coequalizer) in der Literatur, diese sind jedoch technisch sehr komplex und schwer zu handhaben.

Ein zentrales Problem in der Literatur ist der scheinbar zirkuläre Charakter des Beweises für die Existenz des Reflexions-Embeddings (der linken Adjungierten zum Nerv-Funktor). Der Nerv-Funktor $N: \mathbf{Cat} \to \mathbf{sSet}$ ist bekanntlich volltreu. Es wird oft behauptet, dass $N$ eine reflektive Einbettung ist (d. h. eine linke Adjungierte $h: \mathbf{sSet} \to \mathbf{Cat}$ existiert). Die Existenz dieser Adjungierten wird jedoch typischerweise aus der Kokomplettät von $\mathbf{Cat}$ hergeleitet. Umgekehrt würde die Existenz einer solchen Adjungierten die Kokomplettät implizieren. Bisher fehlte ein direkter, in sich geschlossener Beweis, der die Existenz dieser Adjungierten ohne die Annahme der Kokomplettät von $\mathbf{Cat}$ herleitet.

2. Methodik und Ansatz

Der Autor verfolgt einen elementaren, aber bisher nicht explizit ausgearbeiteten Ansatz, der auf der Beziehung zwischen $\mathbf{Cat}$ und der Kategorie der simplizialen Mengen ($\mathbf{sSet}$) basiert. Die Kernidee besteht darin, die Kokomplettät von $\mathbf{Cat}$ auf die Existenz einer spezifischen Klasse von gewichteten Kolimiten (weighted colimits) zurückzuführen.

Die Methodik gliedert sich in folgende Schritte:

1. Reduktion auf gewichtete Kolimites:
   Es wird gezeigt, dass $\mathbf{Cat}$ genau dann kokomplett ist, wenn für jede simpliziale Menge $X \in \mathbf{sSet}$ der gewichtete Kolimit $X \star [-]$ existiert, wobei $[-]: \mathbf{\Delta} \hookrightarrow \mathbf{Cat}$ die Inklusion der Simplex-Kategorie ist. Dieser gewichtete Kolimit entspricht der Realisierung des Funktors $[-]$ bezüglich des Gewichts $X$.

2. Verknüpfung mit der Homotopie-Kategorie:
   Die Existenz der linken Adjungierten $h$ zum Nerv $N$ (oft als Homotopie-Kategorie-Funktor bezeichnet) wird äquivalent zur Existenz dieser gewichteten Kolimites gesetzt. Die Adjungierte $h$ ist dann gegeben durch $h(X) \cong X \star [-]$.

3. Nutzung der Skelett-Filtration:
   Um die Existenz von $X \star [-]$ für beliebige $X$ zu beweisen, nutzt der Autor die Tatsache, dass gewichtete Kolimites in den Gewichten ko-kontinuierlich sind. Da jede simpliziale Menge $X$ durch eine Filtration durch ihre $n$-Skelette ($sk_n X$) aufgebaut werden kann, genügt es, die Existenz der Kolimites für das 2-Skelett ($sk_2 X$) nachzuweisen.

   • Der Autor zeigt, dass $N$ ein 2-koskeletaler Funktor ist (d. h. $N$ ist isomorph zu $cosk_2 N$).
   • Daraus folgt, dass $X \star [-] \cong sk_2 X \star [-]$.

4. Explizite Konstruktion via Pushouts:
   Die Konstruktion von $sk_2 X \star [-]$ wird auf elementare Operationen in $\mathbf{Cat}$ reduziert:

   • Coproducts: Disjunkte Vereinigung von Kategorien.
   • Pushouts: Diese werden verwendet, um die freien Kategorien zu bilden und dann Relationen hinzuzufügen.
   • Der Prozess entspricht der Bildung einer freien Kategorie aus den 1-Simplexen (Kanten) und dem anschließenden Quotientieren nach den Relationen, die durch die 2-Simplexe (Dreiecke) induziert werden.

3. Hauptergebnisse

A. Existenz der Adjungierten und Reflexivität

Der zentrale Satz (Theorem 4.1.5) besagt, dass der gewichtete Kolimit $X \star [-]$ für alle $X \in \mathbf{sSet}$ existiert und isomorph zu einer explizit konstruierten Kategorie $hX$ ist.

• Konstruktion von $hX$:
  1. Man bildet die freie Kategorie $F_X$ über den Objekten ($X_0$) und den nicht-degenerierten 1-Simplexen ($X_1^{nd}$).
  2. Man quotientiert $F_X$ nach der Äquivalenzrelation, die durch die nicht-degenerierten 2-Simplexe ($X_2^{nd}$) induziert wird (d. h. $g \circ f \sim h$, wenn ein 2-Simplex die Kanten $f, g, h$ füllt).
• Folgerung: Da diese Konstruktion für jedes $X$ funktioniert, existiert der Funktor $h: \mathbf{sSet} \to \mathbf{Cat}$ als linke Adjungierte zu $N$.

B. Vollständigkeit und Kokomplettät von $\mathbf{Cat}$

Da $N: \mathbf{Cat} \to \mathbf{sSet}$ eine volltreue Einbettung ist und eine linke Adjungierte $h$ besitzt, ist $N$ eine reflektive Einbettung.

• Nach Standardresultaten (z. B. [10, Prop. 4.5.15]) impliziert dies, dass $\mathbf{Cat}$ sowohl vollständig als auch kokomplett ist.
• Die (Co)Limites in $\mathbf{Cat}$ können explizit berechnet werden als $h(\text{Limit/Kolimit in } \mathbf{sSet})$.

C. Explizite Beschreibung von Coequalizern und Lokalisierung

Der Ansatz ermöglicht eine neue, zugänglichere Beschreibung komplexer Konstruktionen:

• Coequalizer: Anstatt komplexe Kongruenz-Klassifikationen zu verwenden, wird der Coequalizer zweier Funktoren $F, G: C \to D$ berechnet, indem man zuerst den Coequalizer im Bereich der simplizialen Mengen ($N F, N G$) bildet (was levelweise in $\mathbf{Set}$ berechnet wird) und dann $h$ anwendet. Dies führt zu einer Beschreibung, bei der Morphismen durch Äquivalenzklassen von Wegen modulo der Relationen aus 2-Simplexen dargestellt werden.
• Lokalisierung: Die totale Lokalisierung (Invertierung aller Morphismen) und relative Lokalisierung (Invertierung einer Teilmenge von Morphismen) werden als Pushouts in $\mathbf{Cat}$ formuliert, die über die Adjungierte $h$ aus Pushouts in $\mathbf{sSet}$ abgeleitet werden. Dies liefert eine klare Beschreibung der resultierenden Kategorien als "Zick-Zack"-Pfade mit Inversen.

4. Signifikanz und Beitrag zur Literatur

1. Auflösung eines zirkulären Arguments: Das Paper liefert den ersten direkten und in sich geschlossenen Beweis für die Existenz der reflektiven Einbettung $N \dashv h$, ohne die Kokomplettät von $\mathbf{Cat}$ vorauszusetzen. Es zeigt, dass die Existenz der gewichteten Kolimites $X \star [-]$ die Kokomplettät impliziert.
2. Elementarer Zugang: Der Ansatz vermeidet die Komplexität der allgemeinen Theorie der $V$-kategorien oder der expliziten Konstruktion von Kongruenzen für Coequalizer. Stattdessen nutzt er die kombinatorische Struktur von simplizialen Mengen (insbesondere die 2-dimensionale Natur von Kategorien, da Komposition assoziativ ist und durch 2-Simplexe erfasst wird).
3. Berechenbarkeit: Die Methode liefert explizite Formeln für die Berechnung von Kolimites in $\mathbf{Cat}$, indem sie diese auf Pushouts und Quotienten in $\mathbf{Set}$ zurückführt.
4. Verknüpfung von Adjunktionen: Das Paper zeigt, wie sich bekannte Adjunktionen (wie die zwischen $\mathbf{Cat}$ und $\mathbf{Set}$ oder $\mathbf{Cat}$ und Graphen) direkt aus der $h \dashv N$-Adjunktion ableiten lassen, indem man sie mit Skelett-Funktoren auf $\mathbf{sSet}$ kombiniert.

Fazit

Varinderjit Manns Arbeit bietet eine elegante und technisch präzise Rechtfertigung für die Existenz von (Co)Limites in $\mathbf{Cat}$. Indem sie die Problematik auf die Konstruktion gewichteter Kolimites über die Inklusion $\mathbf{\Delta} \hookrightarrow \mathbf{Cat}$ reduziert und diese explizit durch die 2-Skelett-Filtration löst, umgeht sie die üblichen technischen Hürden und liefert ein klares Bild der Beziehung zwischen simplizialen Mengen und Kategorien. Dies festigt die theoretische Grundlage für die Verwendung der Homotopie-Kategorie-Funktion $h$ als fundamentales Werkzeug in der Kategorientheorie.