Mathématiques
et Interactions
-
Les vidéos associées à 55U40 Topological categories, foundations of homotopy theoryVoir +
![[1097] Catégories supérieures et théorie des topos]()
01:17:37publiée le 21 mars 2015[1097] Catégories supérieures et théorie des topos
De Denis Charles Cisinski
![Univalent Foundations - new type-theoretic foundations of mathematics]()
54:16publiée le 23 avril 2014Univalent Foundations - new type-theoretic foundations of mathematics
De Vladimir Voevodsky
![[1097] Catégories supérieures et théorie des topos](/media/cache/video_light/uploads/video/video-2352505cb8871ce088e2222b53339494.jpg)
