A SHORT PROOF OF THE STRAIGHTENING THEOREM

Fabian Hebestreit; Gijs Heuts; Jaco Ruit

doi:10.1090/btran/225

A SHORT PROOF OF THE STRAIGHTENING THEOREM

Fabian Hebestreit, Gijs Heuts, Jaco Ruit

Research output: Contribution to journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	697-747
Number of pages	51
Journal	Transactions of the American Mathematical Society Series B
Volume	12
DOIs	https://doi.org/10.1090/btran/225
Publication status	Published - 2025

Bibliographical note

Publisher Copyright:
© 2025 by the author(s).

Access to Document

10.1090/btran/225

S2330-0000-2025-00225-5Final published version, 495 KBLicence: Taverne

Cite this

@article{438ed1943e9e44268d78c47ac83b146b,

title = "A SHORT PROOF OF THE STRAIGHTENING THEOREM",

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

author = "Fabian Hebestreit and Gijs Heuts and Jaco Ruit",

note = "Publisher Copyright: {\textcopyright} 2025 by the author(s).",

year = "2025",

doi = "10.1090/btran/225",

language = "English",

volume = "12",

pages = "697--747",

journal = "Transactions of the American Mathematical Society Series B",

issn = "2330-0000",

}

TY - JOUR

T1 - A SHORT PROOF OF THE STRAIGHTENING THEOREM

AU - Hebestreit, Fabian

AU - Heuts, Gijs

AU - Ruit, Jaco

PY - 2025

Y1 - 2025

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/105007190378

U2 - 10.1090/btran/225

DO - 10.1090/btran/225

M3 - Article

AN - SCOPUS:105007190378

SN - 2330-0000

VL - 12

SP - 697

EP - 747

JO - Transactions of the American Mathematical Society Series B

JF - Transactions of the American Mathematical Society Series B

ER -

A SHORT PROOF OF THE STRAIGHTENING THEOREM

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this