Tolong jelaskan mengenai Keterangan dari Monad (teori kategori)

Aksioma sebuah monad secara formal mirip dengan aksioma monoid. Faktanya, monad adalah kasus khusus dari monoid, yaitu mereka merupakan monoid di antara endofunktor , yang dilengkapi dengan perkalian yang diberikan oleh komposisi endofungtor.

Komposisi monad secara umum bukan monad. Misalnya, monad himpunan daya ganda  tidak menerima struktur monad.