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