La colímite de un sistema dirigido (a menudo filtrado), también llamada límite directo o inductivo, que produce un objeto obtenido al unir coherentemente los objetos del sistema a lo largo de los morfismos de conexión y que se caracteriza por una propiedad universal de mapeo para mapas que salen del sistema.

Principio

Pegar los objetos de un diagrama dirigido a lo largo de los mapas de transición especificados, identificando libremente los elementos que son imágenes unos de otros bajo los morfismos de conexión; el límite inductivo es el objeto más pequeño que recibe mapas compatibles desde el sistema y es universal con esa propiedad.

Demostración

Un ejemplo elemental en álgebra: tomar espacios vectoriales V_n = k^n con las inclusiones estándar i_n: k^n ↪ k^{n+1} (añadiendo una coordenada cero); el límite directo es el espacio de sucesiones de longitud finita (la unión de las imágenes), es decir, la unión numerable de estos espacios de dimensión finita con la estructura de colímite.

Aplicación incorrecta

Confundir límites inductivos con uniones en sentido de conjuntos sin considerar las identificaciones impuestas por los morfismos, o asumir que propiedades topológicas o categóricas pasan al límite sin verificar (por ejemplo, completitud, propiedad de Hausdorff en colímites topológicos).

Consecuencia

Se obtienen inyecciones canónicas de cada etapa en la colímite y una propiedad universal: cualquier familia compatible de mapas desde las etapas hacia otro objeto se factoriza de forma única a través del límite inductivo, lo que permite construcciones por aproximación sucesiva o unión.

Inversión

La noción dual es el límite proyectivo (inverso): mientras los límites inductivos fusionan etapas identificándolas a lo largo de los morfismos, los límites proyectivos seleccionan familias compatibles que satisfacen simultáneamente todas las restricciones de transición.

Límite

Existen en cualquier categoría cocompleta; en categorías enriquecidas o topológicas se requiere precaución adicional porque las colímites pueden no preservar finitud, compacidad o propiedades de separación, y las colímites topológicas pueden tener topologías cociente sutiles.

Tensión semántica

Hay tensión entre entender un límite inductivo como una colímite categórica (propiedad universal) y como una unión creciente (construcción concreta), lo que puede causar confusión cuando las identificaciones no son triviales o cuando hay que considerar estructura adicional (topología, convergencia).

Síntesis

Un límite inductivo es el objeto colímite formado al unir coherentemente una familia dirigida de objetos a lo largo de morfismos de conexión: concretamente una unión con identificaciones y, abstracción, un receptor universal de mapas compatibles, usado para construir objetos grandes a partir de piezas sucesivas.