Was soll HoTT? [Intro to HoTT, No. 0]
6:55
Three for One: Intro [Intro to HoTT, No. 1, Part 0]
31:13
What is Group Theory? — Group Theory Ep. 1
15:11
Bayes theorem, the geometry of changing beliefs
20:17
[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language
21:57
What is Lie theory? Here is the big picture. | Lie groups, algebras, brackets #3
8:27
Formalities & Informalities: HoTT Workflows [Intro to HoTT, No. 2, Part 0]
11:54
Three for One: Homotopy Interpretation [Intro to HoTT, No. 1, Part 2]
23:40