Límite Proyectivo

El límite (proyectivo) de un sistema inverso de objetos con mapas de proyección: un objeto equipado con proyecciones a cada etapa que es universal para aplicaciones que factoricen por proyecciones compatibles; concretamente, sus elementos son secuencias de elementos de las etapas coherentes bajo los mapas de transición.