anders mörtberg, unifying cubical models of homotopy type theory
Published 5 years ago • 961 plays • Length 59:26Download video MP4
Download video MP3
Similar videos
-
1:04:40
anders mortberg: "cubical methods in homotopy type theory and univalent foundations"
-
1:02:57
anders mörtberg: yet another cartesian cubical type theory yacctt
-
1:00:57
christian sattler: do cubical models of type theory also model homotopy types
-
1:23:43
andrew pitts, axiomatizing cubical sets models of univalent foundations
-
18:33
homotopy type
-
1:21:35
simon huber, homotopy canonicity for cubical type theory
-
24:58
cubical synthetic homotopy theory
-
10:40
homotopy type theory:univalent foundations of mathematics (univalent foundations program)
-
1:00:54
the geometry of 3-manifolds
-
1:17:33
thorsten altenkirch - 1/2 towards a syntax for cubical type theory
-
1:06:18
robert burklund : the chromatic nullstellensatz
-
1:08:00
chris kapulkin: "cubical setting for discrete homotopy theory"
-
26:35
andrew swan, why cubical sets are different to simplicial sets
-
50:12
homotopy and univalence - thorsten altenkirch
-
1:00:30
andrew j. blumberg: "abstract homotopy theory for topological data analysis"
-
1:08:45
fredrik nordvall forsberg, different notions of ordinals in homotopy type theory
-
20:49
higher inductive types in cubical computational type theory
-
55:17
dr. allen yuan | the chromatic nullstellensatz
-
1:02:46
c. leininger - teichmüller spaces and pseudo-anosov homeomorphism (part 3)
-
43:06
3sum, 3xor, triangles
-
1:13:13
andrew swan, choice, collection and covering in cubical sets