Monoid (teori kategori) itu apa sih?

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