>>382
ある位相空間 X の開集合 U に対して U 上の実数値連続関数全体 Γ(U) を対応させる。
U、V を X の開集合で V ⊂ U のとき制限写像 Γ(U) → Γ(V) が定まる。
対応 U → Γ(U) と制限写像 Γ(U) → Γ(V) を合わせた概念が典型的な層の例。
だから層は非常に基本的な概念。