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

Questo articolo giustifica e formalizza un approccio elementare per dimostrare l'esistenza di limiti e colimiti in $\mathbf{Cat}$, stabilendo un'equivalenza con la functorialità della categoria omotopica e costruendo esplicitamente i colimiti pesati per confermare la riflessività dell'immersione della categoria dei grafi nella categoria degli insiemi simpliciali.

L'essenziale

🏗️ Costruire il Mondo delle Relazioni: Un Viaggio tra "Categorie" e "Forme"

Immagina che il mondo della matematica sia un enorme cantiere edile. In questo cantiere, gli architetti lavorano con due tipi di materiali principali:

1. I "Cat" (Categorie): Sono come macchine complesse o organigrammi aziendali. Hanno ingranaggi (oggetti) e cinghie di trasmissione (frecce/morfismi) che li collegano. Le regole sono rigide: se un ingranaggio gira, deve trascinare l'altro in un modo preciso.
2. I "sSet" (Insiemi Simpliciali): Sono come puzzle di forme geometriche (triangoli, tetraedri, ecc.) che puoi piegare e incollare. Sono molto più flessibili e "morbidi" delle macchine.

Il problema che l'autore risolve è questo: Come possiamo costruire macchine complesse partendo da puzzle flessibili, senza rompere tutto?

In passato, per dimostrare che si potevano costruire qualsiasi tipo di macchina (limiti e colimiti), gli architetti usavano metodi molto complicati, quasi come se dovessero saldare ogni singolo bullone a mano. Questo paper propone un metodo più intelligente e "pulito".

1. Il Ponte Magico: La "Nerve" (Il Nervo)

Immagina di voler trasformare una macchina complessa in un puzzle di carta per studiarla meglio.

• Esiste un trucco chiamato Funzione Nervo ($N$). Prende una macchina (una Categoria) e la "stampa" su carta, trasformandola in un puzzle di triangoli (un Insieme Simpliciale).
• Il bello è che questa stampa è perfetta: non perdi nessuna informazione. Se hai il puzzle, puoi ricostruire esattamente la macchina originale.

Il problema è il contrario: Come torniamo indietro? Come prendiamo un puzzle di carta e lo trasformiamo di nuovo in una macchina funzionante?
Questa operazione inversa si chiama Realizzazione ($h$).

2. Il Segreto: Non serve costruire tutto da zero

L'autore dice: "Non dobbiamo inventare un nuovo modo per saldare ogni macchina. Dobbiamo solo capire come assemblare i pezzi base."

Ecco la metafora chiave:
Immagina che le "macchine" (Categorie) siano fatte di mattoncini LEGO.

• Per costruire una macchina complessa, non devi fondere il metallo. Devi solo sapere come unire i mattoncini LEGO.
• Il paper dimostra che se sai come unire i mattoncini LEGO in un certo modo (chiamato colimiti pesati), allora puoi costruire qualsiasi macchina.

L'idea geniale è che i "mattoncini LEGO" in questo caso sono i triangoli del nostro puzzle di carta.

• Se prendi un triangolo e lo trasformi in una macchina, ottieni una semplice freccia (da 0 a 1).
• Se prendi due triangoli incollati, ottieni una composizione di frecce.
• Il paper dimostra che se sai come trasformare questi triangoli in macchine, sai trasformare qualsiasi forma complessa in una macchina.

3. La Scoperta: La "Dimensione 2" è tutto ciò che serve

Qui arriva la parte più sorprendente.
Quando trasformi un puzzle di carta in una macchina, non hai bisogno di guardare l'intero puzzle infinito.

• I triangoli (2D) sono l'unico pezzo che conta davvero.
• Immagina di avere un puzzle gigante. L'autore dice: "Non preoccuparti di guardare ogni singolo dettaglio del puzzle. Guarda solo come sono incollati i triangoli. Se sai come unire i triangoli, sai come costruire l'intera macchina."

In termini tecnici, questo significa che la struttura delle nostre "macchine" è intrinsecamente bidimensionale. Una volta che hai definito come si uniscono i pezzi (gli oggetti) e come si collegano (le frecce) e come si compongono (i triangoli), il resto è automatico.

4. Il Risultato Pratico: Costruire Macchine Semplici

Grazie a questo metodo, l'autore ci dà istruzioni passo-passo per costruire due cose fondamentali che prima erano un incubo:

• I Coequalizzatori (Le "Fusioni"): Immagina di avere due macchine che fanno la stessa cosa e vuoi unirle in una sola. Prima era difficile dire quali ingranaggi fondere e quali buttare. Ora, il paper dice: "Prendi i puzzle, uniscili sulla carta (dove è facile), e poi trasformali di nuovo in macchina. Le regole di fusione sono semplici: se due frecce formano un triangolo, diventano la stessa freccia."
• Le Localizzazioni (Le "Inversioni"): Immagina di voler rendere reversibile un ingranaggio (far sì che se vai da A a B, puoi anche tornare da B ad A). Il paper mostra come farlo prendendo il puzzle, aggiungendo "frecce indietro" sui triangoli, e poi trasformandolo in macchina. È come dire: "Se hai un triangolo che dice 'A va in B', aggiungi un triangolo che dice 'B va in A' e incollali insieme."

In Sintesi: Cosa ci insegna questo paper?

Prima, per costruire una nuova macchina matematica, gli scienziati dovevano usare formule complicate e lunghe dimostrazioni che sembravano magia nera.

Questo paper dice: "Smettetela di complicarvi la vita!"

1. Trasforma la tua macchina in un puzzle di carta (usando il Nervo).
2. Fai le modifiche sul puzzle (che è facile, perché è solo geometria).
3. Trasforma il puzzle modificato di nuovo in macchina (usando la Realizzazione).

Il paper dimostra che questo processo funziona sempre e che non serve guardare oltre i "triangoli" (la dimensione 2) per capire come funziona tutto. È come scoprire che per costruire un grattacielo, non serve calcolare ogni singola trave, basta sapere come si incastrano i mattoni fondamentali.

Il messaggio finale: La matematica delle strutture complesse è più semplice di quanto sembri, se sai guardare attraverso la lente giusta (il ponte tra le forme geometriche e le macchine logiche).

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "Revisiting colimits in Cat and homotopy category" di Varinderjit Mann, presentata in italiano.

Titolo: Revisiting colimits in Cat and homotopy category

Autore: Varinderjit Mann
Data: 10 marzo 2026 (preprint arXiv)

---

1. Il Problema e la Motivazione

La categoria delle categorie piccole, Cat, è nota per essere cocompleta (ammette tutti i colimiti). Tuttavia, la letteratura esistente presenta due approcci principali per dimostrare questo fatto, entrambi con limiti significativi:

1. Approccio Monadico: Dimostrare che la funzione di dimenticanza $U: \text{Cat} \to \text{Graph}$ è monadica e finitaria. Questo metodo, sebbene generale (applicabile alle categorie arricchite), è considerato inefficiente per il caso specifico di Cat perché non sfrutta le strutture aggiuntive della categoria degli insiemi (Set).
2. Costruzione Esplicita: Costruire direttamente i coequalizzatori (come fatto in [1] e [3]). Sebbene elementare nello spirito, queste costruzioni sono tecnicamente intricate e complesse da gestire.

Il paper identifica un problema fondamentale nella letteratura: l'esistenza dell'embedding riflessivo della categoria delle categorie in quella degli insiemi simpliciali ($N: \text{Cat} \hookrightarrow \text{sSet}$) è spesso assunta come nota, ma la sua dimostrazione diretta e non circolare è assente. Spesso si assume la cocompleteness di Cat per dimostrare che $N$ ammette un aggiunto sinistro, creando un ragionamento circolare.

Obiettivo del paper: Fornire una dimostrazione diretta, autocontenuta ed elementare della cocompleteness di Cat, evitando la costruzione generale dei coequalizzatori e basandosi invece su una classe ristretta di colimiti pesati.

---

2. Metodologia

L'approccio proposto si basa sull'interazione tra la teoria delle categorie e la teoria degli insiemi simpliciali (sSet), sfruttando la coppia di funtori Nerve ($N$) e Realizzazione ($h$).

A. Colimiti Pesati e Adjointness

Il cuore della metodologia è la riduzione della cocompleteness di Cat all'esistenza di una specifica classe di colimiti pesati (weighted colimits).

• Si dimostra che l'esistenza del funtore di realizzazione $h: \text{sSet} \to \text{Cat}$ (aggiunto sinistro del Nerve $N$) è equivalente all'esistenza dei colimiti pesati della forma $X \star [-]$ per ogni insieme simpliciale $X$, dove $[-]: \Delta \hookrightarrow \text{Cat}$ è l'inclusione della categoria dei semplici.
• Invece di costruire tutti i colimiti, l'autore si concentra sull'esistenza di questi colimiti pesati specifici.

B. Filtrazione Scheletrica e 2-Dimensionalità

Un risultato chiave è che la struttura di una categoria è intrinsecamente 2-dimensionale.

• L'autore utilizza la filtrazione scheletrica degli insiemi simpliciali. Si dimostra che il colimito pesato $X \star [-]$ esiste se e solo se esiste il colimito pesato del suo 2-scheletro, $sk_2(X) \star [-]$.
• Questo riduce il problema alla costruzione di colimiti su insiemi simpliciali che contengono solo dati fino alla dimensione 2 (oggetti, frecce e 2-simplessi).

C. Costruzione Esplicita tramite Pushout

Per dimostrare l'esistenza di $sk_2(X) \star [-]$, il paper costruisce esplicitamente il colimito attraverso una sequenza di pushout (coprodotto e identificazione):

1. Livello 0 e 1: Si costruisce la categoria libera $F_X$ generata dagli oggetti ($X_0$) e dalle frecce non degeneri ($X_1$). Questo corrisponde al colimito $sk_1(X) \star [-]$.
2. Livello 2: Si impone la relazione di composizione derivata dai 2-simplessi non degeneri ($X_2$). Questo si ottiene tramite un pushout che quozienta $F_X$ identificando le composizioni $g \circ f$ con $h$ ogni volta che esiste un 2-simplex che le collega. Il risultato è la categoria $h_X$.

---

3. Risultati Chiave e Contributi

Teorema Principale: Cocompleteness di Cat

Il paper stabilisce che la categoria Cat è cocompleta. La dimostrazione procede come segue:

1. Si dimostra l'esistenza dei colimiti pesati $X \star [-]$ per ogni $X \in \text{sSet}$ costruendo esplicitamente $h_X$ tramite pushout di categorie libere e quozienti.
2. Si dimostra che l'esistenza di questi colimiti implica l'esistenza dell'aggiunto sinistro $h \dashv N$.
3. Poiché $N$ è un embedding riflessivo (essendo $N$ fully faithful e avente aggiunto sinistro), ne segue che Cat è completa e cocompleta.

Costruzione dei Coequalizzatori

Il paper offre una descrizione esplicita e gestibile dei coequalizzatori in Cat (Lemma 5.2.4):

• Gli oggetti del coequalizzatore sono i coequalizzatori degli insiemi di oggetti.
• I morfismi sono costruiti prendendo la categoria libera sui morfismi del coequalizzatore simpliciale e imponendo le relazioni di omotopia derivanti dai 2-simplessi.
• Questo approccio evita la complessità delle "congruenze generalizzate" tradizionali.

Localizzazione

L'autore riformula la costruzione della localizzazione totale (inversione di tutti i morfismi) e della localizzazione relativa (inversione di una classe di morfismi) utilizzando i pushout nella categoria Cat.

• Si dimostra che la localizzazione totale $L(C)$ è isomorfa all'applicazione del funtore $h$ alla localizzazione dell'insieme simpliciale $N(C)$.
• Questo fornisce una descrizione concreta dei morfismi nella categoria localizzata come "zig-zag" finiti di frecce e loro inverse.

Nuove Adjointness

Vengono derivate nuove coppie di adjoint da $h \dashv N$:

• Una quadrupla di adjoint tra Cat e Set (funzioni di oggetti, categorie discrete, categorie indiscrete, e componenti connesse).
• L'adjointness standard tra grafi riflessivi e categorie libere.

---

4. Significato e Implicazioni

1. Chiarezza Concettuale: Il paper risolve un vuoto nella letteratura fornendo una prova non circolare dell'embedding riflessivo $N: \text{Cat} \to \text{sSet}$. Dimostra che la cocompleteness non è un presupposto necessario per definire $h$, ma una conseguenza della costruzione dei colimiti pesati.
2. Efficienza Computazionale: Sostituendo la costruzione generale dei coequalizzatori con una basata su pushout di categorie libere e relazioni di omotopia (2-simplessi), il metodo offre una via più diretta e "maneggevole" per calcolare colimiti in Cat.
3. Limiti di Generalizzazione: L'autore nota onestamente che questo approccio è specifico per Cat (basato sulla struttura di $\Delta$ e Set) e non si generalizza immediatamente alle categorie arricchite su un base arbitraria $\mathcal{V}$, poiché manca un analogo canonico della categoria dei semplici per $\mathcal{V}$-Cat.
4. Strumenti per la Teoria dell'Omotopia: La connessione esplicita tra la realizzazione di insiemi simpliciali e la costruzione di categorie (tramite $h$) rafforza il legame tra teoria dell'omotopia simpliciale e teoria delle categorie, offrendo nuovi strumenti per studiare la localizzazione e le proprietà omotopiche delle categorie.

In sintesi, il paper di Mann offre una "ricucitura" elegante della teoria dei colimiti in Cat, spostando il focus da costruzioni algebriche pesanti a una comprensione geometrica e combinatoria basata sulla struttura 2-dimensionale delle categorie e sulla teoria degli insiemi simpliciali.