Kerodon

Example 11.5.0.66. Let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{N}_{\bullet }(\operatorname{Set})$ be a morphism of simplicial sets, and let $\int _{\operatorname{\mathcal{C}}} \mathscr {F}$ be the simplicial set given by Definition 5.6.2.1, so that the projection map $\int _{\operatorname{\mathcal{C}}} \mathscr {F} \rightarrow \operatorname{\mathcal{C}}$ is a left covering map (see Example 5.6.2.8). Then the covariant transport representation $\operatorname{Tr}_{ \int _{\operatorname{\mathcal{C}}} \mathscr {F} / \operatorname{\mathcal{C}}}$ is canonically isomorphic to the functor $\mathrm{h} \mathit{\mathscr {F}}: \mathrm{h} \mathit{\operatorname{\mathcal{C}}} \rightarrow \operatorname{Set}$ induced by $\mathscr {F}$.