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:
“I see no reason for calling my work poetry except that there is no other category in which to put it.”
—Marianne Moore (1887–1972)