Definition 21.17.14. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $\mathcal{F}$, $\mathcal{G}$ be $\mathcal{O}$-modules. The *Tor*'s of $\mathcal{F}$ and $\mathcal{G}$ are defined by the formula

\[ \text{Tor}_ p^\mathcal {O}(\mathcal{F}, \mathcal{G}) = H^{-p}(\mathcal{F} \otimes _\mathcal {O}^\mathbf {L} \mathcal{G}) \]

with derived tensor product as defined above.

## Comments (2)

Comment #2106 by Kestutis Cesnavicius on

Comment #2132 by Johan on