m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「キュリアの格上げ」とは、圏の対象を関手、圏の射を自然変換とみなす方法です。ピエル=ルイ・キュリア（Pierre-Louis Curien）の "The Joy of String Diagrams"（http://hal.archives-ouvertes.fr/docs/00/69/71/15/PDF/csl-2008.pdf）を読んで初めて知ったのでそう呼んでますが、キュリアが最初の発見者かどうかは定かじゃないです（たぶん違うでしょう）。次の記事のなかで、キュリア流の絵算とキュリアの格上げを説明しています。 キュリアの絵算 対象と射を関手と自然変換に格上げする方法 圏論の計算を劇的に簡単… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130827%2F1377583720" 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 2013-08-27 15:08:40 rich https://m-hiyama.hatenablog.com/entry/20130827/1377583720 1.0 100%