In category theory, the coproduct, or categorical sum, is a category-theoretic 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. The coproduct of a family of objects is essentially the `least specific` object to which each obj.....
coproduct A product produced together with another product.
something produced jointly with another product.