ProV Logo
0

Univalence in Simplicial Sets
Kapulkin, Chris...
Univalence in Simplicial Sets by Kapulkin, Chris ( Author )
Australian National University
27-07-2023
We present an accessible account of Voevodsky's construction of a univalent universe of Kan fibrations.
-
Article
pdf
29.34 KB
English
-
MYR 0.01
-
http://arxiv.org/abs/1203.2553
Share this eBook