Definition:Preadditive Category
Jump to navigation
Jump to search
Definition
A preadditive category is a monoidally enriched category over the monoidal category of abelian groups $\mathbf {A b}$.
That is, a category such that:
- its hom sets are abelian groups
and where:
- composition is bilinear.
Also see
Sources
- 1998: Saunders Mac Lane: Categories for the Working Mathematician (2nd ed.): $\S \text{I}.8$: Hom-Sets