Miller, Haynes (2000). "Leray in Oflag XVIIA: The origins of sheaf theory, sheaf cohomology, and spectral sequences" (PS)が面白い そうなんか、そうなんや、層なんや https://en.wikipedia.org/wiki/Jean_Leray Jean Leray (French: [l???]; 7 November 1906 ? 10 November 1998)[1] was a French mathematician, who worked on both partial differential equations and a
327 名前：lgebraic topology.
Leray's work of this period proved seminal to the development of spectral sequences and sheaves.[4] These were subsequently developed by many others,[5]
5. Miller, Haynes (2000). "Leray in Oflag XVIIA: The origins of sheaf theory, sheaf cohomology, and spectral sequences" (PS). http://www-math.mit.edu/~hrm/papers/ss.ps []
局所切断と切断の層 ファイバー束はその底空間全域で定義される切断（大域切断、global section）を一般には持たないが、それゆえ局所的にのみ定義される切断というものを考えることも重要である。 ファイバー束 (E, π, B) の（連続な）局所切断 (local section) とは、U を底空間 B の開集合とするときの連続写像 s: U → E であって、束射影 π について U のすべての元 x に対して π(s(x)) = x をみたすようなものを言う。 (U, φ) が E の局所自明化（つまり F をファイバーとして φ が π?1(U) から U × F への同相写像を与えるもの）とするとき、U 上の局所切断は常に存在して、それは U から F への連続写像と一対一に対応する。 このような局所切断の（U を任意に動かすときの）全体は底空間 B 上の層を成し、ファイバー束 E の切断の層 (sheaf of sections) と呼ばれる。 ファイバー束 E の開集合 U 上の連続（局所）切断全体の成す空間はときに C(U,E) とも表され、また E の大域切断全体の成す空間はしばしば Γ(E) や Γ(B,E) と表される。
https://en.wikipedia.org/wiki/Section_(fiber_bundle) Section (fiber bundle) (抜粋) Local and global sections
Generalizations Obstructions to extending local sections may be generalized in the following manner: take a topological space and form a category whose objects are open subsets, and morphisms are inclusions. Thus we use a category to generalize a topological space. We generalize the notion of a "local section" using sheaves of abelian groups, which assigns to each object an abelian group (analogous to local sections).
There is an important distinction here: intuitively, local sections are like "vector fields" on an open subset of a topological space. So at each point, an element of a fixed vector space is assigned. However, sheaves can "continuously change" the vector space (or more generally abelian group).
This entire process is really the global section functor, which assigns to each sheaf its global section. Then sheaf cohomology enables us to consider a similar extension problem while "continuously varying" the abelian group. The theory of characteristic classes generalizes the idea of obstructions to our extensions.
See also Fibration https://en.wikipedia.org/wiki/Fibration
