Save 40% on Coursera Plus Annual
What is Homotopy Type Theory (HoTT)?

What is Homotopy Type Theory (HoTT)?

Schmid College, Chapman University via YouTube Direct link

What is HoTT? (Steve Awodey, Carnegie Mellon University)

1 of 1

1 of 1

What is HoTT? (Steve Awodey, Carnegie Mellon University)

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

What is Homotopy Type Theory (HoTT)?

Automatically move to the next video in the Classroom when playback concludes
  1. 1 What is HoTT? (Steve Awodey, Carnegie Mellon University)

Never Stop Learning.

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

Sign up for free
Someone learning on their laptop while sitting on the floor.