Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

5.3.9 Comparison of Homotopy Transport Representations

Let $\operatorname{\mathcal{C}}$ be a locally Kan simplicial category containing an object $X$. Since the homotopy coherent nerve $\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})$ is an $\infty $-category (Theorem 2.4.5.1), the projection map $U: \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} \rightarrow \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})$ is a left fibration (Proposition 4.3.6.1). Let $\operatorname{hTr}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} / \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) }: \mathrm{h} \mathit{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) } \rightarrow \mathrm{h} \mathit{\operatorname{Kan}}$ denote the homotopy transport representation of $U$. Combining Example 5.2.7.13 with Corollary 4.6.7.20, we obtain the following concrete description of the functor $\operatorname{hTr}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} / \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) }$:

Proposition 5.3.9.1. Let $\operatorname{\mathcal{C}}$ be locally Kan simplicial category containing an object $X$, and let $\Phi : \mathrm{h} \mathit{\operatorname{\mathcal{C}}} \xrightarrow {\sim } \mathrm{h} \mathit{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) }$ be the isomorphism of Proposition 2.4.6.9. Then the diagram of functors

\[ \xymatrix@R =50pt@C=50pt{ & \mathrm{h} \mathit{\operatorname{\mathcal{C}}} \ar [dl]_{\Phi }^{\sim } \ar [dr]^{ \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X, \bullet )_{\bullet }} & \\ \mathrm{h} \mathit{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})} \ar [rr]^{ \operatorname{hTr}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} / \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) }} & & \mathrm{h} \mathit{\operatorname{Kan}} } \]

commutes up to isomorphism.

Our goal in this section is to formulate and prove a stronger version of Proposition 5.3.9.1, which differs in three respects:

  • We drop the assumption that the simplicial category $\operatorname{\mathcal{C}}$ is locally Kan, and assume instead that the simplicial set $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet }$ is an $\infty $-category for every pair of objects $Y,Z \in \operatorname{\mathcal{C}}$. In this case, the nerve $\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})$ need not be an $\infty $-category, so the projection map $U: \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} \rightarrow \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})$ need not be a left fibration. However, Theorem 5.3.8.1 guarantees that $\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})$ is an $(\infty ,2)$-category, so that $U$ restricts to a cocartesian fibration of $\infty $-categories $\operatorname{Pith}(U): \operatorname{Pith}( \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} ) \rightarrow \operatorname{Pith}( \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) )$ (Corollary 5.3.7.10). Note that Proposition 2.4.6.9 and Corollary 5.3.8.8 supply an isomorphism of homotopy categories $\Phi : \mathrm{h} \mathit{\operatorname{\mathcal{C}}'} \xrightarrow {\sim } \mathrm{h} \mathit{ \operatorname{Pith}( \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) )}$, where $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ is the locally Kan simplicial subcategory with morphism spaces given by $\operatorname{Hom}_{\operatorname{\mathcal{C}}'}(Y,Z)_{\bullet } = \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet }^{\simeq }$.

  • Proposition 5.3.9.1 asserts that a certain diagram commutes up to isomorphism. However, it is possible to be more precise. For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, Theorem 4.6.6.9 supplies an equivalence of $\infty $-categories

    \[ \theta _{X,Y}: \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \rightarrow \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{\mathcal{C}})}^{\mathrm{L}}( X, Y) = \operatorname{hTr}_{ \operatorname{Pith}(\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/}) / \operatorname{Pith}(\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})) }(Y), \]

    so that the homotopy class $[\theta _{X,Y} ]$ can be viewed as an isomorphism in the category $\mathrm{h} \mathit{\operatorname{QCat}}$. We will show that $[\theta _{X,Y}]$ depends functorially on $Y$, so that the construction $Y \mapsto [ \theta _{X,Y} ]$ furnishes a natural isomorphism of functors

    \[ \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X, \bullet )_{\bullet } \rightarrow \operatorname{hTr}_{ \operatorname{Pith}(\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/}) / \operatorname{Pith}(\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})) } \circ \Phi \]
  • Since $\operatorname{Pith}( \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) )$ is an $\infty $-category, we can regard the homotopy transport representation

    \[ \operatorname{hTr}_{ \operatorname{Pith}(\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/}) / \operatorname{Pith}(\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})) }: \mathrm{h} \mathit{ \operatorname{Pith}(\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})) } \rightarrow \mathrm{h} \mathit{\operatorname{QCat}} \]

    as an $\mathrm{h} \mathit{\operatorname{Kan}}$-enriched functor (Construction 5.2.7.9). Similarly, we can regard $\Phi $ as an isomorphism of $\mathrm{h} \mathit{\operatorname{Kan}}$-enriched categories (Corollary 4.6.7.20), and the construction $Y \mapsto \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet }$ determines an $\mathrm{h} \mathit{\operatorname{Kan}}$-enriched functor from $\mathrm{h} \mathit{\operatorname{\mathcal{C}}'}$ to $\mathrm{h} \mathit{\operatorname{QCat}}$. We will show that the natural isomorphism $Y \mapsto [ \theta _{Y} ]$ is compatible with these $\mathrm{h} \mathit{\operatorname{Kan}}$-enrichments.

Our main result is the following:

Theorem 5.3.9.2. Let $\operatorname{\mathcal{C}}$ be a simplicial category having the property that, for every pair of objects $Y,Z \in \operatorname{\mathcal{C}}$, the simplicial set $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet }$ is an $\infty $-category. Let $X$ be an object of $\operatorname{\mathcal{C}}$, let $\operatorname{hTr}$ denote the (enriched) homotopy transport representation associated to the cocartesian fibration $\operatorname{Pith}(U): \operatorname{Pith}( \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} ) \rightarrow \operatorname{Pith}( \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) )$, and let $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ be the locally Kan simplicial subcategory defined above. Then the diagram of $\mathrm{h} \mathit{\operatorname{Kan}}$-enriched functors

\[ \xymatrix@R =70pt@C=70pt{ & \mathrm{h} \mathit{\operatorname{\mathcal{C}}'} \ar [dl]_{\Phi }^{\sim } \ar [dr]^{ \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X, \bullet )_{\bullet }} & \\ \mathrm{h} \mathit{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})} \ar [rr]^{ \operatorname{hTr}} & & \mathrm{h} \mathit{\operatorname{QCat}} } \]

commutes up to natural isomorphism, given explicitly by the construction

\[ Y \mapsto ( [ \theta _{X,Y} ]: \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \rightarrow \operatorname{Hom}^{\mathrm{L}}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})}(X,Y) ). \]

of Construction 4.6.6.3.

Proof. For every object $Y \in \operatorname{\mathcal{C}}$, the comparison functor

\[ \theta _{X,Y}: \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \rightarrow \operatorname{Hom}^{\mathrm{L}}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})}(X,Y) \]

is an equivalence of $\infty $-categories (Theorem 4.6.6.9), so its homotopy class $[ \theta _{X,Y} ]$ is an isomorphism when regarded as a morphism in the homotopy category $\mathrm{h} \mathit{\operatorname{QCat}}$. To complete the proof, it will suffice to show that the construction $Y \mapsto [ \theta _{X,Y} ]$ determines a natural transformation of $\mathrm{h} \mathit{\operatorname{Kan}}$-enriched functors. Let $Y$ and $Z$ be objects of $\operatorname{\mathcal{C}}$, so that the map $\theta _{Y,Z}$ restricts to a homotopy equivalence of Kan complexes $\theta _{Y,Z}^{\simeq }: \operatorname{Hom}_{\operatorname{\mathcal{C}}'}(Y,Z)_{\bullet } \rightarrow \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}')}(Y,Z)$. We wish to show that the diagram of Kan complexes

5.38
\begin{equation} \begin{gathered}\label{equation:enriched-homotopy-transport-universal} \xymatrix@R =50pt@C=50pt{ \operatorname{Hom}_{ \operatorname{\mathcal{C}}'}(Y,Z)_{\bullet } \ar [r] \ar [d]^-{\theta _{Y,Z}^{\simeq } } & \operatorname{Fun}( \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet }, \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Z)_{\bullet })^{\simeq } \ar [dd]^{ \theta _{X,Z} \circ } \\ \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}')}(Y,Z) \ar [d]^-{\rho } & \\ \operatorname{Fun}( \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}} }^{\mathrm{L}}(X,Y), \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}} }^{\mathrm{L}}(X,Z) )^{\simeq } \ar [r]^{ \circ \theta _{X,Y} } & \operatorname{Fun}( \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet }, \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}} }^{\mathrm{L}}(X,Z) )^{\simeq } } \end{gathered} \end{equation}

commutes up to homotopy, where $\rho $ is given by parametrized covariant transport for the cocartesian fibration $\operatorname{Pith}(U): \operatorname{Pith}( \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} ) \rightarrow \operatorname{Pith}( \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) ) \simeq \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}')$.

We will show that there exists a functor of $\infty $-categories

\[ H: \Delta ^1 \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet } \rightarrow \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} \]

satisfying the following requirements:

$(a)$

The diagram of simplicial sets

\[ \xymatrix@R =50pt@C=25pt{ \Delta ^1 \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet } \ar [rr]^{H} \ar [d] & & \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} \ar [d]^{U} \\ \Delta ^1 \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet }^{\simeq } \ar [r]^-{\theta _{Y,Z}} & \Delta ^1 \times \operatorname{Hom}_{\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})}(Y,Z) \ar [r] & \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) } \]

commutes.

$(b)$

The restriction $H_0 = H|_{ \{ 0\} \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet }}$ is given by the composition

\[ \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet } \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \xrightarrow { \theta _{X,Y} } \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) }^{\mathrm{L} }(X,Y). \]
$(c)$

The restriction $H_1 = H|_{ \{ 1\} \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet }}$ is given by the composition

\[ \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet } \xrightarrow {\circ } \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Z)_{\bullet } \xrightarrow { \theta _{X,Z} } \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}) }^{\mathrm{L} }(X,Z). \]
$(d)$

For every pair of morphisms $f: X \rightarrow Y$ and $g: Y \rightarrow Z$ in $\operatorname{\mathcal{C}}$, the composite map

\[ \Delta ^1 \times \{ f\} \times \{ g\} \hookrightarrow \Delta ^1 \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet } \xrightarrow {H} \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/} \]

is a $U$-cocartesian morphism of the $(\infty ,2)$-category $\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/}$ (that is, it corresponds to a thin $2$-simplex of $\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})$; see Theorem 5.3.4.1.

Assume for the moment that there exists a morphism $H$ satisfying these requirements. Note that the restriction $H|_{ \{ 1\} \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}'}( Y,Z)_{\bullet } }$ can be identified with a map of Kan complexes

\[ \lambda : \operatorname{Hom}_{\operatorname{\mathcal{C}}'}(Y,Z)_{\bullet } \rightarrow \operatorname{Fun}( \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet }, \operatorname{Hom}_{ \operatorname{N}_{\bullet }^{\operatorname{hc}} }^{\mathrm{L}}(X,Z) )^{\simeq }. \]

It follows from requirement $(c)$ that $\lambda $ is given by clockwise composition around the diagram (5.38), and from requirements $(a)$, $(b)$, and $(d)$ that $\lambda $ is also given (up to homotopy) by counterclockwise composition around the diagram (5.38). It follows that the diagram (5.38) commutes up to homotopy, as desired.

It remains to construct the morphism $H$. Fix an auxiliary symbol $e$, let $n \geq 0$, and let $\sigma $ be an $n$-simplex of the simplicial set $\Delta ^1 \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet }$. We will identify $\sigma $ with a triple $(\alpha , f_{\sigma }, g_{\sigma } )$, where $\alpha : [n] \rightarrow [1]$ is a nondecreasing function, $f_{\sigma }$ is an $n$-simplex of $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet }$, and $Fg_{\sigma }$ is an $n$-simplex of $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet }$. Let $\operatorname{Path}[ \{ e\} \star [n] ]_{\bullet }$ denote the simplicial path category of the linearly ordered set $\{ e\} \star [n] = \{ e < 0 < \cdots < n \} $ (see Notation 2.4.3.1). To the $n$-simplex $\sigma $, we associate a simplicial functor $h_{\sigma }: \operatorname{Path}[ \{ e\} \star [n] ]_{\bullet } \rightarrow \operatorname{\mathcal{C}}$ as follows:

  • On objects, the functor $h_{\sigma }$ is given by the formula

    \[ h_{\sigma }(i) = \begin{cases} X & \text{ if $i=e$ } \\ Y & \text{ if $0 \leq i \leq n$ and $\alpha (i) = 0$ } \\ Z & \text{ if $0 \leq i \leq n$ and $\alpha (i) = 1$.} \end{cases} \]
  • Let $i < j$ be elements of the linearly ordered set $\{ e\} \star [n]$, so that $\operatorname{Hom}_{ \operatorname{Path}[ \{ e\} \star [n] ] }( i, j)_{\bullet }$ can be identified with the nerve $\operatorname{N}_{\bullet }(Q)$, where $Q$ is the collection of all subsets $K \subseteq \{ e \} \star [n]$ having smallest element $i$ and largest element $j$ (and we regard $Q$ as ordered by reverse inclusion). The simplicial functor $h_{\sigma }$ is given on morphisms by a map of simplicial sets $u_{i,j}: \operatorname{N}_{\bullet }(Q) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{C}}}( h_{\sigma }(i), h_{\sigma }(j) )$. If $0 \leq i < j \leq n$ with $\alpha (i) = \alpha (j)$, we take $u_{i,j}$ to be the constant map taking the value $\operatorname{id}_{Y}$ (if $\alpha (i) = 0$) or $\operatorname{id}_{Z}$ (if $\alpha (i) = 1$). The remaining cases can be described as follows:

    • If $0 \leq i < j \leq n$ satisfy $\alpha (i) = 0$ and $\alpha (j) = 1$, then $u_{i,j}$ is given by the composition

      \[ \operatorname{N}_{\bullet }(Q) \xrightarrow {r_{+}} \Delta ^{n} \xrightarrow { g_{\sigma } } \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet }, \]

      where $r_{+}$ is given on vertices by the formula $r_{+}(K) = \min \{ k \in K: \alpha (k) = 1 \} $.

    • If $i = e$ and $\alpha (j) = 0$, then $u_{i,j}$ is given by the composition

      \[ \operatorname{N}_{\bullet }(Q) \xrightarrow { r_{-} } \Delta ^{n} \xrightarrow { f_{\sigma } } \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet }, \]

      where $r_{-}$ is given on vertices by the formula $r_{-}(K) = \min \{ k \in K: k > e \} $.

    • If $i = e$ and $\alpha (j) = 1$, then $u_{i,j}$ is given by the composition

      \[ \operatorname{N}_{\bullet }(Q) \xrightarrow { (r_{+}, r_{-} )} \Delta ^{n} \times \Delta ^{n} \xrightarrow { g_{\sigma } \times f_{\sigma } } \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \xrightarrow {\circ } \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Z)_{\bullet }, \]

      where $r_{-}$ and $r_{+}$ are defined as above.

Note that we can identify $h_{\sigma }$ with a morphism of simplicial sets $\{ e\} \star \Delta ^ n \rightarrow \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})$ carrying $\{ e\} $ to the vertex $X$, which we can view as an $n$-simplex $H(\sigma )$ of the $(\infty ,2)$-category $\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/}$. The construction $\sigma \mapsto H(\sigma )$ determines a morphism of simplicial sets

\[ H: \Delta ^1 \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet } \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z)_{\bullet } \rightarrow \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})_{X/}. \]

Requirements $(a)$, $(b)$, and $(c)$ follow immediately from $(a')$, $(b')$, and $(c')$ (together with the definitions of the maps $\theta _{Y,Z}$, $\theta _{X,Y}$, and $\theta _{X,Z}$, respectively). Requirement $(d)$ follows from the description of the thin $2$-simplices of $\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}})$ supplied by Proposition 5.3.8.7. $\square$