TOPICS
Search

Homotopy Category


The homotopy category of chain complexes over a ring has the same objects as the category of chain complexes and has chain maps modulo chain homotopy as its morphisms. Composition is induced by composition of chain maps. Its localization at quasi-isomorphisms gives the derived category.

More generally, a differential graded category C has a homotopy category H^0(C) whose morphisms are the degree-zero cohomology groups of its morphism complexes. For the differential graded category of complexes, closed degree-zero morphisms are chain maps and degree-zero boundaries are null-homotopic maps, recovering the preceding definition (Stacks Project, Definition 22.26.1).


See also

Chain Complex, Chain Homotopy, Derived Category, Differential Graded Category, Quasi-Isomorphism

Explore with Wolfram|Alpha

References

Stacks Project. "Differential Graded Categories." Definition 22.26.1. https://stacks.math.columbia.edu/tag/09L4.

Cite this as:

Weisstein, Eric W. "Homotopy Category." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/HomotopyCategory.html

Subject classifications