参考： 対称モノイド圏のシーケント計算 - 檜山正幸のキマイラ飼育記 メモ編 順序ベース多圏と名前ベース多圏、シーケント計算 - 檜山正幸のキマイラ飼育記 メモ編 レコード形式指標に対するセオリーとシーケント - 檜山正幸のキマイラ飼育記 メモ編 janusコ…

トレース、対称またはブレイドによる交差、Kelly単位を3次元方向に描くと、図がスッキリすると思う。トポロジカルにも何か面白そうだし。

普通の2×2行列とかで、各成分を乗法作用の射とみなす。 4つの射（成分）と、対角、余対角（加法）を使って、行列を回路として表現する。 トポロジカルに変形して、行列の二部グラフ表示を得る。 ここでも、ΔX+Y = (ΔX + ΔY);(X + σ + Y)がミソ。

ブラックボックス（外から中を見て） ブラックルーム（中から外を見て） ブラックウォール（外と中を対等に考えて）