Lemma 13.19.7. Let $\mathcal{A}$ be an abelian category. Consider a solid diagram

where $P^\bullet $ is bounded above and consists of projective objects, and $\alpha $ is a quasi-isomorphism. Any two morphisms $\beta _1, \beta _2$ making the diagram commute up to homotopy are homotopic.

## Comments (0)