invariant homotopy theory in the univalent foundations - guillaume brunerie
Published 7 years ago • 253 plays • Length 17:30Download video MP4
Download video MP3
Similar videos
-
18:19
homotopy type theory: working invariantly in homotopy theory -guillaume brunerie
-
1:05:09
foundations of mathematics and homotopy theory - vladimir voevodsky
-
1:29:46
pi2(s2)pi2(s2) in hott - guillaume brunerie
-
50:13
univalent foundations: new foundations of mathematics - vladimir voevodsky
-
1:28:36
homotopy group - (1)dan licata, (2)guillaume brunerie, (3)peter lumsdaine
-
16:36
homotopy type theory: what can logic do for homotopy theory? - peter lumsdaine
-
1:43:25
the james construction and pi4(s3) - guillaume brunerie
-
28:58
computer science and homotopy theory - vladimir voevodsky
-
50:12
homotopy and univalence - thorsten altenkirch
-
14:17
univalent foundations and the equivalence principle - benedikt ahrens
-
1:01:13
univalent foundations and the equivalence principle - benedikt ahrens
-
41:00
constructive type theory and homotopy - steve awodey
-
55:41
univalent foundations seminar - steve awodey
-
1:07:33
univalent foundations of mathematics - vladimir voevodsky
-
50:38
abstract algebra in homotopy-coherent mathematics - jacob lurie
-
1:15:48
weak infinity groupoids in hott - guillaume brunerie
-
22:40
metric aspects in homotopy theory - aleksandr berdnikov
-
49:00
chromatic homotopy theory - jacob lurie