Exact sequence of sheaves

An exact sequence of sheaves of abelian groups is a sequence of sheaf homomorphisms for which the image of each map equals the kernel of the next. Exactness can be checked on every stalk of a sheaf. Exactness of the associated sequences of sections on every open set is a stronger condition: a surjective sheaf homomorphism need only admit lifts locally.

A sequence $0\to {\mathcal{F}}^{\prime }\to \mathcal{F}\to {\mathcal{F}}^{\prime \prime }\to 0$ of sheaves is exact exactly when the induced sequence on every stalk is exact.