Biproduct ($A\oplus B$)

A biproduct $A\oplus B$ is simultaneously a product in a category and a coproduct in a category, with projections $p_i$ and injections $i_i$ satisfying

In a pointed category with finite product in a category and coproducts in a category and invertible canonical maps $c:A+B\to A\times B$, the unique commutative-monoid enrichment is $f+g=[1_B,1_B]c_{B,B}^{-1}⟨f,g⟩$. Associativity and commutativity follow by comparing fold maps on triple and swapped coproduct injections. Composition distributes by the universal properties. For uniqueness, bilinearity forces $i_1{p}_1+i_2{p}_2=1$ on each biproduct, and composing with the fold and the paired morphism forces the addition formula.

Suppose a semi-additive category has countable products and coproducts and the canonical comparison between them is always invertible. For countably many copies of $A$, let $q:A\to {\coprod }_{i}A$ correspond under that comparison to the diagonal into the product, and let $\sigma :{\coprod }_{i}A\to A$ be the fold map. If $s$ shifts the summands by one, coordinatewise comparison proves $q={\nu }_1+sq$ and $\sigma s=\sigma$. Thus $z=\sigma q$ satisfies $z=1_A+z$. In an additive category, cancellation gives $1_A=0$, forcing every hom-set to contain only its zero morphism. The category is equivalent to the one-object, one-arrow category.