Matches in DBpedia 2016-04 for { ?s ?p "In category theory, the coproduct, or categorical sum, is a category-theoretic 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."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Coproduct comment "In category theory, the coproduct, or categorical sum, is a category-theoretic 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.".