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.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: