38 citations · 95 across the 13 of their papers we have counts for
3 papers · 1 filter
Relative elegance and cartesian cubes with one connection
Evan Cavallo, Christian Sattler
We establish a Quillen equivalence between the Kan-Quillen model structure and a model structure, derived from a cubical model of homotopy type theory, on the category of cartesian…
Cubical models of -categories
Brandon Doherty, Chris Kapulkin, Zachery Lindsey +1
We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting…
The constructive Kan-Quillen model structure: two new proofs
Nicola Gambino, Christian Sattler, Karol Szumiło
We present two new proofs of Simon Henry's result that the category of simplicial sets admits a constructive counterpart of the classical Kan-Quillen model structure. Our proofs ar…