The universal coCartesian fibration
Abstract
We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2022
- DOI:
- 10.48550/arXiv.2210.08945
- arXiv:
- arXiv:2210.08945
- Bibcode:
- 2022arXiv221008945C
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Algebraic Topology;
- Mathematics - Logic
- E-Print:
- 38 pages