層 前層...位相空間X上の前層F 開集合 U ⊂ X に対し アーベル群 F(U) 開埋め込み V ⊂ U に対して アーベル群の準同型 ρUV:F(U)->F(V) .. 制限写像 ρUVの制限: 1. ρUU:F(U)->F(U) = 恒等写像 2. ３つの開集合 W⊂V⊂U に対し ρUW = ρVW.ρUV ρUV(s) は s|V とも…