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

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.