Coproduct

In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces.

It is the category-theoretic dual notion to the categorical product, which means the definition is the same as the product but with all arrows reversed.

Despite this seemingly innocuous change in the name and notation, coproducts can be and typically are dramatically different from products within a given category.

That is, the following diagram commutes: The unique arrow

making this diagram commute may be denoted

The definition of a coproduct can be extended to an arbitrary family of objects indexed by a set

s. The coproduct in the category of sets is simply the disjoint union with the maps ij being the inclusion maps.

Unlike direct products, coproducts in other categories are not all obviously based on the notion for sets, because unions don't behave well with respect to preserving operations (e.g. the union of two groups need not be a group), and so coproducts in different categories can be dramatically different from each other.

For example, the coproduct in the category of groups, called the free product, is quite complicated.

On the other hand, in the category of abelian groups (and equally for vector spaces), the coproduct, called the direct sum, consists of the elements of the direct product which have only finitely many nonzero terms.

(It therefore coincides exactly with the direct product in the case of finitely many factors.)

In the category of (noncommutative) R-algebras, the coproduct is a quotient of the tensor algebra (see free product of associative algebras).

In the case of topological spaces, coproducts are disjoint unions with their disjoint union topologies.

In the category of pointed spaces, fundamental in homotopy theory, the coproduct is the wedge sum (which amounts to joining a collection of spaces with base points at a common base point).

The concept of disjoint union secretly underlies the above examples: the direct sum of abelian groups is the group generated by the "almost" disjoint union (disjoint union of all nonzero elements, together with a common zero), similarly for vector spaces: the space spanned by the "almost" disjoint union; the free product for groups is generated by the set of all letters from a similar "almost disjoint" union where no two elements from different sets are allowed to commute.

This pattern holds for any variety in the sense of universal algebra.

The coproduct in the category of Banach spaces with short maps is the l1 sum, which cannot be so easily conceptualized as an "almost disjoint" sum, but does have a unit ball almost-disjointly generated by the unit ball is the cofactors.

[1] The coproduct of a poset category is the join operation.

The coproduct construction given above is actually a special case of a colimit in category theory.

can be defined as the colimit of any functor from a discrete category

, then (by the definition of coproducts) there exists a unique isomorphism

exist, then it is possible to choose the products in a compatible fashion so that the coproduct turns into a functor

is the coproduct of the tuple That it is an injection follows from the universal construction which stipulates the uniqueness of such maps.

Thus the contravariant hom-functor changes coproducts into products.

Stated another way, the hom-functor, viewed as a functor from the opposite category

to Set is continuous; it preserves limits (a coproduct in

We then have natural isomorphisms These properties are formally similar to those of a commutative monoid; a category with finite coproducts is an example of a symmetric monoidal category.

This may be extended by induction to a canonical morphism from any finite coproduct to the corresponding product.

This morphism need not in general be an isomorphism; in Grp it is a proper epimorphism while in Set* (the category of pointed sets) it is a proper monomorphism.

In any preadditive category, this morphism is an isomorphism and the corresponding object is known as the biproduct.