Coba jelasin Contoh dari Monad (teori kategori) dong

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: