Pfeilkategorie

Pfeilkategorien sind eine Konstruktion aus dem mathematischen Teilgebiet der Kategorientheorie. Zu jeder Kategorie <math>\mathcal{C}</math> existiert die Pfeilkategorie <math>\mathcal{C}^{\mathbf{2}}</math> (oder <math>[\mathbf{2}, \mathcal{C}]</math> oder <math>\mathcal{C}^{\rightarrow}</math>), ihre Objekte sind die Morphismen aus <math>\mathcal{C}</math>, ihre Morphismen sind kommutative Quadrate.

Konkrete Definition

Sei <math>\mathcal{C}</math> eine Kategorie. Die Objekte in der Kategorie <math>\mathcal{C}^{\mathbf{2}}</math> sind die Morphismen aus <math>\mathcal{C}</math>. Ein Morphismus <math>(\varphi, \psi)</math> zwischen den Objekten <math>f</math> und <math>g</math> in der Pfeilkategorie ist dann durch das kommutative Quadrat

Datei:Commutative square 2.svg

gegeben, wobei die Komposition durch vertikale Verkettung dieser Diagramme erfolgt.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Als Funktorkategorie

Sei <math>\mathbf{2}</math> eine Kategorie bestehend aus zwei Objekten und einem Morphismen zwischen ihnen (angedeutet durch das Diagramm <math>0\to 1</math>). So ist die Pfeilkategorie zu <math>\mathcal{C}</math> definiert als Funktorkategorie aller Funktoren von <math>\mathbf{2}</math> nach <math>\mathcal{C}</math> mit natürlichen Transformationen als Morphismen. Der Diagonalfunktor erlaubt eine volltreue Einbettung von <math>\mathcal{C}</math> in diese Kategorie.<ref>Mac Lane, Moerdijk, S. 27</ref>

Als Kommakategorie

Die Pfeilkategorie lässt sich als Kommakategorie <math>(id_{\mathcal{C}} \downarrow id_{\mathcal{C}})</math> definieren, wobei <math>id_{\mathcal{C}}</math> den identischen Funktor auf <math>\mathcal{C}</math> bezeichne.

Volle Unterkategorien

Oft betrachtet man auch volle Unterkategorien der Pfeilkategorie zu einer Kategorie, d. h. man beschränkt sich auf bestimmte Morphismen, welche man als Objekte auswählt. In der Topologie etwa definiert man die Kategorie der Raumpaare als die volle Unterkategorie von <math>\mathbf{Top}^{\mathbf{2}}</math>, welche nur die Einbettungen (das sind gerade die extremen Monomorphismen) als Objekte besitzt. In Homologietheorien gemäß der Eilenberg-Steenrod-Axiome bilden die relativen Homologiefunktoren Funktoren auf dieser Kategorie der Raumpaare.

Weblinks

• arrow category, Eintrag im nLab. (englisch)

Einzelnachweise

<references />