Lemma 38.20.4. In Situation 38.20.3.

If $A' \to A''$ is a flat morphism in $\mathcal{C}$ then $F_{lf}(A') = F_{lf}(A'')$.

If $A \to B$ is essentially of finite presentation and $M$ is a $B$-module of finite presentation, then $F_{lf}$ is limit preserving: If $\{ A_ i\} _{i \in I}$ is a directed system of objects of $\mathcal{C}$, then $F_{lf}(\mathop{\mathrm{colim}}\nolimits _ i A_ i) = \mathop{\mathrm{colim}}\nolimits _ i F_{lf}(A_ i)$.

## Comments (0)

There are also: