Diskrete Kategorie
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Discrete_category.svg/220px-Discrete_category.svg.png)
Im mathematischen Teilgebiet der Kategorientheorie ist eine diskrete Kategorie eine besonders triviale Kategorie. Eine Kategorie heißt genau dann diskret, wenn sie nur aus Objekten (und, falls man dazwischen unterscheidet, ihren jeweiligen identischen Morphismen) besteht. Mitunter werden zudem Kategorien, die äquivalent zu einer solchen Kategorie sind, zugelassen. Bei manchen Konstruktionen bilden diskrete Kategorien einen wichtigen Spezialfall. Eine Kategorie ist genau dann diskret, wenn sie zugleich Gruppoid und partielle Ordnung ist.
Funktoren
[Bearbeiten | Quelltext bearbeiten]Jede Abbildung zwischen zwei diskreten Kategorien ist ein Funktor. Somit lässt sich die Kategorie der Mengen in die Kategorie der (kleinen) Kategorien mittels eines volltreuen Funktors einbetten, der jeder Menge die diskrete Kategorie, bestehend aus den Elementen der Menge als Objekte, zuordnet.
Produktkategorie
[Bearbeiten | Quelltext bearbeiten]Für eine diskrete (kleine) Kategorie und eine beliebige Kategorie ist die Kategorie der Funktoren von nach mit natürlichen Transformationen als Morphismen nichts anderes als die Produktkategorie .[1]
Produkte und Koprodukte
[Bearbeiten | Quelltext bearbeiten]Das Produkt einer Familie von Objekten (falls es existiert) in einer Kategorie ist der Spezialfall des allgemeines Limesbegriffs: Es ist gerade der Limes des Funktors , wobei als diskrete Kategorie aufgefasst wird. Dual dazu ist das Koprodukt jener Familie von Objekten (falls es existiert) der Kolimes dieses Funktors.[2]
Weblinks
[Bearbeiten | Quelltext bearbeiten]- discrete category, Eintrag im nLab. (englisch)
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Saunders Mac Lane und Ieke Moerdijk: Sheaves in Geometry and Logic. A First Introduction to Topos Theory. Springer, New York 1992, ISBN 0-387-97710-4, S. 27–28.
- ↑ Saunders Mac Lane: Categories for the Working Mathematician. 2. Auflage. Springer, New York 1998, ISBN 0-387-98403-8, S. 64, 69.