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 homotopy hypothesis for Grothendieck 3-groupoids:
Last revised on August 25, 2023 at 17:00:29. See the history of this page for a list of all contributions to it.