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 November 2, 2020 at 06:37:17. See the history of this page for a list of all contributions to it.