An additive category is enriched in abelian groups, has a zero object and finite biproducts, and has bilinear composition.
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.
New to topics? Read the docs here!