15 citations · 73 across the 25 of their papers we have counts for
Showing 2018 · math.CTShow all
3 papers · 2 filters
math.CT2018
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…
math.CT2018★ 8 cited
Regular polygraphs and the Simpson conjecture
Simon Henry
We prove Carlos Simpson's "semi-strictification" (or "weak unit") conjecture in the case of infinity-groupoids. More precisely, we introduce two precise versions of the conjecture,…
math.CT2018★ 14 cited
Weak model categories in classical and constructive mathematics
Simon Henry
We introduce a notion of "weak model category" which is a weakening of the notion of Quillen model category, still sufficient to define a homotopy category, Quillen adjunctions, Qu…