preadditive category
English
Noun
preadditive category (plural preadditive categories)
- (mathematics) A category which is enriched over the category 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.