Main Page | See live article | Alphabetical index 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 constrasts 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. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.