Definition 21.17.13. Let (\mathcal{C}, \mathcal{O}) be a ringed site. Let \mathcal{F}^\bullet be an object of D(\mathcal{O}). The derived tensor product
- \otimes _\mathcal {O}^{\mathbf{L}} \mathcal{F}^\bullet : D(\mathcal{O}) \longrightarrow D(\mathcal{O})
is the exact functor of triangulated categories described above.
Comments (0)