The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl
[CPP'24] Formalizing the ∞-categorical Yoneda lemmaSee more
![[CPP'24] Formalizing the ∞-categorical Yoneda lemma](https://img.youtube.com/vi/te13bzYklxM/0.jpg)
Elements of ∞-Category TheorySee more
Nikolai Kudasov, Rzk proof assistant and simplicial HoTT formalizationSee more
Emily Riehl 4 March 2021See more
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.See more
Emily Riehl | Feb 16, 2021 | Elements of ∞-Category TheorySee more
Emily Riehl, The synthetic theory of ∞-categories vs the synthetic theory of ∞-categoriesSee more
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explainsSee more
