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.