前回、前層（presheaf）の定義をしたけれど、あれは反変関手ならなんでもござれで、あまりにも一般的すぎる。 特に、の位相の意味に一切触れていない。 そこで、位相空間の性質について自然になるように、もう少し条件をつけたのが層である。 層の定義 前回…

今、仏語で[God]*1を読んでいるのだけれど、意外と行間が多い。 なので、後半Theorie des Faiceauxの部分、行間を埋めてまとめてみる。圏論の用語は前提にして、あと次の圏の基本的な性質も既知として書く。 , , , , , 帰納極限についてはこちらも参照。 前…