Commit 2023-12-27 05:26 b6d69218

feat(Algebra/Homology): the category of complexes up to quasi-isomorphisms (#8970) In this PR, we define the category of homological complexes up to quasi-isomorphisms. The derived category of an abelian category shall be a particular case on this construction, but the additional structures on the derived category will require more work.