working on the category of abelian groups

as an example of an additive category