m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ その他代数 気付いた モノイド圏 説明 多圏 http://d.hatena.ne.jp/m-hiyama-memo/20160209/1454977682に書いたように、伝統的古典テンソル計算（古式テンソル計算）では、コンパクト閉圏の表現が出来ないことが分かった。ポリ行列という概念を導入する。 極性なしポリ行列 ←→ 極性なしスパイダー 極性付きポリ行列 ←→ 極性付きスパイダー 極性なしポリ行列は、添字表現が a[J←I] または a[I→J] の形で、IとJはカンマ区切りのマルチインデックスである。Iが入力の脚の列（空列もある）、Jが出力の脚の列になる。インデック名は脚に付けられた名前である。ただし、名前は便宜上なのでリネーム（アル… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160209%2F1454980396" title="ポリ行列の導入 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-02-09 10:13:16 rich https://m-hiyama-memo.hatenablog.jp/entry/20160209/1454980396 1.0 100%