3:18#1 Homotopy Type Theory Explained: A New Foundation for MathematicsHoTT Math11.3K viewsView & Download
3:13#2 Homotopy Type Theory Explained: Universes, Functions, and Π-typesHoTT Math4.8K viewsView & Download
52:11Steve Awodey – Homotopy Type Theory, Logic & Philosophy | #05 aboutlogicaboutlogic3.0K viewsView & Download
5:08#22 Homotopy Type Theory Explained: Monoids, Sets, Mere PropositionsHoTT Math406 viewsView & Download
9:32Universal and Existential Quantifiers, ∀ "For All" and ∃ "There Exists"Dr. Trefor Bazett442.6K viewsView & Download