P-1図式
勝手に名前つけたdragoon8192.icon
モノイダル圏$ C のP-1図式とは以下のルールで書いた図
table:方向
右から左へ モノイダル積
上から下へ 1-射の結合、適用
table: 図形
面 （なし）
線 対象
点 1-射
2-圏についても同様
絵算
モノイダル圏の絵算
以下の手順で計算と図式の変形を対応付ける
モノイダル圏の絵算は見えない同型だらけになる
三本以上の線は基本的に左結合と考えることにする
モノイダル積の左寄せ
射も全て、モノイダル積は左結合にされる
必要に応じて単位子が挿入される