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.

Comment #2106 by Kestutis Cesnavicius on

"are define" ---> "are defined"

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).