Proposition 10.8. The functor is a localizing invariant of stable -categories with values in the stable -category of spectra.
Proof. The localization theorem of [10, 7.1] implies takes strict-exact sequences of spectral categories to strict exact sequences of small stable -categories. Thus, we need to show that preserve filtered colimits. We know this for , and the result now follows inductively from consideration of the fundamental cofibration sequence (e.g., [39, 2.1.4])
(where the left-hand term denotes the homotopy orbit space) and the fact that homotopy orbits commute with filtered colimits. ∎
Original source: arXiv:1001.2282v4