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é:

Click to access Joyal.pdf

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

Click to access 03models.pdf

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

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

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.