Commit 2026-03-03 23:24 f469ffc8
View on Github →feat(Algebra/Homology): lifting properties for cochain complexes (#35971)
From a degreewise lifting, we obtain a lifting, provided a suitable 1-cocycle is a coboundary.
This will be used in order to verify the axioms of model category structures for categories of bounded below complexes in abelian categories with enough injectives.