The straightening-unstraightening equivalence between presheaves and fibrations lifts to a biequivalence of infinity-cosmoi for all models of (infinity,1)-categories.
On the unicity of the theory of higher categories
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
math.CT 1years
2025 1verdicts
ACCEPT 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Cosmological Unstraightening
The straightening-unstraightening equivalence between presheaves and fibrations lifts to a biequivalence of infinity-cosmoi for all models of (infinity,1)-categories.