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

Este artículo justifica y formaliza un enfoque elemental para establecer la existencia de límites y colímites en $\mathbf{Cat}$, demostrando su equivalencia con la existencia del functor de categoría homotópica y construyendo explícitamente colímites ponderados para reformular la construcción de coigualadores y localizaciones.

Lo esencial

Imagina que el mundo de las matemáticas tiene dos grandes ciudades: Cat, la ciudad de las "Categorías" (que son como mapas complejos con reglas de viaje), y sSet, la ciudad de los "Conjuntos Simpliciales" (que son como bloques de construcción geométricos: puntos, líneas, triángulos, tetraedros, etc.).

El problema que resuelve este artículo es como intentar construir un puente entre estas dos ciudades. Los matemáticos sabían que podían viajar de una a la otra, pero no tenían una receta clara y sencilla para construir el puente completo sin caer en un círculo vicioso (usar el puente para construir el puente).

Aquí te explico la solución de Varinderjit Mann usando analogías cotidianas:

1. El Problema: Construir un Mapa sin el Mapa

Imagina que quieres construir una ciudad nueva (Cat) y sabes que puedes hacerla si tienes una máquina mágica que convierte bloques de Lego (sSet) en edificios (Cat).

• El problema es que, para saber si tu máquina funciona bien, necesitas saber si la ciudad ya está completa.
• Pero para saber si la ciudad está completa, necesitas que la máquina funcione.
• ¡Es un círculo vicioso! Los libros antiguos decían "así es, confía en nosotros", pero no explicaban cómo hacerlo paso a paso sin asumir lo que querían probar.

2. La Solución: El "Filtro de Espinas" (Spine Extension)

El autor dice: "No necesitamos construir toda la ciudad de golpe. Solo necesitamos construir una versión simplificada".

Imagina que tienes un dibujo muy complejo de una ciudad hecho en papel (sSet).

• La idea clave: En lugar de intentar entender todo el dibujo a la vez, el autor nos dice que solo necesitamos mirar las "espinas" o los bordes principales (las líneas que conectan los puntos).
• En matemáticas, esto se llama la propiedad de "extensión de espina". Básicamente, si puedes conectar los puntos y las líneas principales correctamente, el resto del dibujo (los triángulos y triángulos más grandes) se "rellena solo" automáticamente.
• La analogía: Es como armar un mueble de IKEA. No necesitas ver el mueble terminado para saber si encaja; solo necesitas asegurarte de que los tornillos y las tablas principales (la "espina") estén bien. Si eso funciona, el mueble se construye solo.

3. El Proceso: De Bloques a Edificios (Colímites Ponderados)

El autor utiliza una herramienta llamada "colímites ponderados". Suena muy técnico, pero es como una receta de cocina:

• Tienes ingredientes (los bloques de Lego).
• Tienes una receta (el "peso" o la instrucción de cómo unirlos).
• La receta te dice: "Toma estos tres triángulos, pégalos por aquí, y luego une esos dos puntos".

El autor demuestra que si sigues esta receta paso a paso (primero uniendo puntos, luego líneas, luego triángulos), siempre obtienes un edificio válido en la ciudad Cat. No importa cuán complejo sea el dibujo original, si sigues la receta de las "espinas", el resultado siempre existe y es correcto.

4. El Resultado: Un Puente de Dos Vías

Al demostrar que esta receta funciona siempre, el autor logra dos cosas increíbles:

1. La ciudad existe: Ahora sabemos con certeza que la ciudad de las Categorías (Cat) es completa y puede construirse de cualquier forma que necesitemos.
2. El puente es perfecto: Hemos encontrado una máquina (llamada Realización o h) que convierte cualquier bloque de Lego en un edificio, y otra máquina (llamada Nervio o N) que convierte un edificio en un plano de Lego.
   • Lo mejor es que estas máquinas son espejos perfectos: Si conviertes un edificio a plano y luego lo vuelves a convertir en edificio, obtienes exactamente el mismo edificio.

5. ¿Por qué es útil esto? (Coequalizadores y Localización)

El paper también nos da herramientas para resolver problemas específicos, como:

• Coequalizadores: Imagina que tienes dos caminos diferentes entre dos ciudades y quieres decir "ambos caminos son lo mismo". El autor nos da una forma sencilla de fusionar esos caminos sin crear caos.
• Localización: Imagina que quieres que ciertos caminos en tu ciudad se vuelvan "caminos de ida y vuelta" (inversibles). El autor explica cómo "romper" las reglas de tráfico en esos caminos específicos para que puedas ir y volver libremente, creando una nueva versión de la ciudad donde esas reglas han cambiado.

En Resumen

Este artículo es como un manual de instrucciones que finalmente explica cómo construir un edificio complejo (Categorías) usando solo bloques simples (Geometría), sin tener que asumir que el edificio ya existe.

El autor nos dice: "No te preocupes por la complejidad total. Solo mira las líneas principales (las espinas), sigue la receta de unión, y verás que el edificio se construye solo, sólido y perfecto". Esto hace que una parte muy abstracta de las matemáticas sea más clara, lógica y accesible para cualquiera que sepa armar un rompecabezas.

Resumen técnico

Resumen Técnico: Revisión de Colímites en Cat y la Categoría de Homotopía

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de categorías: la justificación rigurosa y la construcción explícita de la cocompletitud del categoría de categorías pequeñas ($\mathbf{Cat}$).

• Contexto: Es un resultado conocido que $\mathbf{Cat}$ es cocompleta. Sin embargo, las demostraciones existentes en la literatura (como las de [2] y [11]) suelen depender de la monadicidad de la functor de olvido hacia grafos en el contexto de categorías enriquecidas ($V$-Cat), lo cual introduce una complejidad innecesaria al no aprovechar la estructura rica de la categoría de conjuntos ($\mathbf{Set}$).
• La Trampa Circular: Una demostración más elemental y directa sugerida en la literatura implica que la functor de nervio $N: \mathbf{Cat} \to \mathbf{sSet}$ es un encaje reflexivo. Sin embargo, la propiedad de ser reflexivo depende de la existencia de ciertos colímites en $\mathbf{Cat}$, lo que crea un argumento circular si se asume la cocompletitud para probar la reflexividad.
• La Brecha: El autor señala que no existe una prueba directa y autocontenida en la literatura que establezca la existencia de este encaje reflexivo sin asumir previamente la cocompletitud de $\mathbf{Cat}$ o construir coequalizadores complejos (como en [1] y [3]).

2. Metodología

El autor propone un enfoque elemental basado en la relación entre las categorías y los conjuntos simpliciales, utilizando herramientas de teoría de categorías avanzada pero aplicadas de manera computable.

• Herramientas Principales:

  • Colímites Ponderados (Weighted Colimits): Se utilizan como herramienta central para expresar y estudiar una clase restringida de colímites.
  • Construcción de Grothendieck (Categoría de Elementos): Para relacionar pesos con límites ordinarios.
  • Extensión de Kan Puntual: Para caracterizar la existencia de adjuntos.
  • Filtración Esqueletal: Se aprovecha la estructura de los conjuntos simpliciales, específicamente que la información esencial de un nervio es 2-dimensional.

• Estrategia de Prueba:

  1. Reducir la cocompletitud de $\mathbf{Cat}$ a la existencia de una clase específica de colímites ponderados de la forma $X \star [-]$, donde $X \in \mathbf{sSet}$ y $[-]: \Delta \hookrightarrow \mathbf{Cat}$ es la inclusión de la categoría simplex.
  2. Demostrar que la existencia del adjunto izquierdo $h$ (categoría de homotopía) es equivalente a la existencia de estos colímites.
  3. Utilizar la filtración 2-esqueletal de los conjuntos simpliciales. El autor demuestra que es suficiente probar la existencia de colímites para conjuntos simpliciales 2-esqueletales ($sk_2 X$), ya que el nervio es 2-cosqueletal.
  4. Construir explícitamente estos colímites mediante diagramas de pushout (empujes) que involucran coproductos y relaciones de equivalencia generadas por 2-símplices.

3. Contribuciones Clave y Resultados Principales

A. Equivalencia entre Adjunción y Colímites

El artículo establece la siguiente proposición fundamental:

La categoría $\mathbf{Cat}$ es cocompleta si y solo si para todo conjunto simplicial $X \in \mathbf{sSet}$, el colímite ponderado $X \star [-]$ existe.

Esto reduce el problema global de cocompletitud a la existencia de una familia de colímites específicos.

B. Construcción Explícita del Adjunto Izquierdo ($h$)

El autor construye explícitamente el functor de categoría de homotopía $h: \mathbf{sSet} \to \mathbf{Cat}$, que es el adjunto izquierdo de la functor de nervio $N$.

• Mecanismo de Construcción:
  1. Paso 0 (Objetos): Se toma el conjunto de 0-símplices $X_0$.
  2. Paso 1 (Categoría Libre): Se construye una categoría libre $F_X$ sobre los 1-símplices no degenerados de $X$. Esto corresponde al pushout que genera la categoría libre sobre el grafo subyacente.
  3. Paso 2 (Cociente por Homotopía): Se define un functor $h_X$ como el cociente de $F_X$ por una relación de equivalencia generada por los 2-símplices no degenerados de $X$. Específicamente, si un 2-símplice conecta $f, g, h$ (donde $h$ es la composición de $f$ y $g$), se impone la relación $g \circ f \sim h$.
• Resultado: Se demuestra que $X \star [-] \cong h_X$, probando así la existencia de estos colímites para todo $X$.

C. Demostración de la Reflexividad y Completitud

Al probar la existencia de $h$, se establece que:

1. La functor de nervio $N: \mathbf{Cat} \to \mathbf{sSet}$ es un encaje reflexivo.
2. Como consecuencia directa de la teoría de encajes reflexivos, $\mathbf{Cat}$ es tanto completa como cocompleta.
3. Se proporcionan fórmulas explícitas para calcular límites y colímites en $\mathbf{Cat}$ utilizando la adjunción $h \dashv N$:
   • $\text{colim } F \cong h(\text{colim } N \circ F)$
   • $\text{lim } F \cong h(\text{lim } N \circ F)$

D. Aplicaciones Específicas

El autor reformula construcciones complejas utilizando este marco:

• Coequalizadores: Se ofrece una descripción explícita de los coequalizadores en $\mathbf{Cat}$ evitando la construcción intrincada de congruencias generalizadas. Se describen como la categoría libre sobre el coequalizador de los nervios (nivel 1) módulo las relaciones inducidas por los 2-símplices.
• Localización: Se reformula la construcción de la localización de una categoría (inversión de morfismos) como un pushout en $\mathbf{sSet}$ seguido de la aplicación de $h$. Esto permite describir la localización total y relativa (para clases marcadas de morfismos) de manera más accesible.
• Adjunciones Compuestas: Se derivan cuádruplas de adjuntos entre $\mathbf{Cat}$ y $\mathbf{Set}$ (categorías discretas, indiscretas, etc.) a partir de la adjunción $h \dashv N$ y las adjunciones esqueletales en $\mathbf{sSet}$.

4. Significado e Implicaciones

• Clarificación Conceptual: El paper elimina la ambigüedad y el argumento circular que a menudo rodea la demostración de la cocompletitud de $\mathbf{Cat}$ en la literatura estándar. Proporciona una prueba "de abajo hacia arriba" que no asume la existencia de colímites complejos para probar la reflexividad.
• Simplificación Computacional: Al reducir la construcción de colímites en $\mathbf{Cat}$ a operaciones en conjuntos simpliciales (que son computables nivel por nivel) y luego aplicar la functor $h$, se ofrece un método más manejable para calcular límites y colímites en categorías.
• Enfoque Elemental: A diferencia de las pruebas que dependen de la teoría de categorías enriquecidas ($V$-Cat), este enfoque explota la estructura específica de $\mathbf{Set}$ y la dimensión 2 de los nervios, haciendo el resultado más accesible y directo.
• Generalización Limitada: El autor nota honestamente que este enfoque específico no se generaliza inmediatamente a categorías enriquecidas arbitrarias, ya que estas carecen de una categoría simplex canónica bien comportada como $\Delta \hookrightarrow \mathbf{Cat}$. Esto resalta la importancia de la estructura adicional de $\mathbf{Set}$.

En resumen, el artículo proporciona una justificación rigurosa, explícita y no circular de la cocompletitud de $\mathbf{Cat}$, vinculándola directamente a la existencia de colímites ponderados en el contexto de la adjunción entre categorías y conjuntos simpliciales, y ofreciendo nuevas herramientas para el cálculo de coequalizadores y localizaciones.