Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

From HoTT to HOTT - Exploring Homotopy Type Theory

Schmid College, Chapman University via YouTube

Overview

Explore the transition from Homotopy Type Theory (HoTT) to Higher-Order Type Theory (HOTT) in this illuminating conference talk by Michael Shulman from the University of San Diego. Delivered as part of a conference celebrating the inaugural year of Chapman University's Doctor of Science program in Mathematics, Philosophy and Physics, this hour-long presentation delves into advanced concepts in mathematical logic and foundations. Gain insights into the latest developments in type theory and its applications in mathematics and computer science. Suitable for graduate students and researchers in mathematics, computer science, and philosophy of mathematics, this talk offers a deep dive into cutting-edge research at the intersection of these fields.

Syllabus

Michael Shulman (University of San Diego): From HoTT to HOTT

Taught by

Schmid College, Chapman University

Reviews

Start your review of From HoTT to HOTT - Exploring Homotopy Type Theory

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.