15 citations · 73 across the 25 of their papers we have counts for
Showing 2019 · math.CTShow all
3 papers · 2 filters
math.CT2019★ 4 cited
A constructive account of the Kan-Quillen model structure and of Kan's Ex functor
Simon Henry
We give a fully constructive proof that there is a proper cartesian -combinatorial model structure on the category of simplicial sets, whose generating cofibrations and trivial…
math.CT2019★ 3 cited
On the homotopy hypothesis in dimension 3
Simon Henry, Edoardo Lanari
We show that if the canonical left semi-model structure on the category of Grothendieck -groupoids exists, then it satisfies the homotopy hypothesis, i.e. the associated $(\inft…
math.CT2019★ 15 cited
Towards a constructive simplicial model of Univalent Foundations
Nicola Gambino, Simon Henry
We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterpar…