The universal coCartesian fibration
Category Theory
2022-10-19 v1 Algebraic Topology
Logic
Abstract
We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.
Keywords
Cite
@article{arxiv.2210.08945,
title = {The universal coCartesian fibration},
author = {Denis-Charles Cisinski and Hoang Kim Nguyen},
journal= {arXiv preprint arXiv:2210.08945},
year = {2022}
}
Comments
38 pages