Simon Henry

Available identifiers

zbMath Open henry.simonWikidataQ102443983 ScholiaQ102443983MaRDI QIDQ266140

List of research outcomes

Publication	Date of Publication	Type
An inductive model structure for strict \(\infty\)-categories	2025-01-27	Paper
A constructive account of the Kan-Quillen model structure and of Kan's Ex\(^\infty\) functor	2025-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q6201703	2024-03-25	Paper
Compact Hausdorff locales in presheaf toposes	2023-11-06	Paper
A Classifying groupoid for compact Hausdorff locales	2023-10-11	Paper
Towards a constructive simplicial model of Univalent Foundations	2023-08-24	Paper
When does $\operatorname{Ind}_\kappa(C^I) \simeq \operatorname{Ind}_\kappa(C)^I$?	2023-07-13	Paper
Combinatorial and accessible weak model categories	2022-09-14	Paper
The effective model structure and -groupoid objects	2022-06-13	Paper
Algebraically cofibrant and fibrant objects revisited	2022-06-03	Paper
Tietze equivalences as weak equivalences	2022-05-19	Paper
Higher Theories and Monads	2021-06-04	Paper
Minimal model structures	2020-11-26	Paper
Weak model categories in classical and constructive mathematics	2020-06-29	Paper
AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN	2019-09-17	Paper
Non-unital polygraphs form a presheaf category	2019-06-19	Paper
A constructive account of the Kan-Quillen model structure and of Kan's Ex$^{\infty}$ functor	2019-05-15	Paper
The localic Istropy group of a topos	2018-12-21	Paper
On toposes generated by cardinal finite objects	2018-08-27	Paper
Regular polygraphs and the Simpson conjecture	2018-07-07	Paper
Measure theory over boolean toposes	2017-09-28	Paper
The convolution algebra of an absolutely locally compact topos	2016-12-31	Paper
Algebraic models of homotopy types and the homotopy hypothesis	2016-09-15	Paper
Localic metric spaces and the localic Gelfand duality	2016-04-13	Paper
Complete C*-categories and a topos theoretic Green-Julg theorem	2015-12-10	Paper
A Geometric Bohr topos	2015-02-06	Paper
Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete $C^{*}$-categories	2015-01-28	Paper
Constructive Gelfand duality for non-unital commutative C*-algebras	2014-12-05	Paper
Toposes, quantales and C* algebras in the atomic case	2013-11-14	Paper
Symmetrization of mono\"ids as hypergroups	2013-09-08	Paper

Research outcomes over time

This page was built for person: Simon Henry