m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 米田テンソル計算の内容について書こうと思ったら、けっこう色々準備が必要みたい。「圏論からの準備」というより、もっとツマラナイこと、しかし無視できないことに関する細々とした準備です。記述や計算のためのツマラナイ道具（いや、ツマラナクないが）も、意外と整備されてないのです。結果的にこの記事は、米田テンソル計算に限らず使えそうな基本的な用語・記法の約束を集めたものになっています。内容： 方向付き区切り記号 修飾付き矢印 無名ラムダ変数 論理式から作る述語関数 行列記法と行列計算 単位対象、単元集合、自明圏 0, 1, 2個のモノからなる集合／圏 演算記号と恒等 ホムセットの交わり 同型・同値 CD構… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F11%2F23%2F174413" title="米田テンソル計算 2： 準備 - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2021-11-23 17:44:13 rich https://m-hiyama.hatenablog.com/entry/2021/11/23/174413 1.0 100%