Remark 13.24.2. Suppose $inj$ is a functor such that $s \circ inj = \text{id}$ as in part (2) of Lemma 13.24.1. Write $inj(K^\bullet ) = (i_{K^\bullet } : K^\bullet \to j(K^\bullet ))$ as in the proof of that lemma. Suppose $\alpha : K^\bullet \to L^\bullet $ is a map of bounded below complexes. Consider the map $inj(\alpha )$ in the category $\text{InjRes}(\mathcal{A})$. It induces a commutative diagram

of morphisms of complexes. Hence, looking at the proof of Lemma 13.23.3 we see that the functor $j : K^{+}(\mathcal{A}) \to K^{+}(\mathcal{I})$ is given by the rule

Hence we see that $j$ matches $t \circ inj$ in this case, i.e., the diagram

is commutative.

## Comments (0)