相対モナドのクライスリ圏は簡単に作れます。が、アイレンベルク／ムーア圏はそれほど簡単ではありません。アイレンベルク／ムーア代数の定義はやや奇妙です。しかし、相対モナドの拡張スタイルの定義とは相性が良い定義になっています。$`\newcommand{\cat}…