Sebagian besar sumber daya mengenai pengertian kategoris dalam pemrograman menggambarkan monad, tetapi saya belum pernah melihat deskripsi kategorik dari monad transformer.
Bagaimana transformator monad dijelaskan dalam istilah teori kategori?
Secara khusus, saya akan tertarik pada:
- hubungan antara trafo monad dan pangkalan monadanya;
- hubungan antara mereka dan monad yang mereka ubah menjadi monad baru;
- tumpukan transformator monad.