Homotopy colimit and limit

In mathematics, especially in algebraic topology, the homotopy limit and colimitpg 52 are variants of the notions of and colimit extended to the homotopy category . The main idea is this: if we have a diagramconsidered as an object in the , (where the homotopy equivalence of diagrams is considered pointwise), then the homotopy limit and colimits then correspond to the and coconewhich are objects in the homotopy category , where is the category with one object and one morphism. Note this category is equivalent to the standard homotopy category since the latter homotopy functor category has functors which picks out an object in and a natural transformation corresponds to a continuous function of topological spaces. Note this construction can be generalized to model categories, which give techniques for constructing homotopy limits and colimits in terms of other homotopy categories, such as . Another perspective formalizing these kinds of constructions are derivatorspg 193 which are a new framework for homotopical algebra. The concept of homotopy colimitpg 4-8 is a generalization of homotopy pushouts, such as the mapping cylinder used to define a cofibration. This notion is motivated by the following observation: the (ordinary) is the space obtained by contracting the n-1-sphere (which is the boundary of the n-dimensional disk) to a single point. This space is homeomorphic to the n-sphere Sn. On the other hand, the pushout is a point. Therefore, even though the (contractible) disk Dn was replaced by a point, (which is homotopy equivalent to the disk), the two pushouts are not homotopy (or weakly) equivalent. Therefore, the pushout is not well-aligned with a principle of homotopy theory, which considers weakly equivalent spaces as carrying the same information: if one (or more) of the spaces used to form the pushout is replaced by a weakly equivalent space, the pushout is not guaranteed to stay weakly equivalent. The homotopy pushout rectifies this defect. The homotopy pushout of two maps of topological spaces is defined as i.