Lemma 13.5.6. 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.5.

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.

Proof. This lemma proves itself. Details omitted. $\square$

There are also:

• 2 comment(s) on Section 13.5: Localization of triangulated categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).