#EHTT Mike Shulman ;: towards elementary ∞-toposes

Le texte de ce cours est ici :

https://video.ias.edu/sites/video/files/eleminf.pdf

En vidéo :

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