Coproduct

In the mathematical subfield of category theory, the concept of coproduct is a generalization of the so-called disjoint union of sets. It is the dual concept to product.

Definition

Are objects of a category C is the name of an object X together with morphisms coproduct of written

If the following universal property is satisfied:

Equivalently, one can require that

Applies; thereby mediate the natural equivalence.

Examples

• Category theory