#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
3:18
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
20K viewsSep 5, 2025
YouTubeHoTT Math
#38 Homotopy Type Theory Explained: Natural Transformations, Cat. of Functors
4:06
#38 Homotopy Type Theory Explained: Natural Transformations, Cat. of Functors
141 views4 months ago
YouTubeHoTT Math
#24 Homotopy Type Theory Explained: Equivalences, Preimages
3:52
#24 Homotopy Type Theory Explained: Equivalences, Preimages
353 views8 months ago
YouTubeHoTT Math
#23 Homotopy Type Theory Explained: Groups, Truncations, Loop Spaces, Integers
6:38
#23 Homotopy Type Theory Explained: Groups, Truncations, Loop Spaces, Integers
552 views8 months ago
YouTubeHoTT Math
#35 Homotopy Type Theory Explained: Precategories
2:42
#35 Homotopy Type Theory Explained: Precategories
329 views5 months ago
YouTubeHoTT Math
What is A-Homotopy? An Introduction to Discrete Homotopy Theory
14:18
What is A-Homotopy? An Introduction to Discrete Homotopy Theory
3 views4 months ago
YouTubeSir Shoaib Arif
Internal Hom and Finite & Infinite Paths in Discrete Homotopy Theory
14:28
Internal Hom and Finite & Infinite Paths in Discrete Homotopy Theory
4 views4 months ago
YouTubeSir Shoaib Arif
2:45
#36 Homotopy Type Theory Explained: Categories, Cat. of Sets
238 views5 months ago
YouTubeHoTT Math
3:57
#40 Homotopy Type Theory Explained: Groupoids, Types as Categories
272 views3 months ago
YouTubeHoTT Math
4:55
#34 Homotopy Type Theory Explained: Semi-Direct Products, Automorphisms
246 views5 months ago
YouTubeHoTT Math
4:12
#26 Homotopy Type Theory Explained: Covering Spaces
513 views7 months ago
YouTubeHoTT Math
2:41
#31 Homotopy Type Theory Explained: Function Extensionality
266 views6 months ago
YouTubeHoTT Math
4:41
#25 Homotopy Type Theory Explained: Univalence Axiom
439 views8 months ago
YouTubeHoTT Math
38:59
Discrete Homotopy Theory Lecture | Isomorphisms in Infinite Path Graphs
10 views3 months ago
YouTubeSir Shoaib Arif
39:14
Lecture 4 | Path Graphs and Path Equivalence in Discrete Homotopy Theory
9 views4 months ago
YouTubeSir Shoaib Arif
3:02
#37 Homotopy Type Theory Explained: Functors
180 views4 months ago
YouTubeHoTT Math
32:12
Lec 04 Homotopy Group-II
240 views4 months ago
YouTubeNPTEL - Indian Institute of Science, Bengaluru
56:57
Anton Kapustin: "Higher symmetries and homotopy theory in quantum lattice models"
148 views4 months ago
YouTubeGalileo Galilei Institute (GGI)
6:57
The Highest Levels of Mathematical Abstraction
5.5K views8 months ago
YouTubeX to Y
3:01
#29 Homotopy Type Theory Explained: Quotient Groups
310 views7 months ago
YouTubeHoTT Math
5:27
#33 Homotopy Type Theory Explained: Higher Dimensional Loop Spaces, Abelian Groups
215 views6 months ago
YouTubeHoTT Math
17:36
Box Product of Graphs in Discrete Homotopy Theory | Mathematical Foundations
4 views4 months ago
YouTubeSir Shoaib Arif
48:59
ICM 2026 Plenary Lecture - Jacob Lurie
4.3K views2 months ago
YouTubeSimons Foundation
38:32
Discrete Homotopy Theory Lecture 4: I-Indexed Path Graphs Explained
10 views4 months ago
YouTubeSir Shoaib Arif
4:11
#17 Homotopy Type Theory Explained: Fibrations, Transport
920 views10 months ago
YouTubeHoTT Math
4:47
#16 Homotopy Type Theory Explained: Torus, Transitivity of equality
1K views10 months ago
YouTubeHoTT Math
3:53
#10 Homotopy Type Theory Explained: Path Induction
1.9K viewsOct 24, 2025
YouTubeHoTT Math
5:08
#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
517 views9 months ago
YouTubeHoTT Math
3:03
#19 Homotopy Type Theory Explained: Mapping out of S¹, Functoriality
748 views10 months ago
YouTubeHoTT Math
7:15
Star Neighborhood in Discrete Homotopy Theory II Easy Explanation with Examples
14 views8 months ago
YouTubeSir Shoaib Arif
See more
Static thumbnail place holder