https://www.youtube.com/watch?v=4MQbd5wTlI8 Emily Riehl (@emilyriehl ) Higher Category Theory, Homotopy & AI in Math | aboutlogic #15 (from the video description): ------ aboutlogic #15 | Emily Riehl (Johns Hopkins University) joins us to explore higher category theory, homotopy, and the role of AI in modern mathematics. From the foundations of category theory to the challenges of formalizing math with proof assistants like Lean, Emily shares her insights on synthetic vs. analytic approaches, the beauty of abstraction, and how AI is changing mathematical research. Listen to the podcast on the go: https://aboutlogic.podigee.io/ 00:50 Introduction to Higher Category Theory 02:37 Understanding Homotopy Theory 09:44 Exploring Category Theory Basics 15:52 Limitations and Complexities in Category Theory 21:58 The Role of Proof Assistants in Category Theory 27:59 Synthetic vs Analytic Approaches in Infinity Categories 36:33 Teaching and Learning with Proof Assistants and the use of AI 48:40 Gender Imbalance in Mathematics 51:43 Bridging the Gap Between Type Theory and Set Theory Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/ ------