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

$\mathop{Mor}\nolimits (x, y) \times \mathop{Mor}\nolimits (y, z) \longrightarrow \mathop{Mor}\nolimits (x, z)$

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})$.

There are also:

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).