bn:03119258n
Noun Concept
Categories: Category-theoretic categories, Monoidal categories, Objects (category theory)
EN
monoid  monoid object  category of monoids  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
Wikidata Alias
EN