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 Gelfand duality for locales in constructive mathematics (constructive Gelfand duality theorem)L

• Simon Henry: Constructive Gelfand duality for non-unital commutative $C^\ast$-algebras [arXiv:1412.2009]

• Simon Henry, Localic Metric spaces and the localic Gelfand duality [arXiv:1411.0898]

On formal category theory:

• Ivan Di Liberti, Simon Henry, Mike Lieberman, Fosco Loregian, Formal category theory, course notes (2017) [pdf, pdf]

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)

On the locale of real numbers:

• Madeleine Birchfield, Simon Henry, The field structure on the locale of real numbers (2022) [MO:q/434706]

On the homotopy hypothesis for Grothendieck 3-groupoids:

• Simon Henry, Edoardo Lanari, On the homotopy hypothesis in dimension 3, Theory and Applications of Categories 39 26 (2023) 735-768 [arxiv/1905.05625, tac:39-26, pdf]

On rewriting in terms of quasicategories:

• Simon Henry: Rewriting and presentations of quasicategories [arXiv:2608.02529]

Related entries

• Boolean topos

• measurable space

• modular theory

• weak model structure on semi-simplicial sets

category: people