Assertion: disjoint union | /r/HasProperty | the coproduct
Facets:
value: in the category of sets
type: OTHER
value: in the language of category theory
type: OTHER
Source sentences:
text: In the language of category theory, the disjoint union is the coproduct in the category of sets.