nLab Simon Henry

Selected writings

On measure theory via Boolean toposes:

On formal category theory:

On weak model categories;

On a constructive model structure on simplicial sets:

On the locale of real numbers:

On the homotopy hypothesis for Grothendieck 3-groupoids:

category: people

Last revised on November 10, 2023 at 15:34:03. See the history of this page for a list of all contributions to it.