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