Tolong jelaskan mengenai Penggunaan dari Monad (teori kategori)

Monad digunakan dalam pemrograman fungsional untuk mengekspresikan jenis komputasi sekuensial (terkadang dengan efek samping). Lihat monad dalam pemrograman fungsional, dan modul Wikibuku yang lebih berorientasi matematis Teori Haskell/Kategori.

Dalam logika kategoris, sebuah analogi telah ditarik antara teori monad-komonad, dan logika modal melalui operator penutupan, aljabar interior, dan hubungannya dengan model dari S4 dan logika intuisi.