Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Papers on constructive simplicial homotopy theory
@ 2019-07-15 10:18 Nicola Gambino
  2019-07-17 17:56 ` Michael Shulman
  0 siblings, 1 reply; 5+ messages in thread
From: Nicola Gambino @ 2019-07-15 10:18 UTC (permalink / raw)
  To: Homotopy Type Theory, constructivenews

[-- Attachment #1: Type: text/plain, Size: 1322 bytes --]

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.

[-- Attachment #2: Type: text/html, Size: 5139 bytes --]

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2019-07-18 12:21 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-07-15 10:18 [HoTT] Papers on constructive simplicial homotopy theory Nicola Gambino
2019-07-17 17:56 ` Michael Shulman
2019-07-18  7:55   ` Nicola Gambino
2019-07-18  8:15     ` Bas Spitters
2019-07-18 12:21     ` Michael Shulman

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).