 Coproduct in a category

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.