Kategorien/Kovarianter Funktor/Definition

Kovarianter Funktor

Es seien ${}{\mathcal {C}}$ und ${}{\mathcal {D}}$ Kategorien. Ein kovarianter Funktor ${}F$ von ${}{\mathcal {C}}$ nach ${}{\mathcal {D}}$ ist eine Zuordnung, die jedem Objekt  ${}M\in {\mathcal {C}}$  ein Objekt  ${}F(M)\in {\mathcal {D}}$  und jedem Morphismus ${}\varphi \colon M\rightarrow N$ einen Morphismus ${}F(\varphi )\colon F(M)\rightarrow F(N)$ zuordnet, wobei die folgenden Bedingungen erfüllt sind.

1. Zu Objekten  ${}L,M,N\in {\mathcal {C}}$  und Morphismen ${}\varphi \colon L\rightarrow M$ und ${}\psi \colon M\rightarrow N$ ist

   ${}F(\psi \circ \varphi )=F(\psi )\circ F(\varphi )\,.$

2. Es ist

   ${}F(\operatorname {Id} _{M})=\operatorname {Id} _{F(M)}\,$

   für jedes Objekt ${}M$ aus ${}{\mathcal {C}}$.