Additive Categories

Additive Categories

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.

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. A biproduct in a preadditive category is both a finitary product and a finitary coproduct.


Read more about Additive Categories:  Definition, Examples, Internal Characterisation of The Addition Law, Matrix Representation of Morphisms, Additive Functors, Special Cases

Famous quotes containing the word categories:

    Of course I’m a black writer.... I’m not just a black writer, but categories like black writer, woman writer and Latin American writer aren’t marginal anymore. We have to acknowledge that the thing we call “literature” is more pluralistic now, just as society ought to be. The melting pot never worked. We ought to be able to accept on equal terms everybody from the Hassidim to Walter Lippmann, from the Rastafarians to Ralph Bunche.
    Toni Morrison (b. 1931)