Corollary 23.2.8. Let \(X\) be an anima. Then there is an equivalence of \(\infty \)-categories \[ \Str \colon \An _{/X} \iso \Fun (X,\An ). \]
Proof. If \(C\) is an anima, then every functor \(E \to C\) is both a cocartesian and a cartesian fibration. Moreover, it is a left/right fibration if and only if also \(E\) is an anima. The claim now becomes an instance of Corollary 23.2.7. □
Generated from the authoritative LaTeX source.