TeXipedia

coprod

Represents a coproduct operation in mathematics, commonly used to denote direct sums or disjoint unions.

Overview

Essential in advanced mathematics, particularly in category theory, algebra, and topology, where it denotes the dual concept of a product operation.

  • Frequently used in abstract algebra to represent direct sums of algebraic structures
  • Common in category theory to denote categorical coproducts
  • Appears in topology when describing disjoint unions of spaces
  • Often seen in mathematical papers and advanced textbooks dealing with universal constructions

Examples

Coproduct over a sequence of vector spaces.

i=1nVi\coprod_{i=1}^n V_i
\coprod_{i=1}^n V_i

Indexed coproduct in category theory.

αAXα\coprod_{\alpha \in A} X_\alpha
\coprod_{\alpha \in A} X_\alpha

Double coproduct with subscript and superscript limits.

i=1mj=1nGij\coprod_{i=1}^m \coprod_{j=1}^n G_{ij}
\coprod_{i=1}^m \coprod_{j=1}^n G_{ij}