絵算の感想

composite monadのassociativityをやってみた。

1. ストリング図のほうが描きやすく、計算しやすい。
2. コツは、グラフを部屋（chamber）にわけて、部屋の内部を規則でそっくり置き換える。
3. 書き換えるべき部屋と規則を見つけるところが発見的。
4. 分配律のBeck公理より、スワッパー（swapper）公理のほうが使いやすい。
5. スワッパーが使いやすいのは、ストリング図だと（スワッパーが）対称フリップと似た扱いになるからだ。ブレイディングに近い。