Remark 36.35.12. The reader may have noticed the similarity between Lemma 36.35.11 and Lemma 36.28.3. Indeed, the pseudo-coherent complex $L$ of Lemma 36.35.11 may be characterized as the unique pseudo-coherent complex on $S$ such that there are functorial isomorphisms
compatible with boundary maps for $\mathcal{F}$ ranging over $\mathit{QCoh}(\mathcal{O}_ S)$. If we ever need this we will formulate a precise result here and give a detailed proof.
Comments (0)