m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ その他代数 課題 気付いた モノイド圏 ダメ出し 説明 多圏 ある意味驚いた。なんとなく、コンパクト閉圏をベースにした線形代数は古典テンソル計算に翻訳できると思っていたが、表現力が足りなくて無理だった。多圏におけるストリング図をスパイダー図と呼ぶことにする。コンパクト閉圏の図では極性が必要になるので、ワイヤー＝スパイダーの脚には極性を付与する必要がある。極性付きスパイダー図だ。脚の総数が2本であるスパイダー（2脚スパイダー）を考える。図形としての形状をシェイプまたはプロファイルと呼ぶ。実際、形状は多圏におけるプロファイル＝入出力の仕様になる。まず、極性なしのシェイプは |, ∪, ∩ の3種。極性の割り当て方がそれぞれに4種あるので合計12種類になる。双… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160209%2F1454977682" 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 09:28:02 rich https://m-hiyama-memo.hatenablog.jp/entry/20160209/1454977682 1.0 100%