Also known as categorical sum
In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coproduct of a family of objects is essentially the "least specific" object to which each object in the family admits a morphism. It is the category-theoretic dual notion to the categorical product, which means the definition is the same as the product but with all arrows reversed. Despite this seemingly innocuous change in the name and notation, coproducts can b
In the Vinony graph
Within Vinony's link graph, 余积 is referenced by 198 other articles, and connects out to initial and terminal objects, strict 2-category and vector space.
It is catalogued under the topic Limits (category theory).
Its subject is documented across 16 Wikipedia language editions.
Wikidata facts
Show 4 more facts
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- category theory
- Commons category
- Coproducts
- opposite of
- product
Sources (2)
via Wikidata · CC0