Limite Projective
Définition
La limite (projective) d'un système inverse d'objets muni de projections : un objet équipé de projections vers chaque terme qui est universel pour les applications se factorisant par des projections compatibles ; concrètement, ses éléments sont des suites d'éléments de termes cohérentes pour les morphismes de transition.