A short proof of the straightening theorem

Fabian Hebestreit, Gijs Heuts, Jaco Ruit

We provide a short and reasonably self-contained proof of Lurie's straightening equivalence, relating cartesian fibrations over a given $\infty$-category $S$ with contravariant fun…