Kontravarianter Funktor/Additive Kategorie/Additiv/Definition

Additiver Funktor

Es seien ${}{\mathcal {A}}$ und ${}{\mathcal {B}}$ additive Kategorien. Ein kontravarianter Funktor ${}F\colon {\mathcal {A}}\rightarrow {\mathcal {B}}$ heißt additiv, wenn für Objekte ${}G,H\in {\mathcal {A}}$ die Abbildungen

$\operatorname {Mor} {\left(G,H\right)}\longrightarrow \operatorname {Mor} {\left(F(H),F(G)\right)},\,\varphi \longmapsto F(\varphi ),$

Gruppenhomomorphismen sind.