Lemma 17.29.6. Let $X$ be a topological space. Let $\mathcal{O}_1 \to \mathcal{O}_2$ be a homomorphism of sheaves of rings on $X$. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_2$-modules. There is a canonical short exact sequence

functorial in $\mathcal{F}$ called the *sequence of principal parts*.

## Comments (0)