The universal coCartesian fibration
arXiv:2210.08945
Abstract
We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.
38 pages
arXiv:2210.08945
We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.
38 pages