>>70
すいません。X,Y位相空間、。f:X→Y連続写像
GをY上の層とする。f^-GをY上の層の逆像これはX上の層。制限写像は、開集合U‘⊂U⊂Xに対して
ρUU’: f^-G(U)→ f^-G(U’), {tx}_x∈U→ {tx}_x∈U‘でtはlim_{f(U)⊂V}G(V)の元。このようになるでしょうか