Year: 2025
Type: article
Abstract: We establish a Quillen equivalence between the Kan–Quillen model structure and a model structure, derived from a cubical model of homotopy type theory (HoTT), on the category of Cartesian cubical sets with one connection. We thereby identify a second model structure which both constructively models HoTT and presents $\infty $ -groupoids, the first example being the equivariant Cartesian model of Awodey–Cavallo–Coquand–Riehl–Sattler.
Source: Canadian Journal of Mathematics
Authors: Evan Cavallo, Christian Sattler
Institutions: Chalmers University of Technology, University of Gothenburg
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,550
OpenAlex ID: W4413440400