Remark 74.23.4. The pseudo-coherent complex $L$ of part (B) of Lemma 74.23.3 is canonically associated to the situation. For example, formation of $L$ as in (B) is compatible with base change. In other words, given a cartesian diagram

of schemes we have canonical functorial isomorphisms

for $\mathcal{F}'$ quasi-coherent on $Y'$. Obsere that we do **not** use derived pullback on $\mathcal{G}^\bullet $ on the right hand side. If we ever need this, we will formulate a precise result here and give a detailed proof.

## Comments (0)