The Constructive Kan-Quillen Model Structure: Two New Proofs
Artikel i vetenskaplig tidskrift, 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.

Författare

Nicola Gambino

University of Leeds

Christian Sattler

Chalmers, Data- och informationsteknik, Computing Science

Karol Szumilo

Uniwersytet Warszawski

Quarterly Journal of Mathematics

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

Vol. 73 4 1307-1373

Bevisteori och semantik för homotopitypteori i högre ordningens kategorier

Vetenskapsrådet (VR) (2019-03765), 2020-01-01 -- 2023-12-31.

Ämneskategorier

Algebra och logik

Geometri

Matematisk analys

DOI

10.1093/qmath/haab057

Mer information

Senast uppdaterat

2024-03-07