En teoría de categorías el coproducto o suma categórica de dos objetos es una noción que captura la esencia detrás de otras construcciones en otras áreas de las matemáticas tales como la unión disjunta en conjuntos y de espacios topológicos, el producto libre de grupos, la suma directa de módulos y espacios vectoriales, entre otras El coproducto de una familia de objetos es esencialmente el menos general de los objetos en el cual cada uno de los objetos de la familia dada admite un morfismo. Wikipedia