TeXipedia
Find LaTeX symbols fast

A binary operator representing coproducts or disjoint unions in category theory and algebraic structures.

\coprod image

Examples

Coproduct of sets indexed by natural numbers

\coprod_{n \in \mathbb{N}} X_n

Coproduct in category theory (disjoint union)

A \cong \coprod_{i=1}^n A_i

Coproduct of modules over a ring R

M \otimes (\coprod_{i \in I} N_i) \cong \coprod_{i \in I} (M \otimes N_i)