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