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.
No takes yet. Share an insight, caveat, or question.
Hebestreit et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: