Exercise 111.30.11. Let \mathcal{A} be an abelian category. Consider a solid diagram
of complexes of \text{Fil}^ f(\mathcal{A}). Assume K^\bullet , L^\bullet and I^\bullet are bounded below and assume each I^ n is a filtered injective object. Also assume that \alpha is a filtered quasi-isomorphism.
There exists a map of complexes \beta making the diagram commute up to homotopy.
If \alpha is a strict monomorphism in every degree then we can find a \beta which makes the diagram commute.
Comments (0)