Fibers of cocartesian fibrations

Example 23.2.5. When \(C = [0]\), the last statement of the theorem implies that for a cocartesian fibration \(p\colon E \to C\) the \(\infty \)-categories \(\Str ^{\cc }(p)(x)\) for \(x \in C\) are precisely the fibers of \(p\).