Example 5.1.4.3. Let $X$ be a simplicial set and let $q: X \rightarrow \Delta ^0$ denote the projection map. The following conditions are equivalent:
The simplicial set $X$ is an $\infty $-category.
The morphism $q$ is a cartesian fibration.
The morphism $q$ is a cocartesian fibration.