クックの三角形＝ディラックのブラケットの採用 バエズのクラスプを積極的に利用 クラスプと極性と線形含意記号（指数の記法）の統合 evを台形にした。 描画方向を示す旗記号 極性の印はプラスが○、マイナスが●で、マイナスからプラスが矢印の方向。だから、…

A×(B + C) = (A×B) + C これは分合律（dissociative law, linearly distributive law）。 A×(B×C) = (A×B)×C なら通常の結合律。別な演算*があって、 A * (B×C) = (A * B) * C ならなんと呼ぶか？ * を含意＝指数だと思うと、これはカリー同型。分合律やカリ…

https://www.cs.cmu.edu/~fp/courses/linear/handouts/lnd.pdf からの引用（画像としてコピー）線形含意の記号は 。ラムダ絵算で使おうと思っている。