Definition 20.26.13. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $\mathcal{F}^\bullet $ be an object of $D(\mathcal{O}_ X)$. The *derived tensor product*

\[ - \otimes _{\mathcal{O}_ X}^{\mathbf{L}} \mathcal{F}^\bullet : D(\mathcal{O}_ X) \longrightarrow D(\mathcal{O}_ X) \]

is the exact functor of triangulated categories described above.

## Comments (0)