Lemma 9.35. Let be a small stable idempotent-complete -category. Then the functor given by preserves equivalences, filtered colimits, the point, and exact sequences.
Original source: arXiv:1001.2282v4
Lemma 9.35. Let be a small stable idempotent-complete -category. Then the functor given by preserves equivalences, filtered colimits, the point, and exact sequences.
Proof. It follows from the definition that preserves equivalences, filtered colimits, and the point. The characterization of [53, 6.3.1.16] implies that it preserves exact sequences. ∎
Original source: arXiv:1001.2282v4