Intro to HoTT No. 5, Part 1
In this video, we take an informal look at what it means to "multiply" homotopy spaces. These "product types" play a central role in type theory, especially in the logic interpretation (as we'll discuss in a future video).
