preadditive category

Short definition from Wiktionary

Noun

1. 1
   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.