Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS
39:30
Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUC…
12.1K viewsDec 28, 2020
YouTubeRuni
#12 Homotopy Type Theory Explained: Addition, Currying, Functions from Inductive Types
4:23
#12 Homotopy Type Theory Explained: Addition, Currying, Fun…
425 views2 months ago
YouTubeHoTT Math
#20 Homotopy Type Theory Explained: Sections
4:28
#20 Homotopy Type Theory Explained: Sections
19 views1 week ago
YouTubeHoTT Math
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
3:18
#1 Homotopy Type Theory Explained: A New Foundation for …
4.6K views4 months ago
YouTubeHoTT Math
What is...homotopy?
18:20
What is...homotopy?
28K viewsAug 1, 2021
YouTubeVisualMath
#7 Homotopy Type Theory Explained: Σ-types
3:28
#7 Homotopy Type Theory Explained: Σ-types
137 views3 months ago
YouTubeHoTT Math
#10 Homotopy Type Theory Explained: Path Induction
3:53
#10 Homotopy Type Theory Explained: Path Induction
661 views3 months ago
YouTubeHoTT Math
2:48
#6 Homotopy Type Theory Explained: Coproducts
721 views4 months ago
YouTubeHoTT Math
6:12
Hom ⊗ X, Y in Discrete Homotopy Theory Explained by Sir Shoaib Arif
7 views2 months ago
YouTubeSir Shoaib Arif
4:34
#14 Homotopy Type Theory Explained: Inductors
220 views1 month ago
YouTubeHoTT Math
11:17
Understanding Homotopy Groups of Graphs A Beginner’s Guide to Dis…
1 views2 months ago
YouTubeSir Shoaib Arif
3:45
#15 Homotopy Type Theory Explained: Higher Inductive Types…
198 views1 month ago
YouTubeHoTT Math
5:01
#13 Homotopy Type Theory Explained: Recursors, Multiplicati…
341 views2 months ago
YouTubeHoTT Math
K-theory, algebraic cycles and motivic homotopy theory - Isaac N…
Feb 25, 2021
newton.ac.uk
3:10
#5 Homotopy Type Theory Explained: Products
685 views4 months ago
YouTubeHoTT Math
23:31
Introduction to Homotopy Theory- PART 2: (TOPOLOGICAL) HOMOT…
3.5K viewsJan 5, 2021
YouTubeRuni
4:47
#16 Homotopy Type Theory Explained: Torus, Transitivity of e…
237 views1 month ago
YouTubeHoTT Math
2:21
#11 Homotopy Type Theory Explained: Inductive Types, Finite …
399 views2 months ago
YouTubeHoTT Math
2:35
#8 Homotopy Type Theory Explained: Existential Quantifiers
1.2K views3 months ago
YouTubeHoTT Math
4:56
#9 Homotopy Type Theory Explained: Law of Excluded Middl…
666 views3 months ago
YouTubeHoTT Math
53:34
Homotopy and the First Fundamental Group
37.1K viewsJun 14, 2013
YouTubenptelhrd
1:31
Unlocking MATH: Homotopy Type Theory's Deep Secrets Revealed! …
4 weeks ago
YouTubeType Theory Forall
4:06
Path Homotopy in Discrete Homotopy Theory Complete Begin…
6 views2 months ago
YouTubeSir Shoaib Arif
2:14
Homotopy Type Theory in 2 Minutes
715 views7 months ago
YouTube2 Minute Expert
2:05:21
Dustin Clausen - 4/4 Algebraic K-theory and Chromatic Homotopy T…
2.3K views11 months ago
YouTubeInstitut des Hautes Etudes Scientifiques (IHES)
1:57:32
Dustin Clausen - 1/4 Algebraic K-theory and Chromatic Homotopy T…
12.8K views11 months ago
YouTubeInstitut des Hautes Etudes Scientifiques (IHES)
1:59:37
Dustin Clausen - 3/4 Algebraic K-theory and Chromatic Homotopy T…
2.4K views11 months ago
YouTubeInstitut des Hautes Etudes Scientifiques (IHES)
1:58:53
Dustin Clausen - 2/4 Algebraic K-theory and Chromatic Homotopy T…
2.6K views11 months ago
YouTubeInstitut des Hautes Etudes Scientifiques (IHES)
23:07
Loop Graphs & Endofunctors Explained Discrete Homotopy The…
10 views1 month ago
YouTubeSir Shoaib Arif
46:21
Guozhen Wang, Zhouli Xu: Stable homotopy groups of spheres and …
2.1K viewsJul 13, 2022
YouTubeInternational Mathematical Union
See more videos
Static thumbnail place holder