Im mathematischen Teilgebiet der Kategorientheorie ist eine vollständige Kategorie eine Kategorie, die alle kleinen Limiten besitzt. Das heißt, dass für jede kleine Kategorie und jeden Funktor in der Kategorie der Limes von in existiert.Nlab: complete category, abgerufen am 3. Januar 2021.
Dual dazu heißt eine Kategorie kovollständig, falls sie alle kleinen Kolimiten besitzt.Nlab: cocomplete category, abgerufen am 3. Januar 2021. Das ist gleichbedeutend damit, dass die duale Kategorie vollständig ist.
Existieren alle Limiten (bzw. Kolimiten) für eine feste kleine Kategorie , so sagt man, sei -vollständig (bzw. -kovollständig).
Ist -vollständig (bzw. -kovollständig) für alle endlichen Kategorien , so nennt man endlich vollständig (bzw. endlich kovollständig).Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Definition 23.1
Beispiele
Die Kategorie aller Mengen ist vollständigNlab: complete category, examples, abgerufen am 3. Januar 2021. und kovollständigNlab: cocomplete category, examples, abgerufen am 3. Januar 2021.. Jede Kategorie algebraischer Strukturen mit endlichstelligen Verknüpfungen ist vollständig und kovollständig. Darunter fallen beispielsweise Gruppen, abelsche Gruppen, Ringe und kommutative Ringe. Ist ein Ring, so ist die Kategorie der -Linksmoduln vollständig und kovollständig. Die Kategorie aller topologischen Räume ist vollständig und kovollständig. Ist die Klasse aller Ordinalzahlen, so erhält man daraus eine Kategorie mit als Klasse der Objekte. Die Morphismen sind die bestehenden Relationen zwischen zwei Ordinalzahlen, d. h. ist eine einelementige Menge, falls , anderenfalls leer. Dann ist diese Kategorie kovollständig aber nicht vollständig.Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Beispiel 23.10 (1) Die Kategorie der endlichen Mengen ist endlich vollständig und endlich kovollständig, aber weder vollständig noch kovollständig. Es sei die kleine Kategorie mit zwei Objekten 0 und 1 und drei Morphismen, nämlich den beiden Identitäten und einem weiteren Morphismus . Dann ist jede Kategorie -vollständig.Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Beispiel 23.2 (1) Für die leere Kategorie gilt: Eine Kategorie ist genau dann -vollständig, wenn sie ein terminales Objekt besitzt. Ganz ähnlich kann man die Existenz von endlichen Produkten oder Pullbacks als geeignete -Vollständigkeiten beschreiben.Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Beispiel 23.2
Vollständigkeit und Kovollständigkeit In obiger Beispielliste fällt auf, dass Vollständigkeit und Kovollständigkeit für die gängigen Kategorien einhergehen, das Ausnahmebeispiel der Ordinalzahlen wirkt konstruiert. Tatsächlich besteht folgender enger Zusammenhang:Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Theorem 23.14
Sei eine vollständige Kategorie mit folgenden beiden Eigenschaften: Für jedes Objekt ist die Klasse der Unterobjekte (Isomorphieklassen von Monomorphismen mit Ziel ) eine Menge. hat einen Koseparator , das heißt zu je zwei verschiedenen Morphismen gibt es einen Morphismus mit . Dann ist kovollständig (und erfüllt auch die erste der Eigenschaften).
Einzelnachweise
Kategorie:Kategorientheorie