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. β