Kerodon

Example 11.10.3.9. Let $q: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between ordinary categories. Then $q$ is a locally cartesian fibration (in the sense of Definition 11.10.3.8) if and only if the induced morphism of simplicial sets $\operatorname{N}_{\bullet }(q): \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{N}_{\bullet }(\operatorname{\mathcal{D}})$ is a locally cartesian fibration (in the sense of Definition 5.1.5.1). Similarly, $q$ is a locally cocartesian fibration if and only if $\operatorname{N}_{\bullet }(q)$ is a cocartesian fibration of simplicial sets. See Corollary 5.1.2.2.