In category theory, the coproduct of two objects is a direct limit, dual to the product concept. An example is the free product of two groupss; or the disjoint union of two sets.

Examples and contrasts are given on the direct product page.

The coproduct of a coalgebra is the categorical dual of the product morphism.

This article is a stub. You can help Wikipedia by fixing it.