Diskrete Kategorie

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.

Bildhafte Darstellung einer diskreten Kategorie bestehend aus fünf Objekten.

Funktoren

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

Für eine diskrete (kleine) Kategorie $I$ und eine beliebige Kategorie ${\mathcal {C}}$ ist die Kategorie ${\mathcal {C}}^{I}$ der Funktoren von $I$ nach ${\mathcal {C}}$ mit natürlichen Transformationen als Morphismen nichts anderes als die Produktkategorie $\textstyle \prod _{i\in I}{\mathcal {C}}$ .[1]

Produkte und Koprodukte

Das Produkt einer Familie von Objekten $(X_{i})_{i\in I}$ (falls es existiert) in einer Kategorie ${\mathcal {C}}$ ist der Spezialfall des allgemeines Limesbegriffs: Es ist gerade der Limes des Funktors $I\to {\mathcal {C}},i\mapsto X_{i}$ , wobei $I$ als diskrete Kategorie aufgefasst wird. Dual dazu ist das Koprodukt jener Familie von Objekten (falls es existiert) der Kolimes dieses Funktors.[2]

Weblinks

discrete category, Eintrag im nLab. (englisch)

Einzelnachweise

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.

[1] 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.

[2] Saunders Mac Lane: Categories for the Working Mathematician. 2. Auflage. Springer, New York 1998, ISBN 0-387-98403-8, S. 64, 69.