1 Answers
In category theory, a branch of mathematics, a monoid in a monoidal category is an object M together with two morphisms
such that the pentagon diagram
and the unitor diagram
commute. In the above notation, 1 is the identity morphism of M, I is the unit element and α, λ and ρ are respectively the associativity, the left identity and the right identity of the monoidal category C.
4 views
Answered