Coproduct (category theory)

GPTKB entity

Statements (30)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
Category theory concept
gptkbp:alsoKnownAs Sum
Categorical sum
gptkbp:definedIn Universal object with morphisms from each object in a family
gptkbp:dualPolyhedron gptkb:Product_(category_theory)
gptkbp:example gptkb:King
gptkb:Vector
gptkb:group_of_people
gptkb:topology
Abelian group
Category
Set
Module
gptkbp:field Category theory
gptkbp:generalizes Direct sum
Disjoint union
Free product
Wedge sum
gptkbp:hasUniversalProperty For any family of objects, morphisms from each object factor uniquely through the coproduct
gptkbp:hasWikipediaPage https://en.wikipedia.org/wiki/Coproduct
https://www.w3.org/2000/01/rdf-schema#label Coproduct (category theory)
gptkbp:property Initial object is the coproduct of the empty family
Coproducts are unique up to isomorphism
gptkbp:relatedTo gptkb:Colimit
Universal property
Pushout
gptkbp:symbol \\coprod
gptkbp:bfsParent gptkb:Universal_(mathematics)
gptkbp:bfsLayer 6