Tolong jelaskan mengenai Monoid (teori kategori)

Dalam teori kategori, cabang dari matematika, monoid (atau benda monoid) (M, μ, η) dalam kategori monoidal (C, ⊗, I) adalah objek M bersama dengan dua morfisme

μ: M ⊗ M → M disebut perkalian,

η: I → M adalah unit,

sedemikian rupa sehingga segi lima diagram