アーベル群の層の理論は層の部分層による商のところがポイント．前層としての商は層にはならないが，切断を増やして層化すれば層の圏の中での商が得られる．これがアーベル群の層がアーベル圏をなすということ．層化の際にどれくらい切断を増やしたかをコホ…

Cousin 複体の勉強のため局所コホモロジーの章を読む．層のセル分割を考えようとすると，左完全ではない関手の右導来関手という厄介なものを考えることになる．これを扱うための設定として Cousin 複体が出てくる．