Correspondance entre théorie des catégories et #HoTT : deux autres exposés

Un autre exposé de Joyal sur categorical #HoTT , différant sensiblement de celui déjà étudié:

http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf

Un exposé de Michael Shulman sur les “categorical models ” de HoTT:

https://home.sandiego.edu/~shulman/hottminicourse2012/03models.pdf

revenant sur la notion de “display map”, aussi expliquée par Joyal

https://ncatlab.org/nlab/show/display+map

Advertisements
This entry was posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie mathématique and tagged , . Bookmark the permalink.