Work

The universal coCartesian fibration

Year: 2022
Type: preprint
Abstract: We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.
Language: English
Open Access status: green
OpenAlex ID: W4306884869
Cites:
Cited by:
Related to: 10