The Stacks project

Proof. Write $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i$ as a directed colimit with each $\mathcal{F}_ i$ of finite presentation, see Lemma 28.22.7. Choose a finite affine open covering $X = \bigcup V_ j$ and choose finitely many sections $s_{jl} \in \mathcal{F}(V_ j)$ generating $\mathcal{F}|_{V_ j}$, see Lemma 28.16.1. By Sheaves, Lemma 6.29.1 we see that $s_{jl}$ is in the image of $\mathcal{F}_ i \to \mathcal{F}$ for $i$ large enough. Hence $\mathcal{F}_ i \to \mathcal{F}$ is surjective for $i$ large enough. Choose such an $i$ and let $\mathcal{K} \subset \mathcal{F}_ i$ be the kernel of the map $\mathcal{F}_ i \to \mathcal{F}$. Since $\mathcal{F}_ U$ is of finite presentation, we see that $\mathcal{K}|_ U$ is of finite type, see Modules, Lemma 17.11.3. Hence we can find a finite type quasi-coherent submodule $\mathcal{K}' \subset \mathcal{K}$ with $\mathcal{K}'|_ U = \mathcal{K}|_ U$, see Lemma 28.22.2. Then $\mathcal{G} = \mathcal{F}_ i/\mathcal{K}'$ with the given map $\mathcal{G} \to \mathcal{F}$ is a solution. $\square$