11 citations · 25 across the 6 of their papers we have counts for
4 papers · 1 filter
The constructive Kan-Quillen model structure: two new proofs
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…
Localization of Cofibration Categories and Groupoid -algebras
Markus Land, Thomas Nikolaus, Karol Szumiło
We prove that relative functors out of a cofibration category are essentially the same as relative functors which are only defined on the subcategory of cofibrations. As an applica…
Quasicategories of Frames of Cofibration Categories
Chris Kapulkin, Karol Szumiło
We show that the quasicategory of frames of a cofibration category, introduced by the second-named author, is equivalent to its simplicial localization.
Two Models for the Homotopy Theory of Cocomplete Homotopy Theories
Karol Szumiło
We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theorie…