Work

The Constructive Kan–Quillen Model Structure: Two New Proofs

Year: 2021

Type: article

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.

Source: The Quarterly Journal of Mathematics

DOI: 10.1093/qmath/haab057

Authors: Nicola Gambino, Christian Sattler, Karol Szumiło

Institutions: University of Leeds, Chalmers University of Technology, University of Warsaw

Language: English

Topic: Homotopy and Cohomology in Algebraic Topology

Subfield: Mathematical Physics

Field: Mathematics

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,895