Monad (teori kategori) itu apa sih?

Dalam teori kategori, cabang dari matematika, monad (juga disebut tripel, triad, konstruksi standar dan konstruksi dasar) adalah endofunktor (funktor memetakan kategori), 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.