El coproducto está dado por la unión disjunta: los conjuntos dados "A" donde "i" se extiende sobre un cierto I, construimos el coproducto como la unión de "A" × {"i"} (el producto cartesiano sirve para asegurar que todos los componentes son disjuntos).