haskell-jp / beginners #16 at 2021-07-10 08:52:34 +0900

モナド変換子について質問です。
モナド変換子は圏論的にはどのように理解すればよいでしょうか？

モナドは圏論的には理解しているつもりですが、モナド変換子については圏論的な理解が及んでおらず、苦戦しています。

モナド間の準同型として理解するのが良いんじゃないでしょうか :raising_hand:
参考になりそうなリンクを貼っておきます :pray:
• http://hiratara.github.io/presentations/2015-03-21_monadbase_vol2.html#/
• http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Monad_transformers/

ありがとうございます。モナド間準同型、ちょっとしっくりこない面もありますが、納得できそうな気がしました。