Rational Homotopy Theory via Sullivan Models: An Introduction
57:06
Rational Homotopy Theory via Sullivan Models: An Introduction
88 views2 months ago
YouTubeShiva Yeshlur
#38 Homotopy Type Theory Explained: Natural Transformations, Cat. of Functors
4:06
#38 Homotopy Type Theory Explained: Natural Transformations, Cat. of Functors
95 views3 weeks ago
YouTubeHoTT Math
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
3:18
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
13.1K views10 months ago
YouTubeHoTT Math
Oliver Wang (University of Virginia) - The rational homotopy theory of stable Cp-smoothings
42:01
Oliver Wang (University of Virginia) - The rational homotopy theory of stable Cp-smoothings
36 views4 months ago
YouTubeeCHT
#37 Homotopy Type Theory Explained: Functors
3:02
#37 Homotopy Type Theory Explained: Functors
86 views4 weeks ago
YouTubeHoTT Math
0064 Homotopy Type Theory: Univalent Foundations of Mathematics
33:32
0064 Homotopy Type Theory: Univalent Foundations of Mathematics
3 views1 week ago
YouTubeAriadne
#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
5:08
#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
451 views5 months ago
YouTubeHoTT Math
5:27
#33 Homotopy Type Theory Explained: Higher Dimensional Loop Spaces, Abelian Groups
200 views2 months ago
YouTubeHoTT Math
5:01
#13 Homotopy Type Theory Explained: Recursors, Multiplication, Factorial
960 views7 months ago
YouTubeHoTT Math
0:39
What is Homotopy Type Theory? #HoTT #math #maths #homotopytypetheory
1.7K views6 months ago
YouTubeHoTT Math
4:47
#16 Homotopy Type Theory Explained: Torus, Transitivity of equality
617 views7 months ago
YouTubeHoTT Math
2:35
#8 Homotopy Type Theory Explained: Existential Quantifiers
2K views9 months ago
YouTubeHoTT Math
3:40
#32 Homotopy Type Theory Explained: Suspensions
99 views2 months ago
YouTubeHoTT Math
3:51
#24 Homotopy Type Theory Explained: Equivalences, Preimages
303 views4 months ago
YouTubeHoTT Math
5:31
#21 Homotopy Type Theory Explained: Contractibility, Interval Type
445 views5 months ago
YouTubeHoTT Math
2:41
#31 Homotopy Type Theory Explained: Function Extensionality
240 views2 months ago
YouTubeHoTT Math
10:08
Homotopy Theory at CRM Barcelona: Research & Collaboration
1.5K views4 months ago
YouTubeCentre de Recerca Matemàtica
1:06:49
Telescopic stable homotopy theory - Ishan Levy (IAS Princeton)
166 views1 month ago
YouTubeNDGTTC (Group Th, Triangulated Cat) Seminar Series
See more
Static thumbnail place holder