Assertion: disjoint union | /r/DefinedAs | coproduct
Facets:
value: in the category of sets
type: OTHER
value: in category theory
type: OTHER
Source sentences:
text: In category theory the disjoint union is defined as a coproduct in the category of sets.