En teoría de categorías , el coproducto , o suma categórica , es una construcción que incluye como ejemplos la unión disjunta de conjuntos y de espacios topológicos , el producto libre de grupos , y la suma directa de módulos y espacios vectoriales . El coproducto de una familia de objetos es esencialmente el objeto "menos específico" al que cada objeto de la familia admite un morfismo . Es la noción dual categorial-teórica del producto categórico, lo que significa que la definición es la misma que el producto pero con todas las flechas invertidas. A pesar de este cambio aparentemente inocuo en el nombre y la notación, los coproductos pueden ser y, por lo general, son dramáticamente diferentes de los productos.