m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「コンパクト閉圏と絵算で理解する線形代数とシーケント計算（入り口だけ）」にて： 「f, ∩f, f∪ の三位一体」を基礎に据えて、コンパクト論理のシーケント計算を道具にして線形代数（の初歩）を展開するのは面白いなー、と思っています。そのことをチャント書いたことはないので、まー、いつか書くかも。 今日のうちに書く？ それはない。ほんの少しだけ補足を。コンパクト閉圏／コンパクト論理、そして絵算の観点から、線形代数の肝は何でしょう。僕は次の事実だろうと思います。 線形写像 f:V→W に対して、その双対 f*:W*→V* が決まる。 V**とVは標準的に同型である。そして、f**とfも同一視可能であ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20101214%2F1292294344" title="線形代数とシーケント計算（入り口から一歩） - 檜山正幸のキマイラ飼育記 (はてな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 2010-12-14 11:39:04 rich https://m-hiyama.hatenablog.com/entry/20101214/1292294344 1.0 100%