Definition 92.3.2. The cotangent complex L_{B/A} of a ring map A \to B is the complex of B-modules associated to the simplicial B-module
\Omega _{P_\bullet /A} \otimes _{P_\bullet , \epsilon } B
where \epsilon : P_\bullet \to B is the standard resolution of B over A.
Comments (0)
There are also: