Limite Projective

L'objet universel (limite) d'un système inverse (aussi appelé système projectif) muni de projections vers chaque objet du système, constitué de tuples compatibles par les applications de transition et vérifiant une propriété universelle vis‑à‑vis des applications vers le système.