Simon Henry

activity

20152026

most citedA constructive account of the Kan-Quillen model structure and of Kan's Ex

^{\infty}

functor

4 citations · 10 across the 9 of their papers we have counts for

collaborators

Showing 2019Show all

2 papers · 1 filter

math.CT2019★ 4 cited

A constructive account of the Kan-Quillen model structure and of Kan's Ex $^{\infty}$ 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 $n$ -groupoids exists, then it satisfies the homotopy hypothesis, i.e. the associated $(\inft…

A constructive account of the Kan-Quillen model structure and of Kan's Ex∞ functor

On the homotopy hypothesis in dimension 3

A constructive account of the Kan-Quillen model structure and of Kan's Ex $^{\infty}$ functor