m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 ここ2,3日、カン拡張（Kan extension）を理解しようとジタバタしてました。どうにもイメージがつかめなくて四苦八苦。ワッカラーン。やっとこさで絵に描くことができました。フーッ。絵を描く前に記号法を： [C, D]は関手圏を表します。圏[C, D]の対象は、C→D という関手、射は関手のあいだの自然変換です。[C, D]は、[C→D]とも書くことにします。矢印の向きを逆にした [D←C]もまったく同じ意味だとします。関手 H:C→D と K:D→E の結合は H;K と書きます。これは図式順です。反図式順のときは、K・H と書くことにします。さて、問題の右カン拡張（right Kan … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130608%2F1370685986" 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> http://www.chimaira.org/img3/right-kan-ext-pict.gif Hatena Blog https://hatena.blog 2013-06-08 19:06:26 rich https://m-hiyama.hatenablog.com/entry/20130608/1370685986 1.0 100%