このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

方陣行列から二部グラフへ

説明 トレース／コンパクト閉圏
  • 普通の2×2行列とかで、各成分を乗法作用の射とみなす。
  • 4つの射（成分）と、対角、余対角（加法）を使って、行列を回路として表現する。
  • トポロジカルに変形して、行列の二部グラフ表示を得る。

ここでも、ΔX+Y = (ΔX + ΔY);(X + σ + Y)がミソ。