Lemma 18.33.5. Let $f : \mathop{\mathit{Sh}}\nolimits (\mathcal{D}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ be a morphism of topoi. Let $\varphi : \mathcal{O}_1 \to \mathcal{O}_2$ be a homomorphism of sheaves of rings on $\mathcal{C}$. Then there is a canonical identification $f^{-1}\Omega _{\mathcal{O}_2/\mathcal{O}_1} = \Omega _{f^{-1}\mathcal{O}_2/f^{-1}\mathcal{O}_1}$ compatible with universal derivations.

Proof. This holds because the sheaf $\Omega _{\mathcal{O}_2/\mathcal{O}_1}$ is the cokernel of the map (18.33.2.1) and a similar statement holds for $\Omega _{f^{-1}\mathcal{O}_2/f^{-1}\mathcal{O}_1}$, because the functor $f^{-1}$ is exact, and because $f^{-1}(\mathcal{O}_2[\mathcal{O}_2]) = f^{-1}\mathcal{O}_2[f^{-1}\mathcal{O}_2]$, $f^{-1}(\mathcal{O}_2[\mathcal{O}_2 \times \mathcal{O}_2]) = f^{-1}\mathcal{O}_2[f^{-1}\mathcal{O}_2 \times f^{-1}\mathcal{O}_2]$, and $f^{-1}(\mathcal{O}_2[\mathcal{O}_1]) = f^{-1}\mathcal{O}_2[f^{-1}\mathcal{O}_1]$. $\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).