n-category = (n,n)-category
n-groupoid = (n,0)-category
A homotopy coherent diagram is a diagram of objects in a homotopical category, where commutativity is replaced by explicit homotopies, those homotopies are to then be coherently linked by higher homotopies … and so on.
It is a model for an (∞,1)-functor.
The idea perhaps intuitively makes sense but the management of the interactions between the various levels of homotopy requires care. The ideas were handled in various ways , but we will concentrate on approaches linked to the initial work of Michael Boardman and Rainer Vogt and then developed further by Jean-Marc Cordier and Tim Porter.
We will often use h.c. as an abbreviation for ”homotopy coherent”.
The original definition of Vogt, 1973 is essentially the following.
Suppose now that we have the h.c. diagram . This is specified by assignments:
starting at and ending at , a simplicial map
that is, a higher homotopy
(i) if ,
(ii) if ,
where is the multiplicative structure on by the ‘max’ function on ;
(iii) if , ;
(v) , where and . We have used for the face operators in the nerve of .
This original form can be very useful for checking (bare hands!) within an application that a diagram is h.c., although the -functor approach is for many uses more compact and maniable and allows functorial constructions more easily. The link with the bar construction and comonadic resolution? approaches give suggestive links to interpretation of cohomology classes.
hence -diagrams in .
The algebras over this operad are then precisely homotopy coherent diagrams over in . For Top regarded with the standard model structure on topological spaces and the standard interval, this reproduces the ordinary notion of homotopy coherent diagrams (BergerMoerdijk)
(i) If Top is a commutative diagram and we replace some of the by homotopy equivalent with specified homotopy equivalence data:
then we can combine these data into the construction of a h. c. diagram based on the objects and homotopy coherent maps
making and homotopy equivalent as h.c. diagrams.
(This applied to a -space, , shows that if we replace by a homotopy equivalent , then will be a h. c. version of a -space, i.e. a h. c. diagram of shape , the corresponding one object groupoid to .)
This suggested the extension of h.c. diagrams to other contexts such as a general locally Kan -category, and suggests the definition of homotopy coherent diagram in a -category and thus a homotopy coherent nerve of an -category.
The first thing to note is that for any and , , the -cube given by the product of copies of . Thus we can reduce the higher homotopy data to being just that, maps from higher dimensional cubes.
Next some notation:
Given simplicial maps
we will denote the composite
just by or . (We already have seen this in the h.c. diagram above for . is actually , whilst is exactly what it states.)
Every homotopy coherent diagram is weakly equivalent to a strict diagram, a phenomenon known as rectification.
If is a small category, there is a category of h.c. diagrams and homotopy classes of h. c. maps between them. Moreover there is an equivalence of categories
If we think of hc diagrams as algebras over an operad, then this rectification is a special case of the general rectification theorem for such algebras. See model structure on algebras over an operad for details.
h.c. diagrams in a category with cylinder functor, denoted
is h.c. if there is specified a homotopy
and the diagram is made h.c. by specifying a second level homotopy
filling this square, in the sense that restricting to each side of the square in the double homotopy gives the correspondingly labelled homotopy from the diagram.
These can be continued for larger , and the results glued together to make larger h.c. diagrams. Of course, this is not how it is done, but it provides some understanding of the basic idea.
For Vogt’s theorem, the original reference is
A generalisation of his theorem using simplicially enriched categories and the homotopy coherent nerve of such a thing, is to be found in
A neat application to changing objects in diagrams within a homotopy type can be found in
A summary of homotopy coherence can be found in Chapter 5 of
and in chapter 10 of
The operad-theoretic description of homotopy-coherent diagrams is in
See model structure on algebras over an operad for more on this.