Preadditive category
This article defines a notion of a category along with some additional structure.
View other such notions
Definition
A preadditive category is a category enriched over the monoidal category of Abelian groups. Note that a preadditive category is a category, using the natural forgetful monoidal functor from monoidal category of Abelian groups to monoidal category of sets.