Key points are not available for this paper at this time.
We provide a short and reasonably self-contained proof of Lurie’s straightening equivalence, relating cartesian fibrations over a given ∞ -category S S with contravariant functors from S S to the ∞ -category of small ∞ -categories.
Hebestreit et al. (Thu,) studied this question.