Exercise 6.2.2. Show that for an associative ring \(R\) the forgetful functor \(\RMod _R(\Ab ) \to \Ab \) induces a functor \(\D (R) \to \D (\Z )\). Show that the composite \(\D (R) \to \D (\Z ) \xrightarrow {H} \Sp \) may be identified with \(\hom _{\D (R)}(R[0],-)\).
Generated from the authoritative LaTeX source.