Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore the foundations of Homotopy Type Theory (HoTT) in this illuminating 38-minute lecture delivered by Steve Awodey at the Hausdorff Center for Mathematics. Delve into the core concepts and principles of HoTT, understanding its significance in modern mathematics and computer science. Gain insights into how this innovative theory bridges the gap between homotopy theory and type theory, offering new perspectives on mathematical foundations and computational logic.
