Derived ∞-category of a ring

Example 6.1.20. Let \(R\) be an associative ring, and consider the abelian category \(\Aa = \RMod _R(\Ab )\) of right \(R\)-modules in the category of abelian groups. We denote the resulting derived \(\infty \)-category by \(\D (R) := \D (\RMod _R(\Ab ))\). In particular \(\D (\Z ) = \D (\Ab )\).