Induktiver Limes

Die Kolimes eines gerichteten (oft filtrierten) Systems, auch direkte oder induktive Limes genannt, erzeugt ein Objekt, das durch kohärentes Zusammenfügen der Systemobjekte entlang der verbindenden Morphismen entsteht und durch eine universelle Eigenschaft für Abbildungen aus dem System charakterisiert ist.