両モナドとアイレンベルク／ムーア構成とメイヤー加群

両モナド (F, G, β) があるとき、アイレンベルク／ムーア構成により両代数の圏が構成できる。アイレンベルク／ムーア両代数の圏の対象がメイヤー加群のはずだ。たぶん。