- why are sheafs defined using abelian groups?
Let M be a manifold. The space of cotangent spaces to M is called the cotangent bundle T*M. a function on M can be lifted into the cotangent bundle. On the manifold T*M we can define a 1-form θ which describes the natural lifts and so on. A vector field on M is a section of the tangent bundle. The space of sections of T*M is denoted Γ(T*M) and is an example of a sheaf. The set of k-forms at the point p is denoted ∧kT*Mp. the sheaf of p-forms on M is denoted Ωp, which is equal to Γ(∧pT*M). Restrictions of the sections Γ to an open set U has the natural structure of a vector space. If we want to talk about a sheaf of groups, or a sheaf of rings or a sheaf of some other type of objects, we have to assign abelian groups to the restrictions Γ(U) rather than vector spaces. how is this idea motivated or understood?