Coproduct in a category ($\coprod$)

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.

A countable coproduct is indexed by the natural numbers. In the Category of sets it is the disjoint union ${\coprod }_{n\in \mathbb{N}}{A}_n$.