4 citations · 10 across the 6 of their papers we have counts for
10 papers · 1 filter
Higher Theories and Monads
Simon Henry, Nicholas J. Meadows
We extend Bourke and Garner's idempotent adjunction between monads and pretheories to the framework of -categories and we use this to prove many classical results about mon…
Minimal model structures
Simon Henry
We prove, without set theoretic assumptions, that every locally presentable category C endowed with a tractable cofibrantly generated class of cofibrations has a unique minimal (or…
Combinatorial and accessible weak model categories
Simon Henry
In a previous work, we have introduced a weakening of Quillen model categories called weak model categories. They still allow all the usual constructions of model category theory,…
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…
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…
An abstract elementary class non-axiomatizable in
Simon Henry
We show that for any uncountable cardinal , the category of sets of cardinality at least and monomorphisms between them cannot appear as the category of point of a topos, in…