Emily Riehl: "Contractibility as uniqueness"
HoTT Lecture 6: Contractible Types -- HoTTEST Summer School 2022See more
Emily Riehl: "Contractibility as uniqueness"See more
Emily Riehl: Mathematician, Musician, EducatorSee more
Emily Riehl on Topology, Categories, and the Future of MathematicsSee more
Contractibility as uniqueness - Emily RiehlSee more
The Formal Theory of Adjunctions Monads Algebras and Descent Emily Riehl MSRISee more
Emily Riehl: On the ∞-topos semantics of homotopy type theory: categorial semantics... - Lecture 1See more
MEET a Mathematician! - Emily RiehlSee more
Lambda World 2019 - A categorical view of computational effects - Emily RiehlSee more
Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3See more
WoW! - Emily RiehlSee more
Emily Riehl 4 March 2021See more
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.See more
ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)See more
"∞-Category theory for undergraduates", talk by Emily Riehl at CQTS @ NYU Abu Dhabi, December 2023See more
∞-Category Theory for UndergraduatesSee more
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explainsSee more
Emily Riehl | Feb 16, 2021 | Elements of ∞-Category TheorySee more
Emily RiehlSee more
Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2See more
