Lemma 13.19.6. Let $\mathcal{A}$ be an abelian category. Consider a solid diagram
\[ \xymatrix{ K^\bullet & L^\bullet \ar[l]^\alpha \\ P^\bullet \ar[u] \ar@{-->}[ru]_\beta } \]
where $P^\bullet $ is bounded above and consists of projective objects, and $\alpha $ is a quasi-isomorphism.
There exists a map of complexes $\beta $ making the diagram commute up to homotopy.
If $\alpha $ is surjective in every degree then we can find a $\beta $ which makes the diagram commute.
Comments (0)