A SHORT PROOF OF THE STRAIGHTENING THEOREM

Publication date

2025

Authors

Hebestreit, Fabian
Heuts, GijsISNI 0000000492491758
Ruit, Jaco

Editors

Advisors

Supervisors

Document Type

Article
Open Access logo

License

taverne

Abstract

We provide a short and reasonably self-contained proof of Lurie’s straightening equivalence, relating cartesian fibrations over a given ∞-category S with contravariant functors from S to the ∞-category of small ∞-categories.

Keywords

Taverne, Mathematics (miscellaneous)

Citation

Hebestreit, F, Heuts, G & Ruit, J 2025, 'A SHORT PROOF OF THE STRAIGHTENING THEOREM', Transactions of the American Mathematical Society Series B, vol. 12, pp. 697-747. https://doi.org/10.1090/btran/225