Dear all,

Readers of this list may be interested in the following series of papers:

[1] S. Henry, Weak model categories in classical and constructive mathematics,

https://arxiv.org/abs/1807.02650<https://arxiv.org/abs/1905.06281>

[2] S. Henry, A constructive account of the Kan-Quillen model structure and of Kan's Ex∞ functor,

  https://arxiv.org/abs/1905.06160

[3] N. Gambino, C. Sattler, K. Szumiło, The constructive Kan-Quillen model structure: two new proofs

https://arxiv.org/abs/1907.05394

[4] N. Gambino, S. Henry, Towards a constructive simplicial model of Univalent Foundations

https://arxiv.org/abs/1905.06281

Apologies for cross-posting.

With best regards,
Nicola

==
Dr Nicola Gambino
Associate Professor in Pure Mathematics
School of Mathematics, University of Leeds
http://www1.maths.leeds.ac.uk/~pmtng/




-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/D3003278-EEC5-46A0-A07A-AD260A830DB2%40leeds.ac.uk.
For more options, visit https://groups.google.com/d/optout.