Get started
Author

Simon Henry

Observed names: Henry, Simon, SIMON HENRY
ORCID: 0000-0002-4465-5442
Observed ORCID: 0000-0002-4465-5442
OpenAlex ID: A5059447416
Weak model categories in classical and constructive mathematics
2020 · Simon Henry · Theory and applications of categories · 16
PDF
Towards a constructive simplicial model of Univalent Foundations
2022 · Nicola Gambino, Simon Henry · Journal of the London Mathematical Society · 14
Localic metric spaces and the localic Gelfand duality
2016 · Simon Henry · Advances in Mathematics · 11
PDF
Combinatorial and accessible weak model categories
2022 · Simon Henry · Journal of Pure and Applied Algebra · 10
Non-unital polygraphs form a presheaf category
2019 · Simon Henry · 10
PDF
Regular polygraphs and the Simpson conjecture
2018 · Henry, Simon · arXiv (Cornell University) · 7
PDF
Algebraically cofibrant and fibrant objects revisited
2022 · John Bourke, Simon Henry · Homology Homotopy and Applications · 5
PDF
AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN ${L_{\infty ,\kappa }}$
2019 · SIMON HENRY · Journal of Symbolic Logic · 5
PDF
Constructive Gelfand duality for non-unital commutative C*-algebras
2014 · Henry, Simon · arXiv (Cornell University) · 5
PDF
Measure theory over boolean toposes
2014 · Simon Henry · 5
Algebraic models of homotopy types and the homotopy hypothesis
2016 · Henry, Simon · arXiv (Cornell University) · 4
PDF
A constructive account of the Kan-Quillen model structure and of Kan's Ex$^{\infty}$ functor
2019 · Henry, Simon · arXiv (Cornell University) · 3
PDF
On the homotopy hypothesis in dimension 3
2019 · Henry, Simon, Lanari, Edoardo · arXiv (Cornell University) · 3
PDF
A Geometric Bohr topos
2015 · Henry, Simon · arXiv (Cornell University) · 3
PDF
Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete $C^{*}$-categories
2015 · Henry, Simon · arXiv (Cornell University) · 3
PDF
Symmetrization of monoïds as hypergroups
2013 · Henry, Simon · arXiv (Cornell University) · 3
PDF
An inductive model structure for strict ∞-categories
2024 · Simon Henry, Félix Loubaton · Journal of Pure and Applied Algebra · 2
The effective model structure and -groupoid objects
2022 · Nicola Gambino, Simon Henry, et al. · Forum of Mathematics Sigma · 2
PDF
Non-unital polygraphs form a presheaf categories
2017 · Simon Henry · arXiv (Cornell University) · 2
On toposes generated by cardinal finite objects
2017 · SIMON HENRY · Mathematical Proceedings of the Cambridge Philosophical Society · 2
PDF
Symmetrization of monoïds as hypergroups
2013 · Simon Henry · arXiv (Cornell University) · 2
On the homotopy hypothesis for 3-groupoids
2023 · Simon Henry, Edoardo Lanari · Theory and applications of categories · 1
PDF
Tietze Equivalences as Weak Equivalences
2021 · Simon Henry, Samuel Mimram · Applied Categorical Structures · 1
PDF
Minimal model structures
2020 · Henry, Simon · arXiv (Cornell University) · 1
PDF
The localic isotropy group of a topos
2018 · Simon Henry · Theory and applications of categories · 1
PDF
Works count: 33
Citation count: 124
H-index: 6
I10-index: 5
Year
Topic
Type