4 citations · 7 across the 2 of their papers we have counts for
2 papers
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.
math.CT2019★ 4 cited
A co-reflection of cubical sets into simplicial sets with applications to model structures
Chris Kapulkin, Zachery Lindsey, Liang Ze Wong
We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straighte…