preadditive category noun1 •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. formspreadditive categories
