Un coproducto i ∈ I {\displaystyle _{i\in I}} de objetos en una categoría C {\displaystyle C}, es un objeto S {\displaystyle S} de C {\displaystyle C}, junto a una familia de morfismos f i : A i → S {\displaystyle f_{i}\colon A_{i}\to S} tal que para cualquier objeto B {\displaystyle B} y una familia de morfismos g i : A i → B {\displaystyle g_{i}\colon A_{i}\to B}, existe un único morfismo g : S → B {\displaystyle g\colon S\to B} tal que g ∘ f i = g i {\displaystyle g\circ f_{i}=g_{i}}. Wikipedia