The Constructive Kan–Quillen Model Structure: Two New Proofs
Abstract
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.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Apr 21, 2022
- Source ID
- 10.1093/qmath/haab057
Entities
People
- Christian Sattler
- Karol Szumiło
- Nicola Gambino
Organizations
- Air Force Office of Scientific Research
- Chalmers University of Technology
- Engineering and Physical Sciences Research Council
- University of Leeds
- University of Warsaw