nLab homotopy coherent nerve

Redirected from "homotopy-coherent nerve".
Contents

Contents

Idea

The homotopy coherent nerve (also called simplicial nerve) of a simplicially enriched category is a simplicial set which includes information about all the higher homotopies present in the hom-spaces. It generalizes the ordinary nerve of an ordinary category.

The homotopy coherent nerve operation

N:sSet-CatsSet. N \colon sSet\text{-}Cat \longrightarrow sSet \,.

is induced, by the general machinery of nerve and realization, by a cosimplicial simplicially enriched category, namely a functor

ΔsSet-Cat \Delta \longrightarrow sSet\text{-}Cat

from the simplex category to the category of simplicially enriched categories which regards each nn-simplex as a sSet-enriched category with nn objects analogous to how the orientals regard the nn-simplex as an strict n n -category.

Definitions

The cosimplicial sSetsSet-category

We here describe the cosimplicial sSet-enriched category

S:ΔsSet-Cat S \colon \Delta \longrightarrow sSet\text{-}Cat

that induces the homotopy coherent nerve.

A categorical description

Recall that a graph, Γ\Gamma, is reflexive if for each vertex vv it is equipped with a (specified) edge vvv \to v. Similarly, a reflexive directed graph has a specified identity edge i X:XXi_X \colon X \to X on each object (vertex) XX.

The free category on a reflexive directed graph has

  • as objects the vertices of the graph,

  • identity morphisms corresponding to the identity edges,

  • non-identity morphisms consisting of sequences of non-identity edges.

The free category-construction extends to a functor

F:ReflxDGraphCat F \;\colon\; ReflxDGraph \longrightarrow Cat

and as such is left adjoint to the forgetful functor

F:CatReflxDGraph. F \;\colon\; Cat \longrightarrow ReflxDGraph \,.

Hence the composite G=FU:CatCatG = F U \colon Cat\to Cat constitutes a comonad on CatCat.

The simplicial resolution of this comonad gives an augmented simplicial endofunctor S:ΔsSet-CatS \colon \Delta \longrightarrow sSet\text{-}Cat with natural augmentation SIdS\to Id, and which is a cofibrant replacement-construction in the Bergner model structure on sSetCatsSet-Cat (“model structure for simplicially enriched categories”).

Remark

Some words of caution, as always with simplicial resolutions, there are two conventions which differ by being the opposite simplicial object of each other. In the original paper, Cordier uses a different one of these conventions from some of the other sources mentioned here. A similar problem occurs in the following combinatorial description as some sources use ‘reverse inclusion’ where others just use ‘inclusion’ for the partial order on the poset. This corresponds more or less exactly to the distinction between ‘op-lax’ and ‘lax’ functors in the theory of 2-categories.

Because of this, it is always important to test the definition being used on a simple example, [2][2] will do, before commiting to the use of any specific formulae. We will see this again in another Remark later on in this entry.

A combinatorial description

For [n][n] the finite ordinal [n]{0<1<<n}[n] \coloneqq \{0 \lt 1 \lt \cdots \lt n\} and for Δ[n]\Delta[n] be standard simplicial n n -simplex, define the sSet-enriched category S[n]S[n] as follows:

  • the objects of S[n]S[n] are {0,1,,n}\{0,1, \cdots, n\};

  • the hom-objects S[n] i,jsSetS[n]_{i,j} \in sSet for i,j{0,1,,n}i, j \in \{0,1,\cdots, n\} are the nerves

    S[n](i,j)N(P i,j) S[n](i,j) \coloneqq N(P_{i,j})

    of the poset P i,jP_{i,j} which is equivalently

    1. the poset of subsets of [i,j][i,j] that contain both ii and jj (so in particular if i>ji \gt j then P(i,j)P(i,j) is empty and hence so is its nerve) with the partial order is given by reverse inclusion.

    2. the poset of paths in [n][n] that start at ii and finish at jj (hence is empty if i>ji\gt j), the order relation is given by ‘subdivision’, i.e. path aa is less than path bb in P(i,j)P(i,j) if aa visits all the vertices that bb does … and perhaps some others as well.

      Of course, the way you go between the two descriptions is that a path corresponds to the set of vertices it visits and vice versa.

Notice that the simplicial set N(P i,j)N(P_{i,j}) is isomorphic to the ji1j-i-1 cube in sSetsSet:

N(P i,j)=(Δ[1]) ×(ji1). N(P_{i,j}) = (\Delta[1])^{\times (j-i-1)} \,.

Under this isomorphism for instance the vertex (0,0,1,0,1)(Δ[1]) ×(ji1)(0,0,1,0,1) \in (\Delta[1])^{\times (j-i-1)} corresponds to the subset {i,i+3,i+5,j}[i,j]\{i,i+3,i+5,j\} \subset [i,j] and to the path ii+3i+5j=i+6i \to i+3 \to i+5 \to j=i+6.

(We will look at an example after this definition.)

  • the composition operation on hom-objects

    i,j,k:S[n] i,j×S[n] j,kS[n] i,k \circ_{i,j,k} : S[n]_{i,j} \times S[n]_{j,k} \to S[n]_{i,k}

    is induced by ‘concatenation of the corresponding paths’ and thus essentially by union of the sets involved.

Remark

The choice to order paths by reverse inclusion agrees with constructions such as the Duskin nerve. However, the other convention where they are ordered by inclusion also appears in the literature, such as Higher Topos Theory definition 1.1.5.1., and corresponds to the convention used in the original paper by Cordier (see earlier Remark). The resulting theory is more or less equivalent in as much as the results true when using one convention have analogous results when using the other.

The homotopy coherent nerve

The homotopy coherent nerve functor

NHom sSetCat(S[],):sSetCatsSet N \coloneqq Hom_{sSet Cat}(S[\bullet],-) \colon sSet Cat \longrightarrow sSet

is the nerve defined by the cosimplicial sSet-enriched category S:ΔsSetCatS \colon \Delta \to sSet Cat defined above.

For CsSetCatC \in sSet Cat any sSet-enriched category, the homotopy coherent nerve N(C)N(C) is the simplicial set uniquely characterized as giving a natural isomorphism of the form

Hom SSet(Δ[n],N(C))Hom SSetCat(S[n],C). Hom_{SSet}\big(\Delta[n], N(C)\big) \;\simeq\; Hom_{SSet Cat}\big(S[n], C\big) \,.

By the general logic of nerve and realization, this functor has a left adjoint

S():SSetSSetCat S(-) \colon SSet \to SSet Cat

the realization functor given by the coend formula

S(X) [n]ΔX nS[n], S(X) \coloneqq \int^{[n] \in \Delta} X_n \cdot S[n] \,,

also known as the operation of rigidification of quasi-categories.

This functor does extend the functor S:ΔsSetCatS : \Delta \to sSet Cat in that there is a canonical isomorphism

S(Δ[n])S[n] S(\Delta[n]) \cong S[n]

and hence may consistently be named SS.

Examples and illustrations

For the cosimplicial sSetsSet-category

We illustrate here the nature of the cosimplicial sSetsSet-category S:[n]S[n]S : [n] \mapsto S[n], viewed from the combinatoiral viewpoint above.

We will examine the lowest dimensional cases.

For n=0n = 0 there is nothing of note.

For n=1n = 1 we have that

P 0,1={(0,1)}=Δ[0]=Δ[1] 0 P_{0,1} = \left\{ (0,1) \right\} = \Delta[0] = \Delta[1]^0

is the poset with a single object.

For n=2n = 2, there are unique paths in [2][2] from [0][0] to [1][1], and [1][1] to [2][2], so the corresponding homs in S[2]S[2] are copies of Δ[0]\Delta[0] (or, if you prefer, of Δ[1] 0\Delta[1]^0!). Things are slightly more interesting for S[2](0,2)S[2](0,2). Looking at this from the ‘subsets’ viewpoint, as above, there clearly are two subsets of {0,1,2}\{0,1,2\} containing both 00 and 22, one corresponds to the direct route in [2][2] from 00 to 22, the other goes via 11 so is 0120\to 1\to 2.

P 0,2={(0,1,2)(0,2)}=Δ[1], P_{0,2} = \left\{ (0,1,2) \to (0,2) \right\} = \Delta[1] \,,

so in S[2](0,2)S[2](0,2), there is a 1-simplex kk starting at {0,1,2}\{0,1,2\} and ending at {0,2}\{0,2\}.

Since (0,1,2)(0,1,2) is a product of (0,1)(0,1) and (1,2)(1,2), this simplex can also be depicted as (1,2)(0,1)(0,2)(1,2) \cdot (0,1) \Rightarrow (0,2).

Everything else, in higher dimensions, is degenerate, so S[2](0,2)Δ[1]S[2](0,2)\cong \Delta[1]. Sometimes it is useful to think of this 1-simplex as ‘rewriting’ the direct path to that via 1, all this happening in the free category on the underlying graph of the poset [2][2]. (The construction of S[n]S[n] in general has a nice interpretation in terms of higher dimensional rewriting. This can be given using the language of polygraphs or computads.)

In this example there are no significant compositions. To see examples of those, you need to look at n=3n = 3. In S[3]S[3], the simplicial hom-sets S[3](i,j)S[3](i,j) for (i,j)(0,3)(i,j) \neq (0,3), can all be analysed by the same sort of argument to the above. The new features occur in S[3](0,3)S[3](0,3). The vertices of this simplicial set are the subsets corresponding to the direct path 030\to 3 and then the three others. Rewriting the direct path can be done in two immediate ways, to go via the left or via the right route. Each of these can be ‘rewritten’ to give the longest path / largest subset. There is also, of course, an inclusion of the smallest to the largest of these, so that in total the poset here looks like:

P 0,3={{0,1,2,3} {0,1,3} {0,2,3} {0,3}}=Δ[1] ×2. P_{0,3} = \left\{ \array{ \{0,1,2,3\}&\rightarrow & \{0,1,3\} \\ \downarrow & \searrow &\downarrow\\ \{0,2,3\}&\rightarrow &\{0,3\} } \right\} = \Delta[1]^{\times 2} \,.

In addition, there will be 2-simplexes filling the two triangles, coming from the chains {0,1,2,3}{0,1,3}{0,3}\{0,1,2,3\}\subset \{0,1,3\}\subset \{0,3\} and {0,1,2,3}{0,2,3}{0,3}\{0,1,2,3\}\subset \{0,2,3\}\subset \{0,3\} in the poset.

{0,3} 0 {0,1,3} 3 {0,1,2,3}, {0,3} 0 {0,2,3} 3 {0,1,2,3}. \array{ & \nearrow && \searrow^{\mathrlap{\{0,3\}}} \\ & & \Uparrow \\ 0 &&\stackrel{\{0,1,3\}}{\to}&& 3 \\ && \Uparrow \\ & \searrow && \nearrow_{\mathrlap{\{0,1,2,3\}}} } \;\;\;\;\; \;\;\;\;\; \;\;\;\;\; \,, \;\;\;\;\; \;\;\;\;\; \;\;\;\;\; \array{ & \nearrow && \searrow^{\mathrlap{\{0,3\}}} \\ & & \Uparrow \\ 0 &&\stackrel{\{0,2,3\}}{\to}&& 3 \\ && \Uparrow \\ & \searrow && \nearrow_{\mathrlap{\{0,1,2,3\}}} } \,.

We thus get S[3](0,3)Δ[1] 2S[3](0,3) \cong \Delta[1]^2, a square.

The composition maps

S[3](1,3)×S[3](0,1)S[3](0,3)S[3](1,3)\times S[3](0,1)\to S[3](0,3)

and similarly for the one with 1 replaced by 2, are now fairly obvious.

For n=4n = 4, the corresponding diagram for S[4](0,4)S[4](0,4) gives a cube but here there is an interesting feature.

Five of the six faces of the cube |N(P 0,4)||N(P_{0,4})| correspond to the associativity of composition of triples of composable morphisms in [4][4]. These correspond to the 5 faces of the 4-simplex Δ[4]\Delta[4], as depicted for instance at oriental and at monoidal category.

But the cube has one more face

(0,1,2,3,4) (0,1,2,4) (0,2,3,4) (0,2,4) \array{ (0,1,2,3,4) &\to& (0,1,2,4) \\ \downarrow &\searrow& \downarrow \\ (0,2,3,4) &\to& (0,2,4) }

which does not correspond to associativity: instead, this encodes the exchange law

1 3 0 2 4 3 0 2 4 1 3 0 2 4 1 0 2 4 \array{ && 1 &&&& 3 \\ & \nearrow &\Downarrow& \searrow && \nearrow && \searrow \\ 0 &&\to&& 2 && && 4 \\ && &&&& 3 \\ & && && \nearrow &\Downarrow& \searrow \\ 0 &&\to&& 2 && \to && 4 } \;\;\;\;\;\; \simeq \;\;\;\;\;\; \array{ && 1 &&&& 3 \\ & \nearrow && \searrow && \nearrow &\Downarrow& \searrow \\ 0 &&&& 2 && \to && 4 \\ && 1 &&&& \\ & \nearrow &\Downarrow& \searrow && && \\ 0 &&\to && 2 && \to && 4 }

or, if preferred, to the fact that

S[4](2,4)×S[4](0,2)S[4](0,4)S[4](2,4)\times S[4](0,2)\to S[4](0,4)

is to be a simplicial map.

A similar phenomenon occurs in higher dimensions. There are two ‘extra faces’ in S[5](0,5)S[5](0,5), and so on.

For other simplicial sets

The description of S[n]S[n] works more generally for the nerve of a poset. Explicitly, if PP is a poset, S(NP)S(NP) is isomorphic to the simplicially enriched category with the structure

  • The objects of S(NP)S(NP) are the elements of PP
  • The hom-object S(NP)(x,y)S(NP)(x,y) is the nerve of the poset of chains SPS \subseteq P with min(S)=x\min(S) = x and max(S)=y\max(S) = y, ordered by reverse inclusion
  • Composition is given by taking unions

The simplicially enriched categories constructed from spheres and inner horns also have simple descriptions.

For (i,j)(0,n)(i,j) \neq (0,n), the hom-objects are the same as the ambient simplex: S(Λ k n)(i,j)=S(Δ n)(i,j)=S(Δ n)(i,j)S(\Lambda^n_k)(i,j) = S(\partial \Delta^n)(i,j) = S(\Delta^n)(i,j).

For the remaining hom-object, while S(Δ n)(0,n) n1S(\Delta^n)(0,n) \cong \square^{n-1} is the (n1)(n-1)-cube, S(Δ n)(0,n)= n1S(\partial \Delta^n)(0,n) = \partial \square^{n-1} is the boundary, and S(Λ k n)(0,n)S(\Lambda^n_k)(0,n) further omits the corresponding face.

To see this, observe that the nondegenerate simplices of S(Δ n)(0,n)S(\Delta^n)(0,n) are either decomposable (i.e. the product of two or more simplices from other hom-sets) or are the image of a top simplex of S(Δ m)(0,m)S(Δ n)(0,n)S(\Delta^m)(0,m) \to S(\Delta^n)(0,n) for some monomorphism Δ mΔ n\Delta^m \to \Delta^n preserving top and bottom elements, depending on whether the simplex contains the top vertex (0,n)(0,n).

Thus, the decomposable faces of S(Δ n)(0,n)S(\Delta^n)(0,n) are the ones omitting the top vertex (0,n)(0,n), and the remaining faces come from inner faces Δ n1Δ n\Delta^{n-1} \to \Delta^n.

For the homotopy coherent nerve

  • Any 2-category gives a simplicially enriched category using the embedding of Cat into sSet via the usual nerve functor. The homotopy coherent nerve of a 2-category considered in this way is, sometimes, called the geometric nerve? of the 2-category. The Duskin nerve of a bicategory is an extension of this construction.

    A particular case of this nerve is the nerve of a 2-group considered as a 2-category.

Properties

Comonadic resolution

(To be edited)

The use of S[A]S[A], above, extends that given at the start of this page. Here SS is related to the left adjoint of the homotopy coherent nerve, but is defined using a comonadic resolution. The comonad comes from the adjunction between small categories and directed graphs with distinguished ‘unit’ loops. The ‘forgetful’ part of the adjunction forgets the composition in the category, but remembers that the identity arrows are special. The left adjoint / ‘free’ part of the adjunction takes a directed graph (with distinguished ‘identity’ loops, and forms the free category on the non-identity arrows. As usual, we can form a comonad from this and hence form a functorial simplicial resolution of any small category, AA.

This can also be seen to be a case of a bar resolution construction, related to the bar construction. Here the adjoint pair also give a monad on directed graphs with distinguished ‘unit’ loops and the small category AA is an algebra for this monad.

Since the functors involved preserve the identities on the objects of AA, the resulting simplicial category is a simplicially enriched category, and this is S[A]S[A]. The nn-dimensional arrows between objects, aa and bb in S[A]S[A] correspond to a path from aa to bb in AA containing no identity arrows, together with a bracketting of the resulting string having depth nn.

WW-Construction of topological operads

By hom-wise precomposition with the singular complex functor

Sing:TopsSet, Sing : Top \to sSet \,,

which is a monoidal functor, the homotopy coherent nerve extends to a nerve of Top-categories

N:TopCatsSet. N : Top Cat \to sSet \,.

As such, it is a special case of the Boardman-Vogt W-construction for cofibrant replacement of topological operads. See also dendroidal homotopy coherent nerve.

In this construction, roughly, for TT a tree in an operad OO, the tree is replaced with the topological space e(T)[0,1]e(T) \to [0,1] of maps from the set of edges of TT to the topological unit interval.

We may restrict this construction to the nn-simplex Δ[n]\Delta[n], regarded as a category and then trivially regarded as a TopTop-category. Then a tree in Δ[n]\Delta[n] is necessarily a linear tree \to \to \cdots \to of some length kk and is hence mapped to the topological space of functions k[0,1]k \to [0,1], i.e. to the space [0,1] k[0,1]^k. This is the geometric realization of the simplicial cubes (Δ[1]) k(\Delta[1])^k that we saw above.

Relation to quasi-categories

As mentioned above, the simplicial or h.c. nerve, together with its left adjoint, serves to relate the two models of (∞,1)-categories given by quasi-categories and simplicially enriched categories.

The homotopy coherent nerve extends to a Quillen equivalence between the Joyal model structure SSet JoyalSSet_{Joyal} that models quasi-categories and the model structure on SSet-categories.

See

for details.

Models for (,1)(\infty,1)-categories

The entries of the following table display model categories and Quillen equivalences between these that present the (∞,1)-category of (∞,1)-categories (second table), of (∞,1)-operads (third table) and of 𝒪\mathcal{O}-monoidal (∞,1)-categories (fourth table).

general pattern
strict enrichment(∞,1)-category/(∞,1)-operad
\downarrow\downarrow
enriched (∞,1)-category\hookrightarrowinternal (∞,1)-category
(∞,1)Cat
SimplicialCategories-homotopy coherent nerve\toSimplicialSets/quasi-categoriesRelativeSimplicialSets
\downarrowsimplicial nerve\downarrow
SegalCategories\hookrightarrowCompleteSegalSpaces
(∞,1)Operad
SimplicialOperads-homotopy coherent dendroidal nerve\toDendroidalSetsRelativeDendroidalSets
\downarrowdendroidal nerve\downarrow
SegalOperads\hookrightarrowDendroidalCompleteSegalSpaces
𝒪\mathcal{O}Mon(∞,1)Cat
DendroidalCartesianFibrations

Other kinds of nerves

History

The original motivation for the introduction of the homotopy coherent nerve is that it provides a neat simplicial formulation of idea of homotopy coherent diagrams. Homotopy coherent algebraic structures were studied in the 1970s by Boardman and Vogt in joint work, and then Vogt individually looked at homotopy coherent diagrams. The homotopy coherent nerve was first explicitly defined by Cordier (reference below). He realised that, with a slight modification in the definition, Vogt’s definition of homotopy coherent diagram, indexed by a small category AA, say, corresponded exactly to a simplicially enriched functor from the SSetSSet-category S[A]S[A] to the SSetSSet-category TopTop. They thus also corresponded to simplicial maps from the nerve of AA to N(Top)N(Top), (although that latter object was ‘too large’ to be a simplicial ‘set’). This allowed a good definition of homotopy coherent diagrams in arbitrary simplicially enriched categories to be given.

This definition works best when the simplicially enriched category is ‘locally Kan’, in other words it is enriched in the category of Kan complexes. These locally Kan SSetSSet-categories are the fibrant ones in the model structure on sSet-categories.

Cordier and Porter (1986) proved that if CC is a locally Kan simplicially enriched category then N(C)N(C) is a ‘weak Kan complex’, in other words, a quasi-category. Some of the main ideas behind this result can be traced to Vogt‘s paper of 1973.

In more modern terminology as Kan complexes can be considered as ∞-groupoids, these locally Kan simplicially enriched categories are one particularly nice model for an (infinity,1)-category, and so this result is one of the earliest giving the transition from one model for (infinity,1)-categories to another, the ‘weak Kan complexes’ or quasi-categories.

References and Literature.

The homotopy coherent nerve operation was introduced, explicitly, in

making a link with earlier work in

as well as with Vogt (1973) and with

Poof of an equivalence between the category obtained by inverting the ‘levelwise’ homotopy equivalence in a category of diagrams, and the homotopy category of homotopy coherent diagrams:

and explicit proof that the homotopy coherent nerve of a locally Kan simplicially enriched category is a quasicategory, as well as the harder result on when outer horns in this quasicategory can be filled:

Two other papers are relevant to this:

An elementary discussion of the concept of homotopy coherence forms Chapter V of

For the role played by Cordier’s simplicial nerve in the context of relating quasi-categories to simplicially enriched categories as models for (,1)(\infty,1)-categories see

This emphasizes the adjunction corresponding to the homotopy coherent (“simplicial”) nerve construction.

A review of this latter aspect is also in

  • Vivek Dhand, The simplicial nerve of a simplicial category (pdf, pdf)

  • Mitya Boyarchenko, Notes and exercise on \infty-categories (pdf)

  • Vladimir Hinich, Simplicial nerve in Deformation theory (arXiv:0704.2503)

  • Denis-Charles Cisinski, Ieke Moerdijk, Dendroidal sets and simplicial operads, arxiv/1109.1004 (a Quillen equivalence for Segal vs. simplicial operads using coherent nerve)

  • Emily Riehl, On the structure of simplicial categories associated to quasi-categories, Math. Proc. Camb. Phil. Soc. 150 (2011), 489 - 504.

For more references see relation between quasi-categories and simplicial categories.

Two query-discussions on terminology and concrete description of the coherent/“simplicial” nerve are archived at nForum here. For an overview of the 2009 paper by Dugger and Spivak, see also:

Relating the Dwyer-Kan loop groupoid-construction to the homotopy coherent nerve-construction:

Last revised on March 29, 2024 at 10:07:15. See the history of this page for a list of all contributions to it.