147 citations · 398 across the 15 of their papers we have counts for
1 paper · 1 filter
Nicola Gambino, Christian Sattler, Karol Szumiło
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 ar…