Remark 6.3.22. Combining Example 6.3.20 and Proposition 6.3.21, we see that the Eilenberg–MacLane functor \(H\colon \D (\Z ) \to \Sp \) from Definition 6.2.1 restricts to an equivalence \(\Ab \iso \Sp ^{\heartsuit }\) on hearts. In particular, \(H\) is t-exact.
Generated from the authoritative LaTeX source.