Mathématiques
et Interactions
-
Les vidéos associées à LogiqueVoir +
![On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes]()
01:40:57publiée le 14 mars 2022On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes
De Emily Riehl
![On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations]()
01:21:55publiée le 14 mars 2022On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations
De Emily Riehl
