（メモ）
層は、関数論としては、まずは連接層を考えればいいのかもね
https://ja.wikipedia.org/wiki/%E9%80%A3%E6%8E%A5%E5%B1%A4
連接層
(抜粋)
数学では、特に代数幾何学や複素多様体やスキームの理論では、連接層(れんせつそう、英: coherent sheaf)とは、底空間の幾何学的性質に密接に関連する、扱いやすい性質をもった特別な層である。

連接層は有限ランクのベクトルバンドルや局所自由層の一般化とみなすことができる。ベクトルバンドルとは違い、連接層のなす圏は、核（英語版）や余核や有限の直和といった操作で閉じている｢素晴らしい｣圏である。準連接層(じゅんれんせつそう、英：quasi-coherent sheaf)は連接層における有限性の仮定をはずしたもので、ランク無限の局所自由層を含んでいる。

代数幾何学や複素解析の多くの結果や性質が、連接層、準連接層やそれらのコホモロジーのことばで定式化される。

目次
1 定義
2 連接層の例
3 性質
4 連接コホモロジー
5 脚注
6 参考文献
7 外部リンク

定義
環付き空間 (X, OX) の上 OX-加群の層 F が連接層であるとは、次の性質をもつ場合をいう[1]。