lim ---> colim

Thanks to BB
http://stacks.math.columbia.edu/tag/086M#comment-2653

properties.tex

@@ -2890,7 +2890,7 @@ \section{Extending quasi-coherent sheaves}
 \label{lemma-finite-directed-colimit-surjective-maps}
 Let $X$ be a scheme. Assume $X$ is quasi-compact and quasi-separated.
 Let $\mathcal{F}$ be a finite type quasi-coherent $\mathcal{O}_X$-module.
-Then we can write $\mathcal{F} = \lim \mathcal{F}_i$ with $\mathcal{F}_i$
+Then we can write $\mathcal{F} = \colim \mathcal{F}_i$ with $\mathcal{F}_i$
 of finite presentation and all transition maps
 $\mathcal{F}_i \to \mathcal{F}_{i'}$ surjective.
 \end{lemma}