あやとり公式

双モノイド法則（双代数法則）は、モノイド積を+、恒等を1で書くと

• ∇;Δ = (Δ+Δ);(1+X+1);(∇+∇)

と書けて一番見た目がきれいだろう。+も省略すると：

• ∇;Δ = (Δ Δ);(1 X 1);(∇ ∇)

縦書きすると：

 ∇ 

 Δ
 ‖
Δ Δ

1 X 1

∇ ∇

オオー、素晴らしい。

それはそうとして、この法則の類似が、加群、余加群、それらが混じった構造などでも頻繁に登場する。双モノイド法則という呼び名は適当ではない。なんか見た感じがあやとりっぽいので、あやとり公式はどうかな。