urs schreiber - synthetic prequantum field theory in a cohesive homotopy topos
Published 8 years ago • 6.5K plays • Length 1:16:13Download video MP4
Download video MP3
Similar videos
-
1:08:28
urs schreiber: "effective quantum certification via linear homotopy types"
-
1:03:39
urs schreiber - ted k-theory of cohomotopy moduli spaces and anyonic topological order
-
4:00
tobias erb on designing a more efficient system for harnessing carbon dioxide
-
1:21:35
simon huber, homotopy canonicity for cubical type theory
-
7:47
homotopy type theory - an introduction to topology, formal logic, and hott #some3
-
34:25
urs schreiber: "effective quantum certification via linear homotopy types"
-
59:41
equivariant stable cohomotopy and branes
-
1:13:48
urs schreiber, topological quantum programming via linear homotopy types