The Stacks project

Lemma 13.5.7. Let $\mathcal{D}$ be a pre-triangulated category. Let $S$ be a multiplicative system compatible with the triangulated structure. Let $Q : \mathcal{D} \to S^{-1}\mathcal{D}$ be the localization functor, see Proposition 13.5.6.

1. If $H : \mathcal{D} \to \mathcal{A}$ is a homological functor into an abelian category $\mathcal{A}$ such that $H(s)$ is an isomorphism for all $s \in S$, then the unique factorization $H' : S^{-1}\mathcal{D} \to \mathcal{A}$ such that $H = H' \circ Q$ (see Categories, Lemma 4.27.8) is a homological functor too.

2. If $F : \mathcal{D} \to \mathcal{D}'$ is an exact functor into a pre-triangulated category $\mathcal{D}'$ such that $F(s)$ is an isomorphism for all $s \in S$, then the unique factorization $F' : S^{-1}\mathcal{D} \to \mathcal{D}'$ such that $F = F' \circ Q$ (see Categories, Lemma 4.27.8) is an exact functor too.