「前層」

数学における層（そう、英: sheaf, 仏: faisceau）とは、位相空間上で連続的に変化する様々な数学的構造をとらえるための概念であり、大域的なデータを局所的に取り出すこと、および局所的なデータの貼り合わせ可能性によって定式化される。
層は局所と大域をつなぐことばであり、装置である。層のことばを使って多様体やリーマン面などの幾何学的対象が定義できる。曲面の向きや微分形式も層のことばで定義できる。例として、位相空間上の連続関数を考える。位相空間の各開集合に対しそこで定義された連続関数の環が定まり、開集合の包含関係に対し定義域を制限することで定まる写像は環の射である。さらに、局所的に定義された連続関数の族が大域的な関数を定義するならば、その関数は連続関数である。層の定義は、この2つの性質を抽象化したものである。
層理論の幅広い概念力と純粋数学を超えた分野への幅広い応用性は、ごく最近になってようやく認識され始めた。応用圏理論の観点から、グラフのn色彩、衛星データ、チェス問題、ベイジアンネットワーク、自己相似群、音楽演奏、複体など、様々な応用例を考察できる。
より形式的に、大域から局所への移行のみを考える概念は前層（ぜんそう、presheaf）とよばれる。

出典：Wikipedia日本語版