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.

Prinzip

Die Objekte eines gerichteten Diagramms entlang der angegebenen Übergangsmorphismen zusammenkleben, wobei Elemente, die zueinander Bilden sind, frei identifiziert werden; der induktive Limes ist das kleinste Objekt, das kompatible Abbildungen vom System empfängt und universell dafür ist.

Demonstration

Ein einfaches Beispiel in der Algebra: V_n = k^n mit den Standardeinbettungen i_n: k^n ↪ k^{n+1} (Anhängen einer Nullkoordinate). Der direkte Limes ist der Vektorraum endlicher Folgen (die Vereinigung der Bilder), also die abzählbare Vereinigung dieser endlichdimensionalen Räume mit der Kolimes-Struktur.

Fehlanwendung

Induktive Limiten mit mengenmäßigen Vereinigungen verwechseln, ohne die durch Morphismen vorgeschriebenen Identifikationen zu beachten, oder annehmen, dass topologische oder kategoriale Eigenschaften ohne Prüfung auf den Limes übergehen (z. B. Vollständigkeit, Hausdorff‑Eigenschaft bei topologischen Kolimiten).

Konsequenz

Man erhält kanonische Injektionen jeder Stufe in die Kolimes und eine universelle Eigenschaft: Jede kompatible Familie von Abbildungen von den Stufen in ein anderes Objekt faktorisiert eindeutig durch den induktiven Limes, was Konstruktionen durch sukzessive Approximation oder Vereinigung ermöglicht.

Umkehrung

Die duale Notion ist der projektive (inverse) Limes: Während induktive Limiten Stufen entlang der Morphismen frei zusammenfügen und identifizieren, wählen projektive Limiten kompatible Familien aus, die alle Übergangsbedingungen zugleich erfüllen.

Abgrenzung

Existiert in jeder kokompletten Kategorie; in angereicherten oder topologischen Kategorien ist zusätzliche Vorsicht geboten, weil Kolimiten Finitheit, Kompaktheit oder Trennungseigenschaften nicht erhalten können und topologische Kolimiten subtile Quotientstopologien aufweisen können.

Semantische Spannung

Spannung besteht zwischen der Auffassung des induktiven Limes als kategoriale Kolimes (universelle Eigenschaft) und als wachsender Vereinigung (konkrete Konstruktion), was zu Verwirrung führen kann, wenn Identifikationen nicht trivial sind oder zusätzliche Strukturen berücksichtigt werden müssen.

Synthese

Ein induktiver Limes ist das Kolimesobjekt, das durch kohärentes Zusammenfügen einer gerichteten Familie von Objekten entlang verbindender Morphismen entsteht: konkret eine explizite Vereinigung mit Identifikationen und abstrakt ein universeller Empfänger kompatibler Abbildungen, genutzt um große Objekte aus sukzessiven Stücken aufzubauen.