An additive category is enriched in abelian groups, has a zero object and finite biproducts, and has bilinear composition.
An abelian category is an additive category with all kernels and cokernels in which every monomorphism and epimorphism is normal.
Articles by others on the same topic
In category theory, an **additive category** is a type of category that has a structure allowing for the definition and manipulation of "additive" operations on its objects and morphisms. Here are the key characteristics that define an additive category: 1. **Abelian Groups as Hom-Sets:** For any two objects \( A \) and \( B \) in the category, the set of morphisms \( \text{Hom}(A, B) \) forms an abelian group.