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

Warning Recall that, if $F: \operatorname{\mathcal{K}}\rightarrow \operatorname{\mathcal{C}}$ is a functor between categories, then the slice category $\operatorname{\mathcal{C}}_{/F}$ can be defined as the oriented fiber product $\operatorname{\mathcal{C}}\operatorname{\vec{\times }}_{ \operatorname{Fun}(\operatorname{\mathcal{K}},\operatorname{\mathcal{C}}) } \{ F\} $ (see Remark In the setting of simplicial sets, out definition is somewhat different. Nevertheless, to any morphism of simplicial sets $F: K \rightarrow \operatorname{\mathcal{C}}$, one can associate a comparison map

\[ \delta _{/F}: \operatorname{\mathcal{C}}_{/F} \rightarrow \operatorname{\mathcal{C}}\times _{ \operatorname{Fun}(\{ 0\} \times K, \operatorname{\mathcal{C}}) } \operatorname{Fun}( \Delta ^1 \times K, \operatorname{\mathcal{C}}) \times _{ \operatorname{Fun}( \{ 1\} \times K, \operatorname{\mathcal{C}}) } \{ F \} \]

which we will refer to as the coslice diagonal morphism (see Construction This map has the following features:

  • When $\operatorname{\mathcal{C}}$ is (the nerve of) an ordinary category, the morphism $\delta _{/F}$ is an isomorphism of simplicial sets.

  • When $\operatorname{\mathcal{C}}$ is an $\infty $-category, the morphism $\delta _{/F}$ is an equivalence of $\infty $-categories (Theorem

  • When $\operatorname{\mathcal{C}}= \operatorname{Sing}_{\bullet }(X)$ is the singular simplicial set of a topological space $X$, the morphism $\delta _{/F}$ does not coincide with the isomorphism constructed in Example (however, they are naturally homotopic: see Example ).

  • The morphism $\delta _{/F}$ is usually not an isomorphism of simplicial sets (see Warning