Formalities & Informalities: Not-So-Casual Friday

Description

In this video, I bring together everything covered in Parts 0, 1, and 2 with an example: the days of the week!

Formalization links:

• The formalization I’m developing for this video series

HoTT textbooks:

• The HoTT Book (2013)—the original statement of HoTT
• Introduction to Homotopy Type Theory, by Egbert Rijke (to be released)