Mr. Floris van Doorn | Homotopy Type Theory in Lean
50:41
Mr. Floris van Doorn | Homotopy Type Theory in Lean
13 views5 months ago
YouTubeINI Seminar Room 1
Homotopy Theory Lecture 1
1:16:18
Homotopy Theory Lecture 1
5.6K viewsDec 25, 2021
YouTubeMaths with Biplab
#24 Homotopy Type Theory Explained: Equivalences, Preimages
3:51
#24 Homotopy Type Theory Explained: Equivalences, Preimages
14 views2 months ago
YouTubeHoTT Math
#30 Homotopy Type Theory Explained: Pullbacks, Pushouts
4:27
#30 Homotopy Type Theory Explained: Pullbacks, Pushouts
163 views3 weeks ago
YouTubeHoTT Math
#31 Homotopy Type Theory Explained: Function Extensionality
2:41
#31 Homotopy Type Theory Explained: Function Extensionality
12 views2 weeks ago
YouTubeHoTT Math
#26 Homotopy Type Theory Explained: Covering Spaces
4:12
#26 Homotopy Type Theory Explained: Covering Spaces
357 views1 month ago
YouTubeHoTT Math
#28 Homotopy Type Theory Explained: Group Homomorphisms
4:24
#28 Homotopy Type Theory Explained: Group Homomorphisms
5 views1 month ago
YouTubeHoTT Math
5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
64.3K viewsOct 6, 2017
YouTubeComputerphile
6:26
What is Finite Element Analysis? FEA explained for beginners
279.4K viewsApr 23, 2018
YouTubeUnpopular Mechanics
1:03:41
1. History of Algebraic Topology; Homotopy Equivalence - Pierre Albin
160.7K viewsJan 2, 2019
YouTubeMat Neth
1:17:21
What is a Manifold? Lesson 18: Homotopy
12.9K viewsSep 6, 2016
YouTubeXylyXylyX
33:20
Ham lecture 2
7.1K viewsNov 11, 2018
YouTubeStudyZoom international
1:23:32
Mike Shulman: Towards Third-Generation HOTT, Part 1
3.4K viewsApr 28, 2022
YouTubeCarnegie Mellon University Department of Philo…
1:58
Homotopy Type Theory: Where Shapes Defy Imagination.
704 views8 months ago
YouTubeRapidQuanta
1:08:49
Algebraic Topology 1: Homotopy Equivalence
45.4K viewsSep 7, 2023
YouTubeMath at Andrews University
53:34
Homotopy and the First Fundamental Group
37.3K viewsJun 14, 2013
YouTubenptelhrd
7:06
Homotopy of paths
18.5K viewsJan 16, 2019
YouTubeAn Antipodal Algebraic Topologist
3:10
#5 Homotopy Type Theory Explained: Products
1.2K views7 months ago
YouTubeHoTT Math
14:41
What is...homotopy type theory?
11.6K viewsJul 8, 2023
YouTubeVisualMath
1:06:02
Algebraic Topology 13: Homotopy Equivalence Preserves Homology
9.7K viewsJan 22, 2024
YouTubeMath at Andrews University
3:01
#29 Homotopy Type Theory Explained: Quotient Groups
133 views1 month ago
YouTubeHoTT Math
3:18
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
9.8K views8 months ago
YouTubeHoTT Math
3:53
#10 Homotopy Type Theory Explained: Path Induction
1.1K views6 months ago
YouTubeHoTT Math
9:50
Algebraic Topology 1.1 : Homotopy (Animation Included)
24K viewsJan 26, 2019
YouTubeFematika
14:52
1.02 Paths, loops, homotopies
5.6K viewsSep 12, 2018
YouTubeJonathan Evans
43:12
Emily Riehl — The future of mathematics | Math, Inc.
4.4K views3 months ago
YouTubeMath Inc
53:48
Geometric homotopy theory via simplicial sets - Reid Barton
613 viewsApr 28, 2025
YouTubeHoTT-UF2025
1:25
Sphere with 2 points identified homotopy equivalence
4.3K viewsMar 29, 2021
YouTubeVisual Topology & Geometry
30:08
La théorie homotopique des types 🌶️ 🌶️
17.7K viewsFeb 23, 2017
YouTubeScience4All
1:14:20
Greg Langmead, Discrete differential geometry in homotopy type theory
595 views7 months ago
YouTubeHoTTEST
See more