Schreiber
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
differential cohomology in a cohesive topos
(
differential cohomology in a cohesive topos(rev # 585)
|
history
)
by
Urs Schreiber
at July 16, 2024 at 14:06:43
Topological Quantum Gates in Homotopy Type Theory
(
Topological Quantum Gates in Homotopy Type Theory(rev # 52)
|
history
)
by
Urs Schreiber
at July 16, 2024 at 00:04:52
QPL2024
(
QPL2024(rev # 5)
|
history
)
by
Urs Schreiber
at July 14, 2024 at 19:04:18
QPL2024
(
QPL2024(rev # 4)
|
history
)
by
Urs Schreiber
at July 14, 2024 at 17:27:20
QPL2024
(
QPL2024(rev # 3)
|
history
)
by
Urs Schreiber
at July 14, 2024 at 14:53:11
QPL2024
(
QPL2024(rev # 2)
|
history
)
by
Urs Schreiber
at July 14, 2024 at 12:21:54
differential cohomology in a cohesive topos
(
differential cohomology in a cohesive topos(rev # 584)
|
history
)
by
Urs Schreiber
at July 14, 2024 at 12:00:43
Flux Quantization on Holographic Boundaries
(
Flux Quantization on Holographic Boundaries(rev # 5)
|
history
)
by
Urs Schreiber
at July 12, 2024 at 14:11:11
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 60)
|
history
)
by
Urs Schreiber
at July 11, 2024 at 20:47:12
QPL2024
(
QPL2024(rev # 1)
|
history
)
by
Urs Schreiber
at July 11, 2024 at 13:46:24
Quantum Certification via Linear Homotopy Types
(
Quantum Certification via Linear Homotopy Types(rev # 94)
|
history
)
by
Urs Schreiber
at July 11, 2024 at 13:45:07
Quantum Certification via Linear Homotopy Types
(
Quantum Certification via Linear Homotopy Types(rev # 93)
|
history
)
by
Urs Schreiber
at July 11, 2024 at 13:12:18
Flux Quantization on Holographic Boundaries
(
Flux Quantization on Holographic Boundaries(rev # 4)
|
history
)
by
Urs Schreiber
at July 9, 2024 at 17:54:53
Flux Quantization on Holographic Boundaries
(
Flux Quantization on Holographic Boundaries(rev # 3)
|
history
)
by
Urs Schreiber
at July 8, 2024 at 20:38:24
Topological Quantum Gates in Homotopy Type Theory
(
Topological Quantum Gates in Homotopy Type Theory(rev # 51)
|
history
)
by
Urs Schreiber
at July 8, 2024 at 18:32:02
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 59)
|
history
)
by
Urs Schreiber
at July 8, 2024 at 09:08:05
Flux Quantization on Holographic Boundaries
(
Flux Quantization on Holographic Boundaries(rev # 2)
|
history
)
by
Urs Schreiber
at July 7, 2024 at 20:44:16
Quantum Certification via Linear Homotopy Types
(
Quantum Certification via Linear Homotopy Types(rev # 92)
|
history
)
by
Urs Schreiber
at July 7, 2024 at 11:34:28
Flux Quantization on Holographic Boundaries
(
Flux Quantization on Holographic Boundaries(rev # 1)
|
history
)
by
Urs Schreiber
at July 6, 2024 at 16:13:04
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 18)
|
history
)
by
Urs Schreiber
at July 6, 2024 at 16:09:55
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 17)
|
history
)
by
Urs Schreiber
at July 6, 2024 at 08:33:43
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 58)
|
history
)
by
Urs Schreiber
at July 5, 2024 at 09:23:01
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 16)
|
history
)
by
Urs Schreiber
at July 4, 2024 at 07:19:48
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 57)
|
history
)
by
Urs Schreiber
at July 3, 2024 at 21:24:12
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 56)
|
history
)
by
Urs Schreiber
at July 3, 2024 at 19:51:03
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 15)
|
history
)
by
Urs Schreiber
at July 2, 2024 at 18:57:30
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 14)
|
history
)
by
Urs Schreiber
at July 1, 2024 at 21:05:28
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 55)
|
history
)
by
Urs Schreiber
at June 29, 2024 at 16:09:40
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 54)
|
history
)
by
Urs Schreiber
at June 26, 2024 at 19:30:42
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 53)
|
history
)
by
Urs Schreiber
at June 26, 2024 at 08:34:26
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 52)
|
history
)
by
Urs Schreiber
at June 25, 2024 at 11:33:37
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 51)
|
history
)
by
Urs Schreiber
at June 23, 2024 at 20:34:07
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 50)
|
history
)
by
Urs Schreiber
at June 23, 2024 at 12:11:56
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 13)
|
history
)
by
Urs Schreiber
at June 22, 2024 at 12:32:24
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 12)
|
history
)
by
Urs Schreiber
at June 21, 2024 at 19:53:58
Topological Quantum Gates in Homotopy Type Theory
(
Topological Quantum Gates in Homotopy Type Theory(rev # 50)
|
history
)
by
Urs Schreiber
at June 21, 2024 at 11:25:06
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 49)
|
history
)
by
Urs Schreiber
at June 20, 2024 at 14:09:27
What is... the nLab
(
What is... the nLab(rev # 27)
|
history
)
by
Urs Schreiber
at June 20, 2024 at 13:31:10
Higher Topos Theory in Physics
(
Higher Topos Theory in Physics(rev # 18)
|
history
)
by
Urs Schreiber
at June 20, 2024 at 13:12:46
Higher Topos Theory in Physics
(
Higher Topos Theory in Physics(rev # 17)
|
history
)
by
Urs Schreiber
at June 19, 2024 at 19:25:00
differential cohomology in a cohesive topos
(
differential cohomology in a cohesive topos(rev # 583)
|
history
)
by
Urs Schreiber
at June 19, 2024 at 14:45:04
Higher Topos Theory in Physics
(
Higher Topos Theory in Physics(rev # 16)
|
history
)
by
Urs Schreiber
at June 19, 2024 at 12:50:13
Higher Topos Theory in Physics
(
Higher Topos Theory in Physics(rev # 15)
|
history
)
by
Urs Schreiber
at June 19, 2024 at 11:26:04
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 11)
|
history
)
by
Urs Schreiber
at June 18, 2024 at 10:48:44
Flux Quantization
(
Flux Quantization(rev # 22)
|
history
)
by
Urs Schreiber
at June 18, 2024 at 08:37:18
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 10)
|
history
)
by
Urs Schreiber
at June 18, 2024 at 08:20:21
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 9)
|
history
)
by
Urs Schreiber
at June 18, 2024 at 06:37:23
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 8)
|
history
)
by
Urs Schreiber
at June 17, 2024 at 21:33:33
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 7)
|
history
)
by
Urs Schreiber
at June 17, 2024 at 12:19:05
differential cohomology in a cohesive topos
(
differential cohomology in a cohesive topos(rev # 582)
|
history
)
by
Urs Schreiber
at June 17, 2024 at 08:21:22
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 6)
|
history
)
by
Urs Schreiber
at June 16, 2024 at 19:21:10
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 5)
|
history
)
by
Urs Schreiber
at June 15, 2024 at 16:59:13
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 4)
|
history
)
by
Urs Schreiber
at June 15, 2024 at 09:40:48
Introduction to Hypothesis H
(
Introduction to Hypothesis H(rev # 128)
|
history
)
by
Urs Schreiber
at June 15, 2024 at 09:39:03
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 48)
|
history
)
by
Urs Schreiber
at June 15, 2024 at 09:38:43
Flux Quantization on Phase Space
(
Flux Quantization on Phase Space(rev # 24)
|
history
)
by
Urs Schreiber
at June 15, 2024 at 09:38:28
Flux Quantization
(
Flux Quantization(rev # 21)
|
history
)
by
Urs Schreiber
at June 15, 2024 at 09:38:12
Twisted Cohomotopy implies M5 WZ term level quantization
(
Twisted Cohomotopy implies M5 WZ term level quantization(rev # 46)
|
history
)
by
Urs Schreiber
at June 15, 2024 at 09:30:10
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 3)
|
history
)
by
Urs Schreiber
at June 15, 2024 at 09:27:03
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 2)
|
history
)
by
Urs Schreiber
at June 14, 2024 at 13:11:28
Categories and Toposes
(
Categories and Toposes(rev # 16)
|
history
)
by
Urs Schreiber
at June 14, 2024 at 11:40:38
Flux Quantization on Phase Space
(
Flux Quantization on Phase Space(rev # 23)
|
history
)
by
Urs Schreiber
at June 14, 2024 at 10:35:55
Flux Quantization
(
Flux Quantization(rev # 20)
|
history
)
by
Urs Schreiber
at June 14, 2024 at 10:35:07
Flux Quantization on M5-Branes
(
Flux Quantization on M5-Branes(rev # 1)
|
history
)
by
Urs Schreiber
at June 14, 2024 at 10:34:34
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 47)
|
history
)
by
Urs Schreiber
at June 14, 2024 at 10:18:48
Quantum Observables of Quantized Fluxes
(
Quantum Observables of Quantized Fluxes(rev # 16)
|
history
)
by
Urs Schreiber
at June 13, 2024 at 07:47:43
Flux Quantization on Phase Space
(
Flux Quantization on Phase Space(rev # 22)
|
history
)
by
Urs Schreiber
at June 8, 2024 at 16:18:22
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 46)
|
history
)
by
Urs Schreiber
at June 5, 2024 at 20:59:00
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 45)
|
history
)
by
Urs Schreiber
at June 5, 2024 at 08:13:20
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 44)
|
history
)
by
Urs Schreiber
at June 4, 2024 at 07:02:54
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 43)
|
history
)
by
Urs Schreiber
at June 3, 2024 at 10:12:28
Extended higher cup-product Chern-Simons theories
(
Extended higher cup-product Chern-Simons theories(rev # 22)
|
history
)
by
Urs Schreiber
at June 2, 2024 at 14:25:16
differential cohomology in a cohesive topos
(
differential cohomology in a cohesive topos(rev # 581)
|
history
)
by
Urs Schreiber
at May 31, 2024 at 10:41:43
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 32)
|
history
)
by
Urs Schreiber
at May 31, 2024 at 10:40:48
Towards Quantum Programming via Linear Homotopy Types
(
Towards Quantum Programming via Linear Homotopy Types(rev # 18)
|
history
)
by
Urs Schreiber
at May 31, 2024 at 10:39:53
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 31)
|
history
)
by
Urs Schreiber
at May 31, 2024 at 07:32:01
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 30)
|
history
)
by
Urs Schreiber
at May 30, 2024 at 17:32:15
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 29)
|
history
)
by
Urs Schreiber
at May 30, 2024 at 13:22:46
Flux Quantization on 11d Superspace
(
Flux Quantization on 11d Superspace(rev # 42)
|
history
)
by
Urs Schreiber
at May 30, 2024 at 12:47:15
Quantization via Linear homotopy types
(
Quantization via Linear homotopy types(rev # 35)
|
history
)
by
Urs Schreiber
at May 30, 2024 at 12:11:38
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 28)
|
history
)
by
Urs Schreiber
at May 30, 2024 at 12:10:36
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 27)
|
history
)
by
Urs Schreiber
at May 30, 2024 at 10:30:27
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 26)
|
history
)
by
Urs Schreiber
at May 30, 2024 at 09:04:30
Topological Quantum Gates in Homotopy Type Theory
(
Topological Quantum Gates in Homotopy Type Theory(rev # 49)
|
history
)
by
Urs Schreiber
at May 30, 2024 at 08:39:29
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 25)
|
history
)
by
Urs Schreiber
at May 29, 2024 at 16:10:21
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 24)
|
history
)
by
Urs Schreiber
at May 29, 2024 at 14:57:42
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 23)
|
history
)
by
Urs Schreiber
at May 29, 2024 at 13:52:19
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 22)
|
history
)
by
Urs Schreiber
at May 29, 2024 at 12:17:13
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 21)
|
history
)
by
Urs Schreiber
at May 29, 2024 at 10:43:51
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 20)
|
history
)
by
Urs Schreiber
at May 29, 2024 at 08:36:17
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 19)
|
history
)
by
Urs Schreiber
at May 29, 2024 at 07:40:13
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 18)
|
history
)
by
Urs Schreiber
at May 28, 2024 at 13:57:55
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 17)
|
history
)
by
Urs Schreiber
at May 28, 2024 at 12:40:38
Anyonic defect branes in TED K-theory
(
Anyonic defect branes in TED K-theory(rev # 58)
|
history
)
by
Urs Schreiber
at May 28, 2024 at 11:56:13
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 16)
|
history
)
by
Urs Schreiber
at May 28, 2024 at 10:23:10
Anyonic topological order in TED K-theory
(
Anyonic topological order in TED K-theory(rev # 26)
|
history
)
by
Urs Schreiber
at May 28, 2024 at 08:34:17
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 15)
|
history
)
by
Urs Schreiber
at May 27, 2024 at 18:02:14
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 14)
|
history
)
by
Urs Schreiber
at May 27, 2024 at 16:21:07
Towards Certified Topological Quantum Programming via Linear Homotopy Types
(
Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 13)
|
history
)
by
Urs Schreiber
at May 27, 2024 at 12:01:25
Anyonic defect branes in TED K-theory
(
Anyonic defect branes in TED K-theory(rev # 57)
|
history
)
by
Urs Schreiber
at May 27, 2024 at 11:38:09
« Previous
1
2
3
4
5
6
7
8
9
10
Next »