"層に関してちょっと 2： 層化 - 檜山正幸のキマイラ飼育記 (はてなBlog)" のまとめ。 RelSp[X] := Top/X と定義する。Xを固定した上で、 RelSp[X] の対象を、X上の相対空間と呼ぶ。 (φ:A→X) in RelSp[X] のとき、A = (A, φA) と書く。 Aをメイン空間、Xを底…