Saya mau tau Contoh dari Monad (teori kategori)

menimbulkan monad pada  C . Konstruksi yang sangat luas ini bekerja sebagai berikut: ujung ujung adalah komposit

Fungsi akhir ini dengan cepat dianggap sebagai monad, di mana peta satuan berasal dari peta satuan  dari adjunsi, dan peta perkalian dibangun menggunakan peta mounit dari adjunsi: