- 55 名前：１３２人目の素数さん mailto:sage [2023/02/16(木) 04:31:40.05 ID:ZKNdDmpq.net]
- 層化は前層の圏から層の圏への関手で
層の圏を前層の圏へ埋め込む関手の左随伴になっている
(そのHomの対応が随伴そのものを表してる)
だから層の極限的な操作(核など)は前層における操作で済んで、層化は必要ない
逆に余極限的な操作(余核など)は層化が必要
層化をいつ挟むかだけ分かればだいぶ楽なはず
圏論的に解説してる本とかpdfも多いからハーツホーンだけにこだわらず色々見てみたら？
(と言っても具体的にオススメできるのが今すぐには思いつかない)
