Proporcionalidad directa

Un "coproducto" o "suma directa" para una familia (A_i)_{i \in I} de objetos en una categoría C, es un objeto S de C, junto a una familia de morfismos f_i: A_i \to S (i \in I) tal que para cualquier objeto B y una famila de morfismos g_i: A_i \to B, existe un único morfismo g: S \to B tal que g \circ f_i Ejemplos \{ (a_i)_{i \in I}: a _i \in A_i y excepto un número finito todos los a_i son cero\} y f_i: A_i \to S es la inclusión de A_i en la "i"-ésima coordenada....