bn:03119258n
Noun Concept
Categories: Monoidal categories, Objects (category theory), Category-theoretic categories
EN
monoid  monoid object  comonoid  comonoid object
EN
In category theory, a branch of mathematics, a monoid in a monoidal category is an object M together with two morphisms μ: M ⊗ M → M called multiplication, η: I → M called unit,such that the pentagon diagram and the unitor diagram commute. Wikipedia
English:
category theory
Definitions
Relations
Sources
EN
In category theory, a branch of mathematics, a monoid in a monoidal category is an object M together with two morphisms μ: M ⊗ M → M called multiplication, η: I → M called unit,such that the pentagon diagram and the unitor diagram commute. Wikipedia
A mathematical structure used in category theory Wikipedia Disambiguation
Wikidata
Wikipedia Redirections
Wikidata Alias
EN