homotopy type theory: working invariantly in homotopy theory -guillaume brunerie
Published 6 years ago • 1.1K plays • Length 18:19Download video MP4
Download video MP3
Similar videos
-
17:30
invariant homotopy theory in the univalent foundations - guillaume brunerie
-
16:36
homotopy type theory: what can logic do for homotopy theory? - peter lumsdaine
-
1:28:36
homotopy group - (1)dan licata, (2)guillaume brunerie, (3)peter lumsdaine
-
1:29:46
pi2(s2)pi2(s2) in hott - guillaume brunerie
-
1:05:09
foundations of mathematics and homotopy theory - vladimir voevodsky
-
41:00
constructive type theory and homotopy - steve awodey
-
28:58
computer science and homotopy theory - vladimir voevodsky
-
50:12
homotopy and univalence - thorsten altenkirch
-
1:43:25
the james construction and pi4(s3) - guillaume brunerie
-
16:53
completion theorems in equivariant homotopy theory - saul glasman
-
1:15:48
weak infinity groupoids in hott - guillaume brunerie
-
1:43:54
cohomology in homotopy type theory - eric finster