Theorem 23.3:

Coproducts exist in the category AbGr and it is unique.

nisha 2012-03-20