The Constructive Kan-Quillen Model Structure: Two New Proofs
Journal article, 2022

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 are entirely self-contained and avoid complex combinatorial arguments on anodyne extensions. We also give new constructive proofs of the left and right properness of the model structure.


Nicola Gambino

University of Leeds

Christian Sattler

Chalmers, Computer Science and Engineering (Chalmers), Computing Science

Karol Szumilo

University of Warsaw

Quarterly Journal of Mathematics

0033-5606 (ISSN) 1464-3847 (eISSN)

Vol. In Press

Subject Categories

Algebra and Logic


Mathematical Analysis



More information

Latest update

5/5/2022 1