前層の層化～ハーツホーン二章～

ハーツホーン二章の第一節は層についてだが層の基本的な概念を導入したらすぐに前層の層化が現れ、そこの証明では「直ちに確かめられる」などと書いてあり詳細はほぼ全て行間になっている。本記事ではその行間ほぼ0にしたものを紹介する*1。

層空間を用いた層化の方法も書いた。これは例えば桂利行『代数幾何入門』などに書いてある方法だが個人的には最近はあまり見かけない少々古い方法のように感じている。
prime-132th.hatenablog.com

また圏論的に議論することも出来るようである*2。

*1:個人的には層の基本的な概念の定義を飲み込んだばかりの初学者にいきなりこれを行間にするのは酷だと思う