cohomology in homotopy type theory - eric finster
Published 8 years ago • 959 plays • Length 1:43:54Download video MP4
Download video MP3
Similar videos
-
59:45
eric finster : homotopy theory and constructive mathematics
-
17:17
higher dimensional syntax - eric finster
-
1:41:18
getco 2022 / eric finster / introduction to homotopy type theory
-
1:31:21
the calculus of opetopes - eric finster
-
50:12
homotopy and univalence - thorsten altenkirch
-
1:43:54
finster : cohomology in homotopy type theory (till 59:40)
-
59:47
lecture 1 | an introduction to motivic homotopy theory | oliver röndigs | лекториум
-
35:18
an intuitive introduction to motivic homotopy theory - vladimir voevodsky [2002]
-
1:25:20
computational type theory [1/5] - robert harper - oplss 2018
-
1:00:51
global stringy orbifold cohomology, k-theory and de rham theory with possible app... - kaufmann
-
1:07:38
eric finster - a type-theoretic view of goodwillie calculus i
-
41:00
constructive type theory and homotopy - steve awodey
-
17:30
invariant homotopy theory in the univalent foundations - guillaume brunerie
-
1:07:03
eric finster, weak structures from strict ones
-
1:14:18
eric finster, towards higher universal algebra in type theory
-
1:13:48
gluing in homotopy type theory - michael shulman