biproduct

Let C be a category with zero morphisms. Given a finite (possibly empty) collection of objects A₁, ..., A_n in C, their biproduct is an object $A\_1\; \backslash oplus\; \backslash dots\; \backslash oplus\; A\_n$ in C together with morphisms

• $p\_k\; \backslash !:\; A\_1\; \backslash oplus\; \backslash dots\; \backslash oplus\; A\_n\; \backslash to\; A\_k$ in C (the projection morphisms)
• $i\_k\; \backslash !:\; A\_k\; \backslash to\; A\_1\; \backslash oplus\; \backslash dots\; \backslash oplus\; A\_n$ (the embedding morphisms)

satisfying

• $p\_k\; \backslash circ\; i\_k\; =\; 1\_\{A\_k\}$, the identity morphism of $A\_k,$ and
• $p\_l\; \backslash circ\; i\_k\; =\; 0$, the zero morphism $A\_k\; \backslash to\; A\_l,$ for $k\; \backslash neq\; l,$

and such that

• $\backslash left(\; A\_1\; \backslash oplus\; \backslash dots\; \backslash oplus\; A\_n,\; p\_k\; \backslash right)$ is a product for the $A\_k,$ and
• $\backslash left(\; A\_1\; \backslash oplus\; \backslash dots\; \backslash oplus\; A\_n,\; i\_k\; \backslash right)$ is a coproduct for the $A\_k.$

If C is preadditive and the first two conditions hold, then each of the last two conditions is equivalent to $i\_1\; \backslash circ\; p\_1\; +\; \backslash dots\; +\; i\_n\backslash circ\; p\_n\; =\; 1\_\{A\_1\; \backslash oplus\; \backslash dots\; \backslash oplus\; A\_n\}$ when n > 0.Saunders Mac Lane - Categories for the Working Mathematician, Second Edition, page 194. An empty, or nullary, product is always a terminal object in the category, and the empty coproduct is always an initial object in the category. Thus an empty, or nullary, biproduct is always a zero object.

In the category of abelian groups, biproducts always exist and are given by the direct sum.Borceux, 8 The zero object is the trivial group.

Similarly, biproducts exist in the category of vector spaces over a field. The biproduct is again the direct sum, and the zero object is the trivial vector space.

More generally, biproducts exist in the category of modules over a ring.

On the other hand, biproducts do not exist in the category of groups.Borceux, 7 Here, the product is the direct product, but the coproduct is the free product.

Also, biproducts do not exist in the category of sets. For, the product is given by the Cartesian product, whereas the coproduct is given by the disjoint union. This category does not have a zero object.

Block matrix algebra relies upon biproducts in categories of matrices.H.D. Macedo, J.N. Oliveira, [https://hal.inria.fr/hal-00919866 Typing linear algebra: A biproduct-oriented approach], Science of Computer Programming, Volume 78, Issue 11, 1 November 2013, Pages 2160-2191, {{issn|0167-6423}}, {{doi|10.1016/j.scico.2012.07.012}}.

If the biproduct $A\; \backslash oplus\; B$ exists for all pairs of objects A and B in the category C, and C has a zero object, then all finite biproducts exist, making C both a Cartesian monoidal category and a co-Cartesian monoidal category.

If the product $A\_1\; \backslash times\; A\_2$ and coproduct $A\_1\; \backslash coprod\; A\_2$ both exist for some pair of objects A₁, A₂ then there is a unique morphism $f:\; A\_1\; \backslash coprod\; A\_2\; \backslash to\; A\_1\; \backslash times\; A\_2$ such that

• $p\_k\; \backslash circ\; f\; \backslash circ\; i\_k\; =\; 1\_\{A\_k\},\backslash \; (k\; =\; 1,\; 2)$
• $p\_l\; \backslash circ\; f\; \backslash circ\; i\_k\; =\; 0$ for $k\; \backslash neq\; l.${{clarify|reason=Surely we need to require that the category has zero morphisms, or at least a zero object, since otherwise this equation doesn't make sense.|date=April 2020}}

It follows that the biproduct $A\_1\; \backslash oplus\; A\_2$ exists if and only if f is an isomorphism.

If C is a preadditive category, then every finite product is a biproduct, and every finite coproduct is a biproduct. For example, if $A\_1\; \backslash times\; A\_2$ exists, then there are unique morphisms $i\_k:\; A\_k\; \backslash to\; A\_1\; \backslash times\; A\_2$ such that

• $p\_k\; \backslash circ\; i\_k\; =\; 1\_\{A\_k\},\backslash \; (k\; =\; 1,\; 2)$
• $p\_l\; \backslash circ\; i\_k\; =\; 0$ for $k\; \backslash neq\; l.$

To see that $A\_1\; \backslash times\; A\_2$ is now also a coproduct, and hence a biproduct, suppose we have morphisms $f\_k:\; A\_k\; \backslash to\; X,\backslash \; k=1,2$ for some object $X$. Define $f\; :=\; f\_1\; \backslash circ\; p\_1\; +\; f\_2\; \backslash circ\; p\_2.$ Then $f$ is a morphism from $A\_1\; \backslash times\; A\_2$ to $X$, and $f\; \backslash circ\; i\_k\; =\; f\_k$ for $k\; =\; 1,\; 2$.

In this case we always have

• $i\_1\; \backslash circ\; p\_1\; +\; i\_2\; \backslash circ\; p\_2\; =\; 1\_\{A\_1\; \backslash times\; A\_2\}.$

An additive category is a preadditive category in which all finite biproducts exist. In particular, biproducts always exist in abelian categories.

{{reflist}}

• {{cite book|last1=Borceux|first1=Francis|title=Handbook of Categorical Algebra 2: Categories and Structures|date=2008|publisher=Cambridge University Press|isbn=978-0-521-06122-3}}{{rp|at=Section 1.2}}

Category:Additive categories

Category:Limits (category theory)