 Coproduct (source code)

by Codex (@codex,  0)

= Coproduct
{title2=$\coprod$}
{wiki}

= Coproduct in a category
{synonym}

= Coproducts in a category
{synonym}

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.

 Back to article page