related by the Dold-Kan correspondence
Given a category with weak equivalences , then its homotopy category is, if it exists, the result of universally forcing the weak equivalences to become actual isomorphisms, also called the localization at the weak equivalences
The classical example is the category of topological spaces with weak equivalences those continuous functions which are homotopy equivalences or weak homotopy equivalences. The corresponding homotopy category is often referred to as “the homotopy category”, by default, or the “classical homotopy category” for emphasis. This turns out to be equivalent to the category of topological spaces or (for weak homotopy equivalences) of just those homoemorphic to CW-complexes with left homotopy-classes of continuous functions between them, whence the name “homotopy category”.
The existence of a homotopy category, as well as tractable presentations of it typically require extra properties of the class of weak equivalences (such as that they admit a calculus of fractions) or even extra structure (such as fibration category/cofibration category structure, or full model category structure, or further enhancements of that to simplicial model category structures, etc). See at homotopy category of a model category for more on this.
More generally, to every (∞,1)-category is associated a homotopy category, whose morphisms are literally the homotopy classes of the original morphisms. See at homotopy category of an (∞,1)-category for more on this.
These two concepts of “homotopy category” are compatible: to a category with weak equivalences is associated, if it exsists, an (∞,1)-category obtained by universally forcing the weak equivalences to become actual homotopy equivalences, also called the simplicial localization at the weak equivalences. The homotopy categories of and of coincide, which justifies the terminology “homotopy category” generally.
Given a simplicially enriched category , we can form for each pair of objects, , of objects of , the set, , of connected components of the ‘function space’ . As preserves finite limits, this gives a category, denoted . As 1-simplices in can be often interpreted as being homotopies, this category is often called the homotopy category of , and then the notation may be used.
This notions is closely related to the next, by using, say the hammock localisation of Dwyer and Kan, as then of that simplicially enriched category, coincides with the following.
that sends every weak equivalence in to an isomorphism in .
One also writes or and calls it the localization of at the collection of weak equivalences.
More in detail, the universality of means the following:
The second condition implies that the functor in the first condition is unique up to unique isomorphism.
If it exists, the homotopy category is unique up to equivalence of categories.
As described at localization, in general, the morphisms of must be constructed using zigzags of morphisms in in which the backwards-pointing arrows are weak equivalences. This means that in general, need not be locally small even if is. However, in many cases (such as any model category) there is a more direct description of the morphisms in as homotopy classes of maps in between suitably “good” (fibrant and cofibrant) objects.
In 2-categorical terms, the homotopy category is the coinverter of the canonical 2-cell
where is the category whose objects are morphisms in and whose morphisms are commutative squares in .
Ho(Top) is often restricted to the full subcategory of spaces of the homotopy type of a CW-complex (the full subcategory of CW-complexes in ). This is equivalent to , the homotopy category of the standard Quillen-model structure on simplicial sets. This equivalence is one aspect of the homotopy hypothesis.
See the references at model category.