\begin{definition}[Definition:Canonical Mapping from Coproduct to Product]
Let $C$ be a category with zero morphisms.
Let $a, b$ be objects of $C$.
Assume they have a coproduct $(a \sqcup b, i_1, i_2)$ and a product $(a \times b, p_1, p_2)$.
\end{definition}