 Disjoint union

The disjoint union tags the elements of its summands, for example $X\bigsqcup Y=(X\times \{0\})\cup (Y\times \{1\})$.