トランザクションとか

Catyのトランザクション処理くらい定式化できないと、マンダラのご利益がないよなー。

ローカルリクエスターはABCシステム。トランザクションがあるから、モノイダルスタンピングモナドじゃ不十分で、モノイドの圏の上のある種のツリーモナドで拡張した代数（アイレンベルグ／ムーア圏の対象）をスタンピングする。その代数（拡張されたモノイド）のスタンピングとABCシステムを強調させて、さらに例外モナドとも強調させる。テンソル強度が必要だろう。

モナディックな代数系（非対象モノイド圏としてのEnd(C)内の種々の代数構造のつもり）と、台関手のあいだのベックスワッパー（特にテンソル強度）を何度も使わなくてはならない。ベックスワッパーは分配則だが、どれとどれがどういう具合に分配するか把握できてない。まだまだ整理と調査が必要。