Corollary 9.4.8.29. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a locally cocartesian fibration of simplicial sets. Then $U$ is edgewise accessible if and only if the following conditions are satisfied:
- $(1)$
For every vertex $C \in \operatorname{\mathcal{C}}$, the fiber $\operatorname{\mathcal{E}}_{C} = \{ C\} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{E}}$ is an accessible $\infty $-category.
- $(2)$
For every edge $e: C \rightarrow C'$ of $\operatorname{\mathcal{C}}$, the covariant transport functor $e_{!}: \operatorname{\mathcal{E}}_{C} \rightarrow \operatorname{\mathcal{E}}_{C'}$ is accessible.