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

Este artigo justifica e formaliza uma abordagem elementar para estabelecer a existência de colimites em $\mathbf{Cat}$, demonstrando a equivalência entre o functor da categoria homotópica e certos colimites ponderados, o que permite inferir a completude de $\mathbf{Cat}$ e reformular construções como equalizadores e localizações.

O essencial

Imagine que você é um arquiteto tentando construir um prédio gigante chamado Cat (a categoria de todas as categorias pequenas). O problema é que, para construir qualquer prédio, você precisa saber como juntar peças de forma segura. Em matemática, essas "peças" são chamadas de colimites (como colagens, uniões ou fusões de estruturas).

O artigo de Varinderjit Mann é como um manual de instruções que diz: "Ei, vocês estão complicando demais a construção desse prédio! Existe um jeito mais simples e inteligente de fazer isso, usando uma ferramenta que já conhecemos, mas que ninguém tinha usado dessa forma específica antes."

Aqui está a explicação do "segredo" do autor, traduzida para uma linguagem do dia a dia:

1. O Problema: Construir com "Massa de Modelar" vs. "Blocos de Lego"

Antes, os matemáticos tentavam provar que o prédio Cat era sólido (que tinha todos os colimites) tentando construir cada tipo de união manualmente, peça por peça. Era como tentar fazer uma escultura complexa apenas com massa de modelar, misturando tudo e esperando que a estrutura não caísse. Era trabalhoso, confuso e propenso a erros.

O autor diz: "Por que não usamos Lego?"

2. A Ferramenta Mágica: O "Nervo" e o "Realizador"

O autor usa duas ferramentas principais que funcionam como uma ponte entre dois mundos:

• O Mundo das Categorias (Cat): Onde vivemos com objetos e setas (funções) entre eles. É como um mapa de cidades e estradas.
• O Mundo dos Conjuntos Simpliciais (sSet): Um mundo de "massas" geométricas feitas de triângulos, tetraedros e suas peças. É como uma caixa de Lego infinita onde você pode montar qualquer forma.

A mágica acontece com duas funções (ferramentas):

1. O Nervo (N): Transforma uma cidade (categoria) em um modelo de Lego (conjunto simplicial). Ele pega as estradas e as cidades e as desenha como triângulos e linhas.
2. O Realizador (h): É o inverso. Ele pega um modelo de Lego e tenta transformá-lo de volta em uma cidade.

O Grande Truque:
O autor prova que, se você souber como transformar um modelo de Lego específico de volta em uma cidade (usando uma técnica chamada "colimite ponderado"), então você consegue construir qualquer cidade que desejar.

3. A Analogia da "Fotografia" e do "Filme"

Pense no Nervo como uma câmera que tira uma foto de uma cidade complexa e a transforma em um desenho 2D (o Lego).
Pense no Realizador como um projetor de filme que tenta transformar esse desenho 2D de volta em uma cidade 3D.

O problema antigo era: "Como garantimos que o projetor funciona para qualquer desenho?"
O autor descobriu que, na verdade, você não precisa projetar todos os desenhos de uma vez. Você só precisa garantir que o projetor funcione para desenhos muito simples (feitos apenas de linhas e triângulos pequenos).

4. O Segredo: A Regra dos "Triângulos" (Dimensão 2)

Aqui está a parte mais genial e simples do artigo:
O autor mostra que, para reconstruir qualquer cidade complexa a partir de seus "Lego", você só precisa prestar atenção em triângulos (dimensão 2).

• Imagine que você tem um monte de pontos (cidades) e linhas (estradas).
• Se você apenas juntar pontos e linhas, você tem uma "floresta" de estradas soltas.
• Mas, se você pegar um triângulo (onde a estrada A + estrada B = estrada C), você está criando uma regra de como as estradas se conectam.

O autor diz: "Não importa quão complexa seja a sua cidade, se você souber como lidar com os pontos, as linhas e os triângulos, você consegue reconstruir tudo."

Ele prova que, se você conseguir fazer essa "fusão" de triângulos (chamada de colimite ponderado no texto técnico), então você automaticamente consegue construir qualquer prédio matemático que precise.

5. O Resultado Final: Um Manual de Instruções Claro

Ao fazer isso, o autor consegue:

1. Provar que o prédio existe: Mostra que a categoria Cat é sólida e completa.
2. Dar um manual de construção: Em vez de fórmulas complicadas, ele dá um método passo a passo:
   • Pegue os pontos.
   • Junte as linhas (crie a estrutura livre).
   • Cole os triângulos (aplique as regras de composição).
   • Pronto! Você tem sua nova categoria.

Resumo em uma frase

O autor descobriu que, para montar qualquer estrutura matemática complexa, não precisamos tentar resolver tudo de uma vez; basta saber como juntar "triângulos" de informação corretamente, e o resto se encaixa sozinho como um quebra-cabeça perfeito.

Isso torna a matemática menos sobre "força bruta" e mais sobre entender a geometria básica das conexões entre as coisas.

Resumo técnico

Resumo Técnico: Revisiting Colimits in Cat and Homotopy Category

1. O Problema

O artigo aborda uma lacuna fundamental na literatura sobre teoria das categorias: a falta de uma prova direta, autocontida e não circular para a cocompletude da categoria $\mathbf{Cat}$ (a categoria de todas as categorias pequenas).

• Contexto Atual: A existência de limites e colimites em $\mathbf{Cat}$ é um resultado bem estabelecido. No entanto, as provas existentes geralmente dependem de duas abordagens problemáticas:
  1. Abordagem Monádica: Utiliza a teoria de categorias enriquecidas ($\mathbf{V}$-Cat) e funtores esquecidos para grafos, o que é considerado ineficiente e excessivamente geral para o caso específico de $\mathbf{Set}$.
  2. Construção de Coequalizadores: Apresenta construções explícitas de coequalizadores (como em [1] e [3]), que são tecnicamente intrincadas e difíceis de seguir.
• O Dilema Circular: Uma abordagem comum envolve o functor Nerve ($N: \mathbf{Cat} \to \mathbf{sSet}$) e sua adjunção à esquerda (o functor de Realização/Homotopia, $h$). Frequentemente, assume-se que $N$ é uma imersão refletiva para provar a cocompletude de $\mathbf{Cat}$. Contudo, a propriedade de ser refletiva depende da existência de colimites em $\mathbf{Cat}$, criando um argumento circular se não for provado independentemente.
• Objetivo: O autor busca fornecer uma prova elementar e explícita da existência da adjunção $h \dashv N$ sem assumir a cocompletude prévia de $\mathbf{Cat}$, demonstrando assim a completude e cocompletude de forma direta.

2. Metodologia

A abordagem proposta por Mann baseia-se na interação entre categorias, conjuntos simpliciais ($\mathbf{sSet}$) e colimites ponderados (weighted colimits).

• Colimites Ponderados: Em vez de construir todos os coequalizadores diretamente, o autor reduz o problema à existência de uma classe específica de colimites ponderados da forma $X \star [-]$, onde $X$ é um conjunto simplicial e $[-]: \mathbf{\Delta} \hookrightarrow \mathbf{Cat}$ é a inclusão dos simpleses ordenados.
• Filtragem Esqueletal: O autor explora a estrutura de dimensão dos conjuntos simpliciais. Utiliza-se o fato de que o functor Nerve é 2-cosquelético (ou seja, a informação de uma categoria é totalmente capturada por seus 0, 1 e 2-simples).
• Construção Indutiva: A prova da existência dos colimites $X \star [-]$ é feita através da filtragem esqueletal de $X$ ($sk_0 X \to sk_1 X \to sk_2 X \to X$). O autor demonstra que a existência do colimite para $X$ depende apenas da existência de colimites para os estágios esqueletais e de certos pushouts (empurrões) específicos.
• Construção Explícita de Pushouts:
  • O estágio $sk_1 X \star [-]$ corresponde à construção de uma categoria livre gerada pelos 1-simples de $X$.
  • O estágio $sk_2 X \star [-]$ corresponde à quociente dessa categoria livre pelas relações de composição impostas pelos 2-simples de $X$.

3. Principais Contribuições e Resultados

A. Equivalência entre Adjuntos e Colimites Ponderados
O artigo estabelece a seguinte proposição fundamental:

A categoria $\mathbf{Cat}$ é cocompleta se e somente se, para todo conjunto simplicial $X \in \mathbf{sSet}$, o colimite ponderado $X \star [-]$ existir.

Isso reduz o problema global de cocompletude à existência de uma classe manejável de colimites.

B. Existência Construtiva dos Colimites $X \star [-]$
O autor prova que esses colimites existem explicitamente:

1. Redução ao 2-Esqueleto: Demonstra-se que $X \star [-] \cong sk_2(X) \star [-]$. Portanto, basta considerar conjuntos simpliciais 2-esqueletais.
2. Construção via Pushouts:
   • O colimite é construído como um pushout de diagramas que envolvem coprodutos de simpleses e suas fronteiras.
   • Define-se explicitamente o functor de Realização $h(X)$ como o resultado de:
     1. Construir a categoria livre $F_X$ sobre os vértices e arestas de $X$.
     2. Quocientar $F_X$ pela relação de equivalência gerada pelos 2-simples de $X$ (onde $g \circ f \sim h$ se houver um 2-simplex preenchendo o triângulo $f, g, h$).
3. Prova da Adjunção: Com a existência de $h(X)$ estabelecida, prova-se que $h$ é o adjunto à esquerda do functor Nerve $N$.

C. Imersão Refletiva e Completude

• Uma vez estabelecida a adjunção $h \dashv N$, e sabendo que $N$ é fiel e plena (prova-se via a propriedade de extensão da espinha - spine extension property), conclui-se que $N$ é uma imersão refletiva.
• Pelo teorema padrão de imersões refletivas, isso implica que $\mathbf{Cat}$ é tanto completa quanto cocompleta.
• Os limites e colimites em $\mathbf{Cat}$ são calculados explicitamente como $h(\lim N \circ F)$ e $h(\text{colim } N \circ F)$.

D. Reformulação de Coequalizadores e Localizações

• Coequalizadores: O artigo fornece uma descrição explícita e mais acessível dos coequalizadores em $\mathbf{Cat}$, evitando as complexidades das congruências generalizadas tradicionais. O coequalizador é obtido calculando o coequalizador no nível dos conjuntos simpliciais (nível a nível em $\mathbf{Set}$) e aplicando o functor $h$.
• Localização: A construção de localizar uma categoria (inverter morfismos) é reformulada usando pushouts na categoria de conjuntos simpliciais e aplicando $h$. Isso fornece uma descrição concreta de localizações totais e relativas (para classes específicas de morfismos).

4. Significado e Implicações

• Clareza Conceitual: O trabalho oferece uma prova "elementar" no sentido de que evita a maquinaria pesada de categorias enriquecidas ou construções de congruências complexas, focando na estrutura combinatória dos conjuntos simpliciais e na teoria de colimites ponderados.
• Não Circularidade: Resolve o problema de circularidade ao provar a existência da adjunção $h \dashv N$ independentemente da cocompletude de $\mathbf{Cat}$.
• Generalidade Limitada, mas Profundidade Específica: O autor reconhece que a abordagem depende fortemente da estrutura adicional de $\mathbf{Set}$ (especificamente a existência do simplex category $\mathbf{\Delta}$ e suas propriedades) e não se generaliza trivialmente para categorias enriquecidas arbitrárias ($\mathbf{V}$-Cat). No entanto, para o caso clássico de $\mathbf{Cat}$, a prova é mais transparente e computacionalmente tratável.
• Ferramentas Computacionais: As fórmulas explícitas para $h(X)$ (via categorias livres e quocientes por 2-células) fornecem uma ferramenta prática para calcular colimites em $\mathbf{Cat}$, que são frequentemente difíceis de manipular diretamente.

Em suma, o artigo de Varinderjit Mann reestabelece a cocompletude de $\mathbf{Cat}$ através de uma perspectiva geométrica e combinatória, utilizando a ponte entre $\mathbf{Cat}$ e $\mathbf{sSet}$ para simplificar e explicitar construções que anteriormente eram consideradas técnicas ou obscuras.