Lemma 47.13.8. In Situation 47.13.6 assume that

$E$ viewed as an object of $D(R)$ is compact, and

$N = \mathop{\mathrm{Hom}}\nolimits ^\bullet _ R(E^\bullet , R)$ computes $R\mathop{\mathrm{Hom}}\nolimits (E, R)$.

Then $R\mathop{\mathrm{Hom}}\nolimits (E, -) : D(R) \to D(E)$ is isomorphic to $K \mapsto K \otimes _ R^\mathbf {L} N$.

## Comments (0)