Coproduct in a category
= Coproduct in a category
{title2=$\coprod$}
{wiki=Coproduct}
A coproduct is a colimit of a discrete diagram: it has injections from each summand and every family of maps out of the summands extends uniquely across it.
= Coproduct in a category
{title2=$\coprod$}
{wiki=Coproduct}
A coproduct is a colimit of a discrete diagram: it has injections from each summand and every family of maps out of the summands extends uniquely across it.