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