What does coproduct mean?
A coproduct is a mathematical construction that combines objects in the most general way possible. Formally defined in category theory, it is the dual of the more familiar product: where a product comes equipped with projections onto each of its components, a coproduct comes with injections from each component into a single new object, satisfying a universal property that makes it unique up to isomorphism. Its concrete appearance depends on context — for sets it is the disjoint union, for groups the free product, and for vector spaces the direct sum. This flexibility is what makes the concept powerful: one abstract definition captures many seemingly different ways of 'gluing' objects together. Outside pure mathematics, the word occasionally appears in industrial and economic writing to describe multiple outputs generated jointly by a single process, as when a refinery yields both gasoline and diesel. Precise and technical, 'coproduct' signals formal training in mathematics, and it is rarely encountered in everyday language.
nounIn mathematics, especially category theory, an object constructed from a pair of objects together with injection morphisms that satisfies a universal property dual to that of the product. More generally, something produced jointly alongside another thing.
- In mathematics (category theory): the categorical dual of the product — an object equipped with morphisms (injections) from each of the given objects such that any collection of morphisms from those objects factors uniquely through it; concretely realized as the disjoint union of sets, the free product of groups, or the direct sum of modules.
- More generally: a thing produced jointly with another, as in industrial or economic contexts where several outputs arise from a single process.
"The coproduct of two sets is their disjoint union."
"In the category of sets, the coproduct of A and B is their disjoint union."
"The refinery treats gasoline and diesel as coproducts of the same cracking process."
Standard regular plural; used both for multiple mathematical coproducts and for jointly produced goods.
"Coproducts in the category of abelian groups are direct sums."
Flip every arrow in the definition of a product and you get the coproduct — category theory's way of saying that 'putting things side by side' is just the mirror image of 'pairing them up.'
Reviewed by Deb Chak, Editor. AI-assisted content curated by RJS Tech Solutions LLP.
Etymology of coproduct
The word combines the prefix 'co-' (from Latin 'com-', meaning 'together') with 'product', from Latin 'producere', 'to bring forth'. It was coined in twentieth-century mathematics as category theorists named the dual of the product, following the convention of prefixing 'co-' to mark dual notions (as in 'domain/codomain'). Cognates sharing the Latin root include 'produce', 'reduction', and 'conductor'.
How coproduct is actually used
Almost exclusively technical. In category theory it is often called the 'sum' or 'direct sum' depending on the category, and notation varies (⊕, ⊔, ∐). Outside mathematics, the plural 'coproducts' appears mainly in industrial and economic writing about joint production.
Easily confused with coproduct
A product combines objects via projections and satisfies a universal property of receiving maps into it, whereas a coproduct is its categorical dual, built via injections and receiving maps out of it.
A by-product is an incidental secondary output of a process, while a coproduct in mathematics is a precisely defined construction, and in industry a coproduct is a planned joint output rather than an incidental one.