What is Homotopy Type Theory? #HoTT #math #maths #homotopytypetheory
0:39
What is Homotopy Type Theory? #HoTT #math #maths #homotopytypetheory
1.8K views9 months ago
YouTubeHoTT Math
Algebra Structures in Equivariant Homotopy Theory | ANRF PRISM
1:08
Algebra Structures in Equivariant Homotopy Theory | ANRF PRISM
83 views2 months ago
YouTubeAnusandhan National Research Foundation - ANRF
Topology|Homotopy|
0:29
Topology|Homotopy|
265 views2 months ago
YouTubeMAZHER MATH ACADEMY
“Homotopy — The Art of Continuous Transformation!”#maths #space #topology #homotopy
1:45
“Homotopy — The Art of Continuous Transformation!”#maths #space #topology #homotopy
1.2K views11 months ago
YouTubeClickVector
Unlocking MATH: Homotopy Type Theory's Deep Secrets Revealed! #shorts
1:31
Unlocking MATH: Homotopy Type Theory's Deep Secrets Revealed! #shorts
540 views9 months ago
YouTubeType Theory Forall
Homotopy| RUBBER SHEET GEOMETRY|#viralvideo |
0:27
Homotopy| RUBBER SHEET GEOMETRY|#viralvideo |
328 views2 months ago
YouTubeMAZHER MATH ACADEMY
HOTT#topologicalspace
0:56
HOTT#topologicalspace
38 views3 months ago
YouTubeNeeti Sharma - Logic to Leadership
0:29
conversion of circle to square| Topology|Homotopy|
3 views2 months ago
YouTubeMAZHER MATH ACADEMY
What is prismatic stable homotopy theory even about?
8 months ago
mathoverflow.net
Univalent higher categories via complete Semi-Segal types | Proceedings of the ACM on Programming Languages
Jan 19, 2020
acm.org
2:21
Chasing the Math High: From PhD to Sheaves #shorts
866 views9 months ago
YouTubeType Theory Forall
1:45
From Prerequisites to Type Theory: My Academic Revenge Story #shorts
1.1K views9 months ago
YouTubeType Theory Forall
0:29
THINK PETER, THINK! WHAT WILL YOU HAVE AFTER 500 YEARS
19.7K views5 months ago
YouTubeUnEatenHamBurger
0:56
To rigor or not to rigor? #science #maths #mathematics #academia #publishing #computerscience
3.2K views6 months ago
YouTubeK-Theory
0:10
sphere homotopy (@sphere_homotopy) on X
10.1K views6 months ago
x.comsphere homotopy
0:10
Homotopy from a square to a circle
1.4K viewsOct 30, 2018
YouTubeArnaldo Rodriguez-Gonzalez
1:15
Cubical Agda: Proving Extensionality Without Axioms! #shorts
621 views11 months ago
YouTubeType Theory Forall
1:25
Will the following matrix be homotopy?
214 views4 months ago
YouTubeMehedi's Math Academy
Higher inductive types in cubical computational type theory | Proceedings of the ACM on Programming Languages
Jan 26, 2020
acm.org
0:53
Hopf's Umlaufsatz #shorts #differential_geometry
1.1K viewsSep 25, 2025
YouTubeOliver Knill
See more
Static thumbnail place holder