The universal coCartesian fibration
| Autor: | Cisinski, Denis-Charles, Nguyen, Hoang Kim |
|---|---|
| Rok vydání: | 2022 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration. Comment: 38 pages |
| Databáze: | arXiv |
| Externí odkaz: |
|