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

Dit artikel rechtvaardigt en maakt een elementaire aanpak expliciet die de bestaan van (co)limieten in $\mathbf{Cat}$ bewijst door een equivalentie te tonen met de homotopiecategoriefunctie en deze limieten constructief te definiëren via de nerve-functie, waardoor de reflectiviteit van de inbedding in $\mathbf{sSet}$ en de (co)compleetheid van $\mathbf{Cat}$ worden vastgesteld.

De kern

De Reis van de Prikkelende Pijlen: Een Simpel Verhaal over Categorieën en Simpele Vlakken

Stel je voor dat wiskunde een enorme bibliotheek is. In deze bibliotheek staat een heel speciale afdeling genaamd Cat. Hier liggen niet boeken, maar categorieën. Een categorie is als een heel complex stelsel van wegen, steden en regels voor hoe je van A naar B kunt reizen. Soms zijn deze regels heel strak, soms heel vrij.

De schrijver van dit artikel, Varinderjit Mann, wil een probleem oplossen in deze bibliotheek. Hij wil bewijzen dat je in deze wereld van categorieën altijd nieuwe, grotere structuren kunt bouwen door kleinere stukken aan elkaar te plakken. Dit noemen wiskundigen het nemen van "colimieten" (een soort super-samenvoeging).

Het probleem is: tot nu toe was het bewijs dat dit altijd kan, ofwel te ingewikkeld (als een labyrint van 1000 muren) ofwel gebaseerd op een cirkelredenering (je moet al weten dat het werkt om te bewijzen dat het werkt).

Mann komt met een slimme, nieuwe manier om dit te doen. Hij gebruikt een brug tussen twee werelden:

1. De wereld van Categorieën (Cat): De complexe steden met wegen.
2. De wereld van Simpele Vlakken (sSet): Een wereld van simpele bouwblokken (zoals driehoekjes, vierkantjes en lijntjes) die je kunt stapelen.

Hier is hoe zijn idee werkt, vertaald naar alledaags taal:

1. De Brug: De "Nerve" en de "Realisator"

Stel je voor dat je een heel ingewikkeld stadsplan (een categorie) wilt omzetten in een simpel legpuzzel (een simpele vlak).

• De Nerve (De Vertaler): Mann gebruikt een functie genaamd Nerve. Deze neemt een complex stadsplan en vertaalt het naar een legpuzzel. Het is alsof je een 3D-gebouw platlegt op een 2D-tekening.
• De Realisator (De Bouwer): De omgekeerde weg is lastiger. Hoe bouw je het 3D-gebouw terug uit de 2D-tekening? Dit is de functie h (homotopy category).

Het grote geheim van dit artikel is: Als je weet hoe je de legpuzzelstukken (de simpele vlakken) kunt omzetten in een compleet stadsplan, dan weet je automatisch dat je in de wereld van stadsplannen alles kunt bouwen wat je wilt.

2. De Slimme Truc: Alleen naar de "Ruggengraat" Kijken

Normaal gesproken zou je moeten bewijzen dat je elk mogelijk legpuzzelstuk kunt omzetten in een stad. Dat is een onmogelijke taak; er zijn oneindig veel vormen.

Maar Mann ontdekt iets wonderlijks: Je hoeft alleen maar naar de "ruggengraat" te kijken.
In de wereld van legpuzzels (simpele vlakken) zijn de belangrijkste stukken de lijntjes (1-dimensionaal) en de driehoekjes (2-dimensionaal). Alles daarboven (vierkanten, kubussen, etc.) is eigenlijk maar een ingewikkelde versie van deze basisstukken.

• De Analogie: Stel je wilt een heel complex huis bouwen. In plaats van te bewijzen dat je elke mogelijke muur, elk raam en elk dak kunt maken, bewijs je alleen dat je de fundering (de lijntjes) en de binnenmuren (de driehoekjes) kunt bouwen. Als je die twee kunt, kun je het hele huis erop bouwen.

Mann laat zien dat als je deze basisstukken (de "spine" of ruggengraat) kunt omzetten in een categorie, je de hele "Realisator"-machine kunt bouwen.

3. Het Bouwproces: Hoe maak je een stad uit een tekening?

Hoe bouwt hij dan die stad? Hij gebruikt twee simpele stappen:

• Stap 1: De Vrije Stad (De "Free" stad).
  Neem al je lijntjes uit de tekening en plak ze samen zonder regels. Je mag alles doen wat je wilt. Dit is als een stad waar je overal naartoe kunt rijden, maar nog geen verkeersregels hebt. Je hebt alleen de wegen en de kruispunten.
• Stap 2: De Verkeersregels (De "Quotient" stad).
  Nu kijkt je naar de driehoekjes in je tekening. Een driehoekje betekent: "Als je van A naar B gaat en dan van B naar C, is dat hetzelfde als direct van A naar C."
  Mann neemt zijn "Vrije Stad" en dwingt deze regels af. Hij plakt de wegen die door een driehoekje worden verbonden, aan elkaar. Dit is het moment waarop je van een chaotische verzameling wegen een gestructureerd stelsel met regels maakt.

4. Waarom is dit belangrijk?

Vroeger was het bewijzen dat je in deze wereld van categorieën alles kunt bouwen, als proberen een kasteel te bouwen terwijl je de stenen moet verzinnen terwijl je bouwt.

Mann's methode is als een 3D-printer:

1. Je hebt een blauwdruk (de simpele vlakken).
2. Je print eerst de basis (de lijntjes).
3. Je print de structuur (de driehoekjes).
4. En poef, je hebt een compleet, perfect werkend stadsplan (een categorie).

Dit betekent dat de wereld van categorieën volledig is. Je kunt er altijd nieuwe dingen maken door oude dingen samen te voegen, en je hebt nu een simpele, duidelijke handleiding hoe dat werkt zonder in ingewikkelde wiskundige labyrinten te verdwalen.

Samenvattend

Dit artikel zegt eigenlijk: "We hoeven niet bang te zijn voor de complexiteit van categorieën. Als we kijken naar de simpele bouwstenen (lijntjes en driehoekjes) en weten hoe we die in een stad kunnen omzetten, dan weten we dat we de hele wereld van categorieën kunnen beheersen."

Het is een feestje van helderheid in een wereld die vaak als erg donker en ingewikkeld wordt gezien. Mann heeft de lichten aangedaan en laten zien dat de structuur eigenlijk heel logisch en mooi is.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Revisiting colimits in Cat and homotopy category" van Varinderjit Mann, geschreven in het Nederlands.

Titel: Revisiting colimits in Cat and homotopy category

Auteur: Varinderjit Mann
Datum: 10 maart 2026

---

1. Probleemstelling en Motivatie

Het artikel adresseert een fundamenteel maar vaak onderbelicht probleem in de categorietheorie: het bewijzen van de cocompleetheid van de categorie $\mathbf{Cat}$ (de categorie van kleine categorieën). Hoewel bekend is dat $\mathbf{Cat}$ cocompleet is, zijn de bestaande bewijzen in de literatuur vaak ondoelmatig of cirkelredenerend:

• Bestaande benaderingen: Veel bewijzen (zoals in [2] en [11]) vertrouwen op de theorie van monaden op grafen of op de constructie van co-equalizers via "generalized congruences" (zoals in [1] en [3]). Deze methoden zijn technisch complex en vaak overmatig zwaar voor de specifieke context van $\mathbf{Set}$-verrijkte categorieën.
• Het cirkelprobleem: Een veelvoorkomende aanpak is om te stellen dat de nerve-functie $N: \mathbf{Cat} \to \mathbf{sSet}$ een reflectieve inbedding is. Echter, het bestaan van een linksgeadjungeerde (de realisatiefunctie $h$) voor $N$ impliceert vaak al de cocompleetheid van $\mathbf{Cat}$. Het aannemen van de reflectiviteit van $N$ om cocompleetheid te bewijzen, leidt dus tot een cirkelredenering. Er ontbreekt een direct, zelfstandig bewijs voor het bestaan van deze reflectieve inbedding zonder de volledige cocompleetheid vooraf aan te nemen.

Doel van het artikel: Een elementaire, expliciete en niet-cirkelredenerende constructie bieden voor de cocompleetheid van $\mathbf{Cat}$ door het bestaan van een specifieke klasse van gewogen colimieten te bewijzen, wat op zijn beurt het bestaan van de linksgeadjungeerde $h$ garandeert.

---

2. Methodologie

De auteur hanteert een benadering die de interactie tussen de categorie van simpliciale verzamelingen ($\mathbf{sSet}$) en $\mathbf{Cat}$ centraal stelt, gebruikmakend van de nerve-realizatie-adjunctie.

• Gewogen Colimieten: In plaats van alle co-equalizers direct te construeren, reduceert het artikel het probleem tot het bestaan van een specifieke klasse van gewogen colimieten van de vorm $X \star [-]$, waarbij $X \in \mathbf{sSet}$ een simpliciale verzameling is en $[-]: \Delta \hookrightarrow \mathbf{Cat}$ de inclusie van het simplex-categorie is.
• De Nerve en Realisatie:
  • De nerve-functie $N: \mathbf{Cat} \to \mathbf{sSet}$ wordt gedefinieerd als de puntsgewijze linkse Kan-uitbreiding van de inclusie $[-]: \Delta \to \mathbf{Cat}$ langs de Yoneda-inbedding.
  • De realisatiefunctie $h: \mathbf{sSet} \to \mathbf{Cat}$ (de homotopiecategorie-functie) is de linksgeadjungeerde van $N$. Het bestaan van $h$ is equivalent met het bestaan van de gewogen colimieten $X \star [-]$.
• 2-dimensionale Reductie: Een cruciale stap is het inzien dat de nerve-functie 2-coskeletaal is. Dit betekent dat de informatie van een nerve volledig wordt bepaald door zijn 2-skelet. De auteur toont aan dat het bestaan van $X \star [-]$ equivalent is met het bestaan van $\text{sk}_2(X) \star [-]$, waarbij $\text{sk}_2$ de 2-skelet-functie is.
• Skeletale Filtratie: Het bewijs maakt gebruik van de filtratie van een simpliciale verzameling $X$ via zijn niet-gedegenereerde simplices. Omdat gewogen colimieten cocontinu zijn in het gewicht, kan het bestaan van $X \star [-]$ worden teruggebracht tot het bestaan van colimieten voor de bouwstenen ($\Delta^0, \Delta^1, \Delta^2, \partial\Delta^2$) en de pushouts die de filtratie definiëren.

---

3. Belangrijkste Bijdragen en Resultaten

A. Existentie van de Linksgeadjungeerde ($h \dashv N$)

Het artikel bewijst dat de linksgeadjungeerde $h$ bestaat door expliciete constructies te geven voor de nodige colimieten:

1. Constructie van $h(X)$: Voor een simpliciale verzameling $X$ wordt $h(X)$ geconstrueerd via een tweestaps pushout-proces:
   • Stap 1 (Vrije Categorie): Construeer een vrije categorie $F_X$ gegenereerd door de 0- en 1-simplices van $X$. Dit correspondeert met de colimiet van het 1-skelet.
   • Stap 2 (Quotient): Deel $F_X$ door de equivalentierelatie gegenereerd door de 2-simplices van $X$. Concreet: als er een 2-simplex is die $f, g, h$ verbindt (waarbij $h$ de samenstelling van $f$ en $g$ voorstelt), dan wordt de relatie $g \circ f \sim h$ opgelegd.
2. Hoofdstelling: De gewogen colimiet $X \star [-]$ bestaat voor alle $X \in \mathbf{sSet}$ en is isomorf met de hierboven geconstrueerde categorie $h(X)$.

B. Cocompleetheid en Compleetheid van $\mathbf{Cat}$

• Propositie: $\mathbf{Cat}$ is cocompleet dan en slechts dan als de gewogen colimieten $X \star [-]$ bestaan voor alle $X$.
• Conclusie: Omdat het artikel het bestaan van deze colimieten bewijst, volgt direct dat $\mathbf{Cat}$ cocompleet is.
• Reflectieve Inbedding: Omdat $N$ een linksgeadjungeerde heeft en volledig getrouw is (bewezen via de "spine extension property"), is $N$ een reflectieve inbedding.
• Compleetheid: Uit de bestaande stellingen over reflectieve inbeddingen volgt dat $\mathbf{Cat}$ ook compleet is.
• Formule voor Colimieten: Voor elke diagram $F: J \to \mathbf{Cat}$ geldt:
  $$\text{colim } F \cong h(\text{colim } (N \circ F))$$
  Dit betekent dat colimieten in $\mathbf{Cat}$ kunnen worden berekend door ze eerst in $\mathbf{sSet}$ te nemen (waar ze puntsgewijs bestaan) en vervolgens de realisatie $h$ toe te passen.

C. Expliciete Beschrijvingen van Specifieke Constructies

Het artikel levert nieuwe, expliciete beschrijvingen voor complexe constructies:

• Co-equalizers: In plaats van ingewikkelde congruentie-constructies, wordt de co-equalizer van twee functors $F, G: C \to D$ beschreven als de realisatie van de co-equalizer van hun nerves in $\mathbf{sSet}$. Dit resulteert in een categorie waar de objecten de co-equalizer van de objecten zijn, en de morfismen vrije composities zijn van de morfismen in $D$, onderworpen aan relaties afgeleid van de 2-simplices in de co-equalizer van de nerves.
• Localisatie: De constructie van de totale localisatie (het inverteren van alle morfismen) en relatieve localisatie (inverteren van een specifieke klasse morfismen) wordt herformuleerd als pushouts in $\mathbf{Cat}$, die via de nerve-functie kunnen worden berekend als pushouts in $\mathbf{sSet}$ gevolgd door realisatie.

---

4. Significatie en Implicaties

1. Oplossing van een Cirkelredenering: Het artikel biedt het eerste directe, zelfstandige bewijs voor het bestaan van de reflectieve inbedding $N: \mathbf{Cat} \to \mathbf{sSet}$ zonder de cocompleetheid van $\mathbf{Cat}$ vooraf aan te nemen.
2. Elementaire Benadering: De methode vermijdt de zware theorie van monaden op grafen of de complexe classificatie van epimorfismen. In plaats daarvan gebruikt het de intuïtieve structuur van simpliciale verzamelingen en de 2-dimensionale aard van categorieën.
3. Berekenbaarheid: De constructie van $h(X)$ is expliciet en computabel. Het reduceert het vinden van colimieten in $\mathbf{Cat}$ tot het vinden van colimieten in $\mathbf{sSet}$ (wat triviaal puntsgewijs is) en het toepassen van een gestructureerd quotient-proces.
4. Verwantschap met Homotopietheorie: De benadering benadrukt de diepe connectie tussen categorietheorie en homotopietheorie. De "homotopie-categorie" $h(X)$ is niet slechts een abstract concept, maar de concrete realisatie die de colimieten in $\mathbf{Cat}$ beheerst.
5. Algemene Toepasbaarheid: Hoewel de methode specifiek is voor $\mathbf{Set}$ (en niet direct generaliseerbaar naar verrijkte categorieën over willekeurige basissen $V$ zonder extra structuur), biedt het een krachtig model voor hoe men de complexiteit van colimieten in $\mathbf{Cat}$ kan reduceren via de nerve-realizatie-adjunctie.

Samenvattend: Dit artikel herformuleert de fundamentele eigenschappen van $\mathbf{Cat}$ door de lens van simpliciale verzamelingen. Het bewijst dat de cocompleetheid van $\mathbf{Cat}$ volledig kan worden afgeleid uit de eigenschappen van de nerve-functie en de constructie van gewogen colimieten, waardoor een eerdere, vaak impliciete, relatie tussen deze concepten expliciet en rigoureus wordt gemaakt.