「最強のモナドとモナド工場の秘密」の続き。モナドFが、モノイドMを使って F(A) = A×M と書けるとき、Fのアイレンベルク／ムーア圏はどうなるでしょうか？ なお、アイレンベルク／ムーア圏については次の記事を参照してください。 アイレンベルグ／ムーア圏…

Mがモノイドのとき、集合Aに対して F(A) = A×M と定義すると、これをもとに集合圏の上のモナドを作れます。より詳しくは次の記事を参照してください。 モノイドからモナドを作る 単一代入のモノイド、スタンピングモナド、モナド工場 二番目の記事で次のよう…