preadditive category
noun1
Mathematics, Sciences A category which is enriched over the category Ab of abelian groups; that is, each hom-set is equipped with an abelian group structure, and composition is distributive over the group operations of each hom-set.