of the surjection B → C, giving a short exact sequence of sheaves on X. Then there is a long exact sequence of abelian groups, called sheaf cohomology groups: where H0(X,A) is the group A(X) of global sections of A on X. For example, if the group H1(X,A) is zero, then this exact sequence implies that every global section of C lifts to a global section of B. More broadly, the exact sequence makes knowledge of higher cohomology groups a fundamental tool in aiming to understand sections of sheaves. Grothendieck's definition of sheaf cohomology, now standard, uses the language of homological algebra. The essential point is to fix a topological space X and think of cohomology as a functor from sheaves of abelian groups on X to abelian groups. In more detail, start with the functor E ↦ E(X) from sheaves of abelian groups on X to abelian groups. This is left exact, but in general not right exact. Then the groups Hi(X,E) for integers i are defined as the right derived functors of the functor E ↦ E(X). This makes it automatic that Hi(X,E) is zero for i < 0, and that H0(X,E) is the group E(X) of global sections. The long exact sequence above is also straightforward from this definition. The definition of derived functors uses that the category of sheaves of abelian groups on any topological space X has enough injectives; that is, for every sheaf E there is an injective sheaf I with an injection E → I. It follows that every sheaf E has an injective resolution: Then the sheaf cohomology groups Hi(X,E) are the cohomology groups (the kernel of one homomorphism modulo the image of the previous one) of the chain complex of abelian groups: Standard arguments in homological algebra imply that these cohomology groups are independent of the choice of injective resolution of E. The definition is rarely used directly to compute sheaf cohomology. It is nonetheless powerful, because it works in great generality (any sheaf of abelian groups on any topological space), and it easily implies the formal properties of sheaf cohomology, such as the long exact sequence above. For specific classes of spaces or sheaves, there are many tools for computing sheaf cohomology, some discussed below. Functoriality For any continuous map f: X → Y of topological spaces, and any sheaf E of abelian groups on Y, there is a pullback