Let be a dg-category, so that one has a mapping complex of morphisms between any two objects and . In analogy with simplicially enriched categories, the homotopy category of is the preadditive category whose objects are the objects of , morphism groups are given by
for any two objects and , and composition is induced from the composition law of . Here denotes the zeroth cohomology group of the complex (which is by convention graded cohomologically).
Created on August 23, 2014 at 12:34:56. See the history of this page for a list of all contributions to it.