preadditive category

名词noun

1. 1(mathematics) 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.