View source for Homotopy coherence

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct and if all png images have been replaced by TeX code, please remove this message and the {{TEX|semi-auto}} category.

Out of 51 formulas, 50 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|part}}
Perhaps the simplest instance of homotopy coherence occurs when, in a commutative [[Diagram|diagram]] $X$ involving topological spaces, one or more spaces are to be deformed via a homotopy equivalence to another space (cf. also [[Homotopy|Homotopy]]). There results a diagram, obtained by replacing each of the chosen spaces by the corresponding deformed variant, and each of the mappings between spaces by the composite of the old mapping with the deforming homotopy equivalences, but this new diagram $Y$ is not likely to commute. It will clearly be homotopy commutative, that is, it will correspond to a commutative diagram in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h120/h120130/h1201303.png"/>, the homotopy category of spaces and homotopy classes of mappings, but more is true. The homotopies that are needed to give homotopy commutativity can be written down specifically in terms of the data on the deforming homotopy equivalences. Specifying the homotopies one finds that if there is a composable sequence of mappings in the original diagram, say $n$ mappings $f _ { 1 } , \ldots , f _ { n }$, with the domain of each equal to the co-domain of the next, then certain of the corresponding homotopies in the new diagram $Y$ are themselves composable and these composite homotopies are homotopic by (specified) $2$-fold homotopies. Some of these $2$-fold homotopies themselves can be composed and the composites are homotopic by $3$-fold homotopies, and so on. Here, a $2$-fold homotopy is a mapping $Y ( i ) \times I ^ { 2 } \rightarrow Y ( j )$ (where $I = [ 0,1 ]$) and, in general, a $k$-fold homotopy has as domain some $X ( i ) \times I ^ { k }$. The general situation with $n$ composable mappings yields an $( n - 1 )$-fold homotopy. This has faces which are themselves $( n - 2 )$-fold homotopies coming from subcollections or subcomposites of the $n$ mappings and these various homotopies at different levels are related by coherence conditions, explicitly given by R.M. Vogt, [[#References|[a12]]]. The result is a homotopy coherent diagram in $T o p$, cf. [[#References|[a7]]].

If the original diagram was indexed by a [[Category|category]] $A$, the new diagram with all the specified homotopies can be indexed by an enriched category $S ( A )$, enriched either by $T o p$, a suitable category of topological spaces, or by $\mathcal{S}$, the category of simplicial sets (cf. also [[Simplicial set|Simplicial set]]), and then the co-domain of the resulting enriched functor will be $T o p$ with its self-enrichment or with its simplicially enriched structure with $\underline{ Top } ( X , Y ) _ { n } =  Top   ( X \times \Delta ^ { n } , Y )$, with $\Delta ^ { n }$ the usual affine $n$-simplex (cf. also [[Simplex|Simplex]]). This can easily be generalized to homotopy-coherent diagrams that arise in other ways and to other settings having a suitable notion of homotopy, such as the categories of chain complexes, differential graded algebras, crossed complexes, simplicial sets, simplicial groups or groupoids, etc., cf. [[#References|[a5]]] or [[#References|[a6]]].

The data for a homotopy-coherent diagram indexed by $A$ can thus be specified by giving for each $n$, $( n - 1 )$-fold homotopies for each $n$-tuple of composable mappings in $A$. These are to satisfy the compatibility or coherence conditions linking the data in various dimensions. The mechanisms used to work with these homotopy-coherent diagrams depend on the setting being considered (and the taste of the researcher). Both topological and simplicial versions are common and other monoidal categories are also used, especially when additional algebraic structure is considered.

==Examples.==


i) If $X$ is a $G$-space, for $G$ a discrete [[Group|group]], then for any $Y$ in the homotopy type of $X$, $Y$ can be given a homotopy-coherent $G$-action. The resulting $n$-fold homotopies correspond to simplices in the simplicial bar resolution of $G$ and so link the data on this homotopy-coherent action to cohomological style invariants for $G$. This sort of link provides interpretations of certain cohomological phenomena, especially in attempts to study and apply non-Abelian cohomology.

ii) The space of normalized loops $\Omega X$ on a pointed topological space $X$ with base point $x _ { 0 }$ is defined by all continuous loops, $\omega : I \rightarrow X$, $\omega ( 0 ) = \omega ( 1 ) = x _ { 0 }$. The usual concatenation of paths gives a  "multiplication" 

\begin{equation*} \omega _ { 1 } * \omega _ { 2 } ( t ) = \left\{ \begin{array} { l l } { \omega _ { 1 } ( t ) } &amp; { \text { for } 0 \leq t \leq 1 / 2, } \\ { \omega ( 2 t - 1 ) } &amp; { \text { for } 1 / 2 \leq t \leq 1, } \end{array} \right. \end{equation*}

but this is not associative. It is however homotopy coherently associative: the usual diagrams used for expressing the associativity and higher associativity in a [[Monoid|monoid]] can be replaced by their homotopy coherent analogues. Generalizations of this idea in both this and other contexts yield homotopy coherent algebraic structures. Again various approaches have been tried including early work by J.M. Boardman and R.M. Vogt [[#References|[a2]]] and J. Stasheff [[#References|[a11]]] including the polyhedra that correspond combinatorially to higher associativity. The applications of these ideas range from mathematical physics through to logic. Related machinery, introduced by J.P. May (cf. [[#References|[a10]]]), included the idea of an operad, which enables homotopy-coherent algebraic structures in many other settings to be studied.

A similar problem of the failure of associativity occurs when trying to define homotopy-coherent morphisms between homotopy-coherent structures, cf. [[#References|[a1]]].

iii) Classical constructions, such as that of Čech homology (cf. also [[Čech cohomology|Čech cohomology]]), conceal a complex homotopy-coherent structure in the assignments of the nerve of open coverings of a space $X$. This does not give a commutative diagram of simplicial sets indexed by the directed set of coverings, but it does give a homotopy-coherent one. One can obtain a homotopy-like theory in $T o p$ by replacing the spaces by these homotopy-coherent diagrams, thought of as approximations to the space by finer and finer  "meshed"  coverings. The resulting theory is [[Strong shape theory|strong shape theory]], cf. [[#References|[a9]]]. (The original form of [[Shape theory|shape theory]] used the corresponding diagrams in the homotopy category, without specifying the homotopies involved as part of the structure.)

Homotopy coherence is closely linked with the notions of homotopy limit and homotopy colimit, cf. [[#References|[a3]]] and [[#References|[a4]]]. These two constructions form just a small fraction of the underlying homotopy-coherent category theory that is available for the manipulation of algebraic-style properties in an homotopy-invariant way, [[#References|[a8]]].

====References====
<table><tr><td valign="top">[a1]</td> <td valign="top">  M.A. Batanin,   "Homotopy coherent category theory and A$\square _ { \infty }$-structures in monoidal categories"  ''J. Pure Appl. Algebra'' , '''123'''  (1998)  pp. 67–103</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  J.M. Boardman,   R.M. Vogt,   "Homotopy invariant algebraic structures" , ''Lecture Notes Math.'' , '''347''' , Springer  (1973)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  D. Bourn,   J.-M. Cordier,   "A general formulation of homotopy limits"  ''J. Pure Appl. Algebra'' , '''29'''  (1983)  pp. 129–141</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  A.K. Bousfield,   D.M. Kan,   "Homotopy limits, completions and localizations" , ''Lecture Notes Math.'' , '''304''' , Springer  (1972)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  J.-M. Cordier,   "Sur la notion de diagramme homotopiquement cohérent"  ''Cah. Topol. Géom. Différ. Cat.'' , '''23'''  (1982)  pp. 93–112</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  J.-M. Cordier,   T. Porter,   "Vogt's theorem on categories of homotopy coherent diagrams"  ''Math. Proc. Cambridge Philos. Soc.'' , '''100'''  (1986)  pp. 65–90</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  J.-M. Cordier,   T. Porter,   "Maps between homotopy coherent diagrams"  ''Topol. Appl.'' , '''28'''  (1988)  pp. 255–275</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  J.-M. Cordier,   T. Porter,   "Homotopy coherent category theory"  ''Trans. Amer. Math. Soc.'' , '''349'''  (1997)  pp. 1–54</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  J.T. Lisica,   S. Mardešić,   "Coherent prohomotopy and strong shape theory"  ''Glasn. Mat.'' , '''19'''  (1984)  pp. 335–399</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  J.P. May,   "The geometry of iterated loop spaces" , ''Lecture Notes Math.'' , '''271''' , Springer  (1972)</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  J. Stasheff,   "Homotopy associativity of H-spaces I and II"  ''Trans. Amer. Math. Soc.'' , '''108'''  (1963)  pp. 275–292; 293–312</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  R.M. Vogt,   "Homotopy limits and colimits"  ''Math. Z.'' , '''134'''  (1973)  pp. 11–52</td></tr></table>