From Wikipedia, the free encyclopedia.
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.
