Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2

Emily Riehl: "Contractibility as uniqueness"See more

Emily Riehl 4 March 2021See more

Emily Riehl: On the ∞-topos semantics of homotopy type theory: categorial semantics... - Lecture 1See more

"∞-Category theory for undergraduates", talk by Emily Riehl at CQTS @ NYU Abu Dhabi, December 2023See more

The Equivariant Uniform Kan Fibration Model of Cubical Homotopy Type TheorySee more

WoW! - Emily RiehlSee more

Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3See more

A Solution to the Stable Marriage Problem: Emily Riehl webcast trailerSee more

∞-Category Theory for UndergraduatesSee more

Contractibility as uniqueness - Emily RiehlSee more

Emily Riehl, The synthetic theory of ∞-categories vs the synthetic theory of ∞-categoriesSee more

The Formal Theory of Adjunctions Monads Algebras and Descent Emily Riehl MSRISee more

Emily RiehlSee more

Emily Riehl on Topology, Categories, and the Future of MathematicsSee more