Lemma 21.35.9. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $L$ be an object of $D(\mathcal{O})$. Set $L^\vee = R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (L, \mathcal{O})$. For $M$ in $D(\mathcal{O})$ there is a canonical map

21.35.9.1
\begin{equation} \label{sites-cohomology-equation-eval} M \otimes ^\mathbf {L}_\mathcal {O} L^\vee \longrightarrow R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (L, M) \end{equation}

which induces a canonical map

\[ H^0(\mathcal{C}, M \otimes _\mathcal {O}^\mathbf {L} L^\vee ) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O})}(L, M) \]

functorial in $M$ in $D(\mathcal{O})$.

## Comments (0)

There are also: