6:38#23 Homotopy Type Theory Explained: Groups, Truncations, Loop Spaces, IntegersHoTT Math368 viewsView & Download
1:31:00HoTT Lecture 10: Propositional truncation -- HoTTEST Summer School 2022HoTTEST650 viewsView & Download
3:13#2 Homotopy Type Theory Explained: Universes, Functions, and Π-typesHoTT Math4.8K viewsView & Download
38:36"A Little Taste of Dependent Types" by David ChristiansenStrange Loop Conference45.8K viewsView & Download
1:00:36Peter Dybjer: Intuitionistic Type Theory (Lecture I)Hausdorff Center for Mathematics3.6K viewsView & Download
1:28:36Type-theoretic mathematics: (10) Propositions-as-types; Pointless; P(r)oset constructionsthanosmath53 viewsView & Download
1:35:39HoTT Lecture 8: Propositions, Sets, and Truncated Types -- HoTTEST Summer School 2022HoTTEST856 viewsView & Download