Limite Inductive

La colimite d'un système dirigé (souvent filtrant), aussi appelée limite directe ou inductive, qui produit un objet obtenu en recollant de façon cohérente les objets du système le long des morphismes de connexion et caractérisé par une propriété universelle pour les applications issues du système.