Monad (teori kategori)

Dalam teori kategori, cabang dari matematika, monad adalah endofunktor, dengan dua transformasi alam yang dibutuhkan untuk memenuhi kondisi koherensi. Monad digunakan dalam teori funktor adjoin, dan mereka menggeneralisasi operator penutupan pada himpunan terurut parsial ke kategori arbitrer.