137 citations · 500 across the 20 of their papers we have counts for
1 paper · 2 filters
Chris Kapulkin, Peter LeFanu Lumsdaine
We present Voevodsky's construction of a model of univalent type theory in the category of simplicial sets. To this end, we first give a general technique for constructing categori…