In mathematics, specifically in category theory, an additive category is a preadditive category C such that all finite collections of objects A1, … , An of C have a biproduct A1 ⊕ ⋯ ⊕ An in C.
Recall that a category C is preadditive if all its hom-sets are Abelian groups and composition of morphisms is bilinear; in other words, C is enriched over the monoidal category of Abelian groups. Recall also that a biproduct in a preadditive category is both a finitary product and a finitary coproduct.
Read more about Additive Category: Definition, Examples, Internal Characterisation of The Addition Law, Matrix Representation of Morphisms, Additive Functors, Special Cases
Famous quotes containing the word category:
“The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.”
—Anne Cassidy (20th century)