Emily Riehl
Code ISNI : 0000000424931854
Code ORCID : 0000-0002-8465-8859
Department of Mathematics
Johns Hopkins University
London
UK
Mathématiques
et Interactions
-
6 vidéos
![Elements of oo-category theory - Part 1]()
![Do we want a new foundation for “higher structures”?]()
![On the ∞-topos semantics of homotopy type theory 1: a categorical semantics of dependent type theory]()
01:33:58publiée le 14 mars 2022On the ∞-topos semantics of homotopy type theory 1: a categorical semantics of dependent type theory
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
![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
