In de categorietheorie, een abstract deelgebied van de wiskunde, is het coproduct (of de categoriale som) de categorie-theoretische constructie, die de disjuncte vereniging van verzamelingen, de disjuncte vereniging van topologische ruimten, het vrije product van groepen en de directe som van modulen en vectorruimten, in zich verenigd. Het coprodu...