(A*, A, η:I→A*×A, ε:A×A*→I)がケリー双対系になっているとき、(A, A*, η;σ:I→A×A*, σ;ε:A*×A→I)もまたケリー双対系となることは次の図でわかる。クロスオーバーと対称計算だけなので、対称モノイド圏ならOK。

絵の描き方と対応するテンソル計算について、ザット述べる。まずはこの図。モノイド圏におけるf:A×B→Cの絵だが、左上はスタック図（サンチャゴ・ダイアグラム）。射が領域で、対象は領域の境界の一部、テンソル積は境界片の直和。この図とポアンカレ双対なの…