2-Kategorie

Im mathematischen Gebiet der Kategorientheorie sind 2-Kategorien die einfachsten Beispiele höherer Kategorien.

Definition

Eine 2-Kategorie besteht aus einer Klasse von Objekten, einer Klasse von Morphismen zwischen Objekten und einer Klasse von Morphismen zwischen Morphismen.

Das heißt sowohl

als auch

bilden jeweils eine Kategorie.

Beispiele

für alle .
für alle .
für alle .

Literatur

Weblinks