Proof. Recall that is the composite (9.3). Hence, the claim follows from the fact that the passage to and to -compact objects preserves -filtered colimits [52, 5.5.7.8, 5.5.7.10, 5.5.7.11]. Since is the cofiber of the inclusion and colimits commute, we deduce that preserves -filtered colimits if does. ∎
Original source: arXiv:1001.2282v4