most citedA co-reflection of cubical sets into simplicial sets with applications to model structures

4 citations · 7 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2020★ 3 cited

The law of excluded middle in the simplicial model of type theory

Chris Kapulkin, Peter LeFanu Lumsdaine

We show that the law of excluded middle holds in Voevodsky's simplicial model of type theory. As a corollary, excluded middle is compatible with univalence.