Coba jelasin Pendahuluan dan definisi dari Monad (teori kategori) dong

Monad adalah jenis endofunktor tertentu. Misalnya, jika  dan  adalah sepasang funktor adjoin, dengan  di sebelah kiri adjoint ke , maka komposisi  adalah monad. Jika  dan  adalah fungsi invers, monad terkait adalah identitas funktor. Secara umum, tambahan bukanlah kesetaraan, mereka menghubungkan kategori dengan sifat yang berbeda. Teori monad penting sebagai bagian dari upaya untuk 'mencari' tambahan. Separuh teori lainnya, dari dipelajari juga dari pertimbangan , dibahas di bawah teori ganda  komonad .