El objeto universal (límite) de un sistema inverso (también llamado sistema proyectivo), equipado con aplicaciones de proyección hacia cada objeto del sistema, consistente en tuplas compatibles bajo las aplicaciones de enlace y que satisface una propiedad universal frente a mapas hacia el sistema.

Principio

Ensamblar objetos indexados por un diagrama dirigido (a menudo cofiltrado) con mapas de transición y tomar el subconjunto del producto formado por familias que conmutan con todas las transiciones; caracterizar el resultado por la propiedad universal de mapeo para conos procedentes de cualquier otro objeto.

Demostración

Un ejemplo central es el límite proyectivo del sistema Z/p^nZ con las aplicaciones de reducción, que produce el anillo de los enteros p-ádicos Z_p; los elementos de Z_p son sucesiones (a_n) con a_{n+1} ≡ a_n (mod p^n) y las proyecciones proporcionan las reducciones compatibles.

Aplicación incorrecta

Confundir límites proyectivos con límites directos, o formar un 'límite' sin imponer la compatibilidad de componentes bajo los mapas de enlace; otro error es suponer que los límites categóricos preservan propiedades (como exactitud o compacidad) en todos los contextos sin comprobar hipótesis adicionales.

Consecuencia

Se obtiene un objeto con aplicaciones de proyección canónicas a cada objeto del sistema y una propiedad universal: cualquier otro objeto que se mapee de forma compatible al sistema se factoriza de manera única a través del límite proyectivo. Esto codifica soluciones simultáneas a todas las restricciones a nivel finito.

Inversión

La noción dual categórica es el límite inductivo (colímite): mientras los límites proyectivos imponen compatibilidad simultánea entre etapas, los límites inductivos pegan libremente las etapas a lo largo de los morfismos y satisfacen una propiedad universal de colímite.

Límite

Existen en cualquier categoría completa, pero el comportamiento concreto depende de la categoría ambiente; en contextos topológicos o algebraicos, la estructura adicional (topología, exactitud) puede no preservarse por el límite salvo que se cumplan condiciones adicionales (por ejemplo, Mittag‑Leffler, compacidad).

Tensión semántica

Surge tensión entre ver el límite proyectivo como un subobjeto de un producto (perspectiva concreta) y como una propiedad universal (perspectiva abstracta); estas visiones enfatizan distintos aspectos computacionales y conceptuales.

Síntesis

Un límite proyectivo es el objeto que parametriza familias compatibles en un sistema inverso: puede realizarse como un subconjunto del producto que satisface las restricciones de enlace y se caracteriza abstractamente por una propiedad universal de factorización, capturando la idea de resolver simultáneamente todas las compatibilidades a nivel finito.