ホーア論理を加群／余加群の枠組みで定式化できないかと考えて、ホーア加群というものをひねり出した。ただし、このままでは現実性がない、やたらに理想的な状況でしか意味を持たない構造。だがそれでも、より先を考えるための道具とはなるはず。いずれ書く…

「双モノイド法則の一般化」の状況の別な定式化。まー、本質的には同じだと思うのだが。「あやとり」についてはあやとり公式 - 檜山正幸のキマイラ飼育記 メモ編参照。コモノイドの圏、あるいは対角付き圏のなかで考えるので、すべての対象XにΔXは付いている…

双モノイド法則（双代数法則）は、モノイド積を+、恒等を1で書くと ∇;Δ = (Δ+Δ);(1+X+1);(∇+∇) と書けて一番見た目がきれいだろう。+も省略すると： ∇;Δ = (Δ Δ);(1 X 1);(∇ ∇) 縦書きすると： ∇ Δ ‖Δ Δ 1 X 1 ∇ ∇オオー、素晴らしい。それはそうとして、こ…

双方向の（可逆な）変形が絵図等式なんだから、片方向（不可逆）の変形は絵図不等式だよね。OCat内では、絵図不等式が意味を持つ。射が証明のとき、証明の変形を2セルと考えたりすると、絵図不等式が使えそうだが。あるいは、非決定性関数の圏とか。