Un coproducto o suma directa para una familia formula_1 de objetos en una categoría formula_2, es un objeto formula_3 de formula_2, junto a una familia de morfismos formula_5 (formula_6) tal que para cualquier objeto formula_7 y una familia de morfismos formula_8, existe un único morfismo formula_9 tal que formula_10.