野口さんの本で層のテンソル積の例を計算していて，前層を層にするのは関数を局所的にみられるようにすることなんだと確信を持った． 計算していたのは次の例． Rを実数体とし，定数層Z_R*1，イデアル層I<0,1>*2を考える． S=Z_R/I<0,1>とするとS(R)はZ \opl…