Simon Henry

activity

20132026

most citedTowards a constructive simplicial model of Univalent Foundations

15 citations · 73 across the 25 of their papers we have counts for

collaborators

28 papers

math.CT2026

Rewriting and presentations of quasicategories

Simon Henry

We show that the methods of rewriting theory to establish coherence theorems can applied at the level of quasicategories. More precisely, for any category C which admits a presenta…

math.CT2025

Homotopy Languages

César Bardomiano Martínez, Simon Henry

We attach to each weak model category $M$ a class of first order formulas about the fibrant objects of $M$ whose validity is invariant under homotopies and weak…

math.CT2023

A Classifying groupoid for compact Hausdorff locales

Simon Henry, Christopher Townsend

We construct a localic groupoid $G_{K H}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a categor…

math.CT2022

Compact Hausdorff Locales in presheaf toposes

Simon Henry, Christopher Townsend

We prove that for any small category $C$ , the category $KHausLoc_{C^}$ of compact Hausdorff locales in the presheaf topos $C^$ , is…

math.CT2021

Higher Theories and Monads

Simon Henry, Nicholas J. Meadows

We extend Bourke and Garner's idempotent adjunction between monads and pretheories to the framework of $\infty$ -categories and we use this to prove many classical results about mon…

math.CT2021★ 1 cited

The effective model structure and $\infty$ -groupoid objects

Nicola Gambino, Simon Henry, Christian Sattler +1

For a category $E$ with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simpl…