On measure theory via Boolean toposes:
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:
On the locale of real numbers:
On the homotopy hypothesis for Grothendieck 3-groupoids:
Last revised on November 10, 2023 at 15:34:03. See the history of this page for a list of all contributions to it.