Límite Proyectivo

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.