そこまで正確に書けば:正確に書くと添字が鬱陶しいので、次のように略記します。bending")の絵です。書き下してみると:この節で紹介したワイヤーベンディング・オペレーターは、余評価/評価/恒等を組み合わせて具体的に書けます。マルコフ圏の条件化オペレーター(「マルコフ圏におけるベイズの反転定理」参照)やトレース付き圏のトレース・オペレーター(「トレース付き対称モノイド圏とはこんなモノ」参照)は、そのような具体的な表示を持ちません。転置行列の構成が行列とします。行列は、プロファイルが単元リスト(長さ1のリスト)で与えられるようなテンソルと同一視します。この順で適用すると転置になる(はず)ですが、それは次のように描けます。テキストで書くなら:を絵に描けば以下のようです。