Jabarkan Himpunan daya monad dari Monad (teori kategori)

Himpunan daya monad  adalah monad  pada kategori : Untuk himpunan  biarkan  menjadi himpunan daya dari  dan untuk sebuah fungsi  biarkan  menjadi fungsi antara set daya yang diinduksi dengan galeri langsung di bawah .  Untuk setiap set , peta , pada  tunggal . The function

mengambil satu set himpunan ke satuan. Data ini menggambarkan sebuah monad.