2020-01-26から1日間の記事一覧

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

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