31

数学の学生として、Haskell のモナドについて学んだときに最初にしたことは、自分が知っている意味でモナドが本当にモナドであるかどうかを確認することでした。しかし、モナド変換子について学びましたが、それらは圏論で研究されているものではないようです。

特に、それらは分配法則に関連していると予想しますが、それらはまったく異なるようです。モナド変換子は任意のモナドに適用されることが期待されますが、分配法則はモナドと特定の他のモナドとの間の関係です。

また、モナド変換子の通常の例を見ると、 while compose withは、どちらの順序でもwithのMaybeT m合成ではありません。mMaybeStateT mmState

だから私の質問は、カテゴリー言語のモナド変換器とは何ですか?

4

3 に答える 3

8

モナドトランスフォーマーは、数学的にあまり楽しいものではありません。しかし、自由なモナドや、より一般的には理想的なモナドから素敵な (共) 積を得ることができます: Ghani と Uustalu の「理想的なモナドの共積」を参照してください: =10.1.1.4.2698

于 2011-07-28T09:09:45.880 に答える
3

Oleksandr Manzyukによる圏論によるモナド変換子の計算は、モナド変換子に関する別の記事であり、この概念を圏論における随伴の重要な概念に関連付けています。
また、私の意見では、圏論の最も快適な機能、つまりダイアグラム追跡を使用ており、概念を非常に自然化しています。
お役に立てれば。

于 2015-02-23T16:26:37.180 に答える