1.1. Sheaves. Let X be a topological space. A sheaf F on X associates to each open set U an abelian group F (U), called the sections of F over U , along with a restriction map rV,U : F (V ) → F (U) for any open sets U ⊂ V (for a section σ ∈ F (V ), we often write σ|U to denote rV,U (σ)), satisfying the following conditions: (1) For any open sets U ⊂ V ⊂W , rV,U ◦ rW,V = rW,U ; (2) For a collect...