bn:03119258n
Noun Concept
ES
objeto monoidal  objeto monoide  monoide
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
Relations
Sources