The universal coCartesian fibration
Denis-Charles Cisinski, Hoang Kim Nguyen
TL;DR
This paper presents a new proof of the straightening/unstraightening correspondence in higher category theory by generalizing the univalence property of the universal coCartesian fibration.
Contribution
It introduces a novel proof technique for the straightening/unstraightening correspondence through a generalized univalence property.
Findings
Established a new proof of the straightening/unstraightening equivalence.
Generalized the univalence property for the universal coCartesian fibration.
Enhanced understanding of the foundational aspects of higher category theory.
Abstract
We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models · Advanced Topics in Algebra · Advanced Combinatorial Mathematics