Documentation

DerivedAlgGeo.Algebra.Homology.HomotopyCategory.DGEnhancement

The dg enhancement of the homotopy category #

The dg category of cochain complexes is pretriangulated and its H⁰ is equivalent to the ordinary homotopy category, compatibly with shifts and the triangulated structures.