In homological algebra in mathematics, the homotopy categoryK(A) of chain complexes in an additive category A is a framework for working with chain homotopies and homotopy equivalences. It lies intermediate between the category of chain complexes Kom(A) of A and the derived category D(A) of A when A is abelian; unlike the former it is a triangulated category, and unlike the latter its formation does not require that A is abelian. Philosophically, while D(A) turns into isomorphisms any maps of complexes that are quasi-isomorphisms in Kom(A), K(A) does so only for those that are quasi-isomorphisms for a "good reason", namely actually having an inverse up to homotopy equivalence. Thus, K(A) is more understandable than D(A).
and 23 Related for: Homotopy category of chain complexes information
mathematics, the homotopycategory K(A) ofchaincomplexes in an additive category A is a framework for working with chainhomotopies and homotopy equivalences...
manifolds induce chain maps, and smooth homotopies between maps induce chainhomotopies. Chaincomplexesof K-modules with chain maps form a category ChK, where...
In mathematics, the homotopycategory is a category built from the categoryof topological spaces which in a sense identifies two spaces that have the...
are homotopy equivalent to each other, i.e. isomorphic in the homotopycategory. Moreover, morphisms ofcomplexes extend uniquely to a morphism of two...
singular chaincomplex. The singular homology is then the homology of the chaincomplex. The resulting homology groups are the same for all homotopy equivalent...
relating them. These abstract from the categoryof topological spaces or ofchaincomplexes (derived category theory). The concept was introduced by Daniel...
meet the needs ofhomotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains...
triangles". Prominent examples are the derived categoryof an abelian category, as well as the stable homotopycategory. The exact triangles generalize the short...
category if it satisfies the following axioms, motivated by the similar properties for the notions of cofibrations and weak homotopy equivalences of topological...
corresponding homotopycategory is equivalent to the familiar homotopycategoryof topological spaces. Simplicial sets are used to define quasi-categories, a basic...
generalization ofchaincomplexes, the homology groups of the chaincomplex becoming the homotopy groups of the “non-commutative chaincomplex” or stack....
illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely...
mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopyof the loops contained...
class of abelian categories is closed under several categorical constructions, for example, the categoryofchaincomplexesof an abelian category, or the...
Grassmannian. chainhomotopy Given chain maps f , g : ( C , d C ) → ( D , d D ) {\displaystyle f,g:(C,d_{C})\to (D,d_{D})} between chaincomplexesof modules...
In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with...
the localization of the categoryofchaincomplexes (up to homotopy) with respect to the quasi-isomorphisms. Given an abelian category A and a Serre subcategory...
mathematics, Kan complexes and Kan fibrations are part of the theory of simplicial sets. Kan fibrations are the fibrations of the standard model category structure...
homotopy equivalence from a CW complex, this axiom reduces homology or cohomology theories on all spaces to the corresponding theory on CW complexes....