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.

Prinzip

Einen kompatiblen Familienverband von Objekten entlang verbindender Morphismen zusammenfügen, indem Elemente identifiziert werden, die in späteren Stufen gleich werden, und so das kleinste Objekt erzeugen, das Abbildungen vom System empfängt und 'eventuelle' Kompatibilität kodiert anstatt gleichzeitige Kohärenz über alle Stufen.

Demonstration

Der direkte Limes einer wachsenden Kette von Vektorräumen V_1 ⊆ V_2 ⊆ V_3 mit Inklusionen ist die Vereinigung ∪ V_i mit der Vektorraumsstruktur des direkten Limes; ein Element des Limes ist ein Vektor, der aus einem V_i stammt, betrachtet modulo der durch die Inklusionen induzierten Identifikationen.

Fehlanwendung

Den direkten Limes einfach als naive disjunkte Vereinigung behandeln ohne Quotientierung durch die Identifikationsrelation, oder den direkten Limes mit Produkt oder Koprodukt verwechseln — die universelle Eigenschaft und die Identifikationen sind entscheidend und können algebraische Eigenschaften verändern.

Konsequenz

Direkte Limites liefern ein systematisches Verfahren, große Objekte aus gerichteten Systemen zu konstruieren, und kommutieren mit gewissen Funktoren (z. B. sind direkte Limites in Modul-Kategorien exakt), wodurch sie wesentlich für die Konstruktion induktiver Objekte und das Studium von Stabilitätsphänomenen über Stufen hinweg sind.

Umkehrung

Die duale Notion ist der inverse (projektive) Limes, der Kompatibilität durch Projektionen auf alle Stufen erzwingt anstatt durch Identifikation eventualer Bilder; wo direkte Limites vorwärts verkleben, verlangen inverse Limites rückwärtsgerichtete Kohärenz.

Abgrenzung

Erfordert eine gerichtete Indexpategorie (gefiltertes System) und morphismen, die die Richtung respektieren; nicht jeder Kolimes ist ein direkter Limes, und für große Systeme können setztheoretische oder Größenprobleme auftreten; welche Eigenschaften durch direkte Limites erhalten bleiben, hängt von der umgebenden Kategorie ab (z. B. kann Exaktheit in manchen Kategorien versagen).

Semantische Spannung

Der Begriff 'direkter Limes' wird oft mit 'gefiltertem Kolimes' oder 'induktivem Limes' gleichgesetzt; obwohl in vielen algebraischen Kategorien äquivalent, ist Vorsicht geboten in Kategorien, in denen gefilterte Kolimites von allgemeinen Kolimites abweichen oder in denen Indexierungskonventionen variieren.

Synthese

Ein direkter Limes ist das universelle Objekt, das durch Verklebung eines gerichteten Systems entlang seiner Abbildungen entsteht, sodass Elemente aus Stufen identifiziert werden, sobald sie später zusammenfallen; er fasst das eventuale Verhalten des Systems in einem einzigen induktiven Objekt zusammen.