Flasque resolution ($0\to \mathcal{F}\to {\mathcal{I}}^0\to {\mathcal{I}}^1\to \cdots$)

A flasque resolution is an exact sequence of sheaves of abelian groups whose terms ${\mathcal{I}}^j$ are flasque sheaves. Every such sheaf embeds by its section germs into the sheaf $U\mapsto {\prod }_{P\in U}{\mathcal{F}}_P$. Its restriction maps are projections, so it is flasque. Apply this construction successively to the cokernels to obtain a resolution. The sheaf cohomology of $\mathcal{F}$ is the cohomology of the cochain complex $\Gamma (X,{\mathcal{I}}^{\bullet })$. A quotient of two flasque sheaves in a short exact sequence of sheaves is flasque: the flasque kernel allows local lifts to be glued into a section of the middle sheaf over the smaller open set; extend that lift using flasqueness of the middle sheaf, and project. Consequently the resolution's successive cokernels are flasque when $\mathcal{F}$ is flasque, and exactness of sections shows that all its positive-degree cohomology vanishes.

Embed a sheaf of abelian groups $\mathcal{F}$ into the sheaf $C(\mathcal{F})(U)={\prod }_{P\in U}{\mathcal{F}}_P$ by all its germs. Restrictions are projections, so $C(\mathcal{F})$ is flasque. Repeat on the successive sheaf cokernels to obtain a canonical flasque resolution. Its complex of global sections computes sheaf cohomology. When $\mathcal{F}$ is itself flasque, the flasque-kernel section-lifting lemma makes every successive quotient flasque and makes the global-section complex exact in positive degrees, proving $H^q(X,\mathcal{F})=0$ for $q>0$ without assuming that vanishing in the construction.