Additive category
= Additive category
{wiki=Additive_category}
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.