Coproduct

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 coproduct van een familie van objecten is in wezen het "minst specifieke" object, waarop elk object in de familie een morfisme toelaat. Het is de categorie-theoretische duale notie van het categorisch product, wat betekent dat de definitie dezelfde is als die van het product, alleen wijzen alle pijlen in de omgekeerde richting. Ondanks deze schijnbaar onschuldige verandering in naam en notatie, kunnen en zullen coproducten in het algemeen dramatisch van producten verschillen.