Dada una categoría formula_135 y una familia de objetos formula_171, llamaremos coproducto de formula_171 al par formula_187 donde formula_174 y formula_189 es una familia de morfismos donde formula_190, y tal que satisface la condición de que para cada familia formula_177, donde formula_192, existe un único morfismo formula_193 tal que formula_194