Definition 17.31.6. The naive cotangent complex $\mathop{N\! L}\nolimits _ f = \mathop{N\! L}\nolimits _{X/Y}$ of a morphism of ringed spaces $f : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ is $\mathop{N\! L}\nolimits _{\mathcal{O}_ X/f^{-1}\mathcal{O}_ Y}$.
Comments (0)