Definition 12.3.1. A category $\mathcal{A}$ is called *preadditive* if each morphism set $\mathop{Mor}\nolimits _\mathcal {A}(x, y)$ is endowed with the structure of an abelian group such that the compositions

are bilinear. A functor $F : \mathcal{A} \to \mathcal{B}$ of preadditive categories is called *additive* if and only if $F : \mathop{Mor}\nolimits (x, y) \to \mathop{Mor}\nolimits (F(x), F(y))$ is a homomorphism of abelian groups for all $x, y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$.

## Comments (0)

There are also: