勝手に名前つけた

モノイダル圏CのP-1図式とは以下のルールで書いた図

2-圏についても同様

以下の手順で計算と図式の変形を対応付ける

モノイダル圏の絵算は見えない同型だらけになる

三本以上の線は基本的に左結合と考えることにする

射も全て、モノイダル積は左結合にされる

必要に応じて単位子が挿入される