ein Funktor mit zusätzlicher Eigenschaft.

Seien 𝒜 und ℬ additive Kategorien. Ein Funktor F heißt additiver Funktor, falls für alle X, Y ∈ 𝒜 die Funktorabbildung \begin{eqnarray}{F}_{X,Y}:\text{Mor}(X,Y)\to \text{Mor}(F(X),F(Y))\end{eqnarray}

ein Homomorphismus abelscher Gruppen ist.