#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
Homotopy Type Theory (HoTT) gives us a new foundation for mathematics. From it, we can naturally describe algebraic structures, topology, and even classical logic. This video is part of a series that gradually explains concepts in HoTT, one step at a time.
In this video we discuss HoTT's approach to equality. Specifically, we take a look at equality types and paths.
Chapters:
0:00 - Introduction
0:35 - Types and terms
1:14 - Paths
2:19 - Paths of paths
If you like to support HoTT Math, you can do so on Ko-fi. All content will always remain free.
https://ko-fi.com/hottmath