Definition 92.3.1. Let $A \to B$ be a ring map. The standard resolution of $B$ over $A$ is the augmentation $\epsilon : P_\bullet \to B$ with terms
\[ P_0 = A[B],\quad P_1 = A[A[B]],\quad \ldots \]
and maps as constructed in Simplicial, Example 14.34.7.
Comments (2)
Comment #11063 by Marco Eibrink on
Comment #11226 by Stacks project on
There are also: