finster : cohomology in homotopy type theory (till 59:40)
Published 7 years ago • 50 plays • Length 1:43:54Download video MP4
Download video MP3
Similar videos
-
1:43:54
cohomology in homotopy type theory - eric finster
-
1:03:17
equivariant homotopy and localization
-
1:07:01
geometric part of some oriented motivic theories -levine
-
35:18
an intuitive introduction to motivic homotopy theory - vladimir voevodsky
-
1:26:23
douglas ravenel - the chromatic conjectures in homotopy theory
-
58:36
jacob lurie: brauer groups in stable homotopy theory
-
12:21
calculations in multiplicative stable homotopy theory at height 2 charles rezk
-
2:28:34
elementary introduction to homotopy type theory
-
1:14:18
eric finster, towards higher universal algebra in type theory
-
26:30
martin bidlingmaier, the higher multiverse model
-
1:06:35
morava e-thy and morava k-thy and the stabilizer group : dylan wilson
-
23:42
philipp joram, final coalgebras of analytic functors in homotopy type theory