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:
Last revised on June 26, 2021 at 09:48:33. See the history of this page for a list of all contributions to it.