Category of abelian groups

The category of abelian groups $\mathbf{Ab}$ has abelian groups as objects and additive maps $f:A\to B$, satisfying $f(x+y)=f(x)+f(y)$, as morphisms. Identities and composition are ordinary functions. Equivalently it is the full subcategory of groups on the abelian groups.