Remark 20.17.2. The “correct” version of the base change map is map

$Lg^* Rf_* \mathcal{F}^\bullet \longrightarrow R(f')_* L(g')^*\mathcal{F}^\bullet .$

The construction of this map involves unbounded complexes, see Remark 20.28.3.

Comment #5369 by Will Chen on

I think there's an extra "map" in the first line.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).