Lemma 28.22.7. Let $X$ be a scheme. Assume $X$ is quasi-compact and quasi-separated. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. There exist

1. a directed set $I$ (see Categories, Definition 4.21.1),

2. a system $(\mathcal{F}_ i, \varphi _{ii'})$ over $I$ in $\textit{Mod}(\mathcal{O}_ X)$ (see Categories, Definition 4.21.2)

3. morphisms of $\mathcal{O}_ X$-modules $\varphi _ i : \mathcal{F}_ i \to \mathcal{F}$

such that each $\mathcal{F}_ i$ is of finite presentation and such that the morphisms $\varphi _ i$ induce an isomorphism

$\mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i = \mathcal{F}.$

Proof. This is a direct consequence of Lemma 28.22.6 and Categories, Lemma 4.21.5 (combined with the fact that colimits exist in the category of sheaves of $\mathcal{O}_ X$-modules, see Sheaves, Section 6.29). $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).