Lemma 85.14.6. In Situation 85.3.3 let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. If $K, K' \in D(\mathcal{O})$. Assume
$f_\varphi ^{-1}\mathcal{O}_ n \to \mathcal{O}_ m$ is flat for $\varphi : [m] \to [n]$,
$K$ is cartesian,
$\mathop{\mathrm{Hom}}\nolimits (K_ i[i - 1], K'_ i) = 0$ for $i > 1$.
Then any map $\{ K_ n \to K'_ n\} $ between the associated simplicial systems of $K$ and $K'$ comes from a map $K \to K'$ in $D(\mathcal{O})$.
Comments (0)