m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 カロウビ展開圏（Karoubi envelope）の話です。前回は、カロウビ展開圏の実例を出しましたが、今日は、マクロな立場からカロウビ展開圏を見てみます。ここで、マクロな立場とは、個々の圏を調べるのではなくて、圏の集まりを社会学的(?)に見ることです。記述はかなり大ざっぱ、行間を埋めてくださいませ。誤解や間違いのご指摘はもちろん歓迎。カロウビ展開関手どんな圏Cに対しても、そのカロウビ展開圏KE(C)を定義できます。F:C→D が圏Cから圏Dへの関手だとします。この関手Fを、KE(C)→KE(D) という関手に持ち上げることができるでしょうか？この問題は簡単に解けます。G:KE(C)→KE(D… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20091111%2F1257907391" 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 2009-11-11 11:43:11 rich https://m-hiyama.hatenablog.com/entry/20091111/1257907391 1.0 100%