Additive category
An additive category is a category which is enriched over Category of abelian groups and admits finite biproducts, cat thus
- Products and coproducts agree in a canonical way;
- A Zero object exists; and
- Hom-sets are abelian groups and composition is bilinear.
A stronger notion is a Preäbelian category.