Induktiver Limes

Der Kolimes (direct limit) eines gerichteten Systems von Objekten und struktur-erhaltenden Abbildungen: ein Objekt zusammen mit kanonischen Abbildungen von jeder Stufe, universal bezüglich verträglicher Abbildungen vom System; Elemente werden als Äquivalenzklassen von Elementen aus einer gewissen Stufe unter eventualer Identifikation dargestellt.