「細層」

数学におけるアーベル群の入射層（にゅうしゃそう、英: injective sheaf）は層係数コホモロジー（およびその他の導来函手、例えば Ext など）の定義に必要な分解を構成するのに用いられる。
関連する概念が適用できる層の他のクラスとして、脆弱層 (flabby sheaf), 細層 (fine sheaf), 軟弱層 (soft sheaf), 非輪状層 (acyclic sheaf) などがある。歴史的には入射層の概念は、1957年アレクサンドル・グロタンディークの「東北論文」（アーベル圏が理論を得るのに十分な入射対象を持つことを示したもの）より前には導入されていた。先に挙げたほかの層のクラスはより古いものである。コホモロジーおよび導来函手を定義するための抽象的な枠組みはそれらに必要なものではない。しかし多くの具体的な状況下では、非輪状層による分解はしばしば構成が容易であり、したがって計算目的（たとえばルレイスペクトル系列）では非輪状層を考える。

出典：Wikipedia日本語版