Emily Riehl #HoTT towards a synthetic theory of (∞,1)- categories

http://www.fields.utoronto.ca/talks/title-tba-102

Article associé:

https://arxiv.org/abs/1705.07442

Events

https://www.cl.cam.ac.uk/~rio22/pdf/Fields-talk.pdf

Advertisements
This entry was posted in ∞-catégories, ∞-cosmoi, homotopy type theory, Philosophie and tagged , . Bookmark the permalink.