Lemma 91.20.4. Let $f : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. There is a canonical map $L_{X/Y} \to \mathop{N\! L}\nolimits _{X/Y}$ which identifies the naive cotangent complex with the truncation $\tau _{\geq -1}L_{X/Y}$.

Proof. Special case of Lemma 91.18.10. $\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).