2-Kategorie

höhere Form der Kategorie

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

Definition

Bearbeiten

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

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

Literatur

Bearbeiten
Bearbeiten