Noun
- Any of multiple products that are produced at the same time, or by the same process
- (mathematics) A structure constructed from several similar structures, equipped with appropriate inclusion map, which generalises the disjoint union of sets, of topological spaces and the free product of groupsConsidering the set of 15 axioms given in the "Predicate Calculus" article of the Encyclopedia of Mathematics, axioms 12 and 14 may be construed as stating that
\forall x \phi is the categorical product of all of the instantiations
of
φ. Likewise, dually, axioms 13 and 15 may be construed as stating that
is the categorical
coproduct of all of the instantiations of
φ. (Axiom 12 would give the projection morphisms, Axiom 13 the inclusion morphisms, and Axioms 14 and 15 the universal properties.)
