nLab Simon Henry

• webpage

Selected writings

On measure theory via Boolean toposes:

• Simon Henry, Measure theory over boolean toposes, Mathematical Proceedings of the Cambridge Philosophical Society, Volume 163 Issue 1, 2016 (arXiv:1411.1605, doi:10.1017/S0305004116000700)

On weak model categories;

• Simon Henry, Weak model categories in classical and constructive mathematics (arXiv:1807.02650)

• Simon Henry, Combinatorial and accessible weak model categories (arXiv:2005.02360)

On a constructive model structure on simplicial sets:

• Simon Henry, A constructive account of the Kan-Quillen model structure and of Kan’s $Ex^\infty$ functor (arXiv:1905.06160)

Related $n$Lab entries

• Boolean topos

• measurable space

• modular theory

• weak model structure on semi-simplicial sets

category: people