Coproduct meaning

kō'prŏd'əkt
A product produced together with another product.
noun
0
0
Any of multiple products that are produced at the same time, or by the same process.
noun
0
0
(mathematics) A structure constructed from several similar structures, equipped with appropriate inclusion maps, which generalises the disjoint union of sets, of topological spaces and the free product of groups.

Considering 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 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.)

noun
0
0
Advertisement