3:18#1 Homotopy Type Theory Explained: A New Foundation for MathematicsHoTT Math11.0K viewsView & Download
3:13#2 Homotopy Type Theory Explained: Universes, Functions, and Π-typesHoTT Math4.7K viewsView & Download
6:38#23 Homotopy Type Theory Explained: Groups, Truncations, Loop Spaces, IntegersHoTT Math355 viewsView & Download
3:03#19 Homotopy Type Theory Explained: Mapping out of S¹, FunctorialityHoTT Math534 viewsView & Download
52:11Steve Awodey – Homotopy Type Theory, Logic & Philosophy | #05 aboutlogicaboutlogic3.0K viewsView & Download
