モナドの定義とか - 檜山正幸のキマイラ飼育記 (はてなBlog)で紹介されている代数スタイルと拡張スタイルの上っ面だけのまとめ。図もコピペしました。 図では、対象(型)X に対して真上に 関手 T で移した TX を書く。上げるとか下げるとか持ち上げるとかは、…