Jelaskan 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.