Catyのトランザクション処理くらい定式化できないと、マンダラのご利益がないよなー。ローカルリクエスターはABCシステム。トランザクションがあるから、モノイダルスタンピングモナドじゃ不十分で、モノイドの圏の上のある種のツリーモナドで拡張した代数（…

圏の圏Catの一般化として、プロ関手の圏Profが大事なようだ。この圏の射＝プロ関手の結合にエンドと余エンドを使うが、エンドと余エンドの双対性を表すには、Σ、Πという記号を使うといいと思う。特に、反転補題（reversing lemma）は自然な形になる。作用積…