Lemma 29.32.2. Let $f : X \to S$ be a morphism of schemes. The map

\[ \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ X}(\Omega _{X/S}, \mathcal{F}) \longrightarrow \text{Der}_ S(\mathcal{O}_ X, \mathcal{F}),\quad \alpha \longmapsto \alpha \circ \text{d}_{X/S} \]

is an isomorphism of functors $\textit{Mod}(\mathcal{O}_ X) \to \textit{Sets}$.

## Comments (0)