Schreiber Latest Revisions

• 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
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 12) | history )
  by Urs Schreiber at May 27, 2024 at 10:56:34
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 11) | history )
  by Urs Schreiber at May 27, 2024 at 08:30:06
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 10) | history )
  by Urs Schreiber at May 27, 2024 at 07:43:20
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 9) | history )
  by Urs Schreiber at May 27, 2024 at 06:52:07
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 580) | history )
  by Urs Schreiber at May 26, 2024 at 17:07:48
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 8) | history )
  by Urs Schreiber at May 26, 2024 at 17:06:32
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 7) | history )
  by Urs Schreiber at May 26, 2024 at 13:26:52
• Quantum Certification via Linear Homotopy Types ( Quantum Certification via Linear Homotopy Types(rev # 91) | history )
  by Urs Schreiber at May 26, 2024 at 13:20:20
• Quantization via Linear homotopy types ( Quantization via Linear homotopy types(rev # 34) | history )
  by Urs Schreiber at May 26, 2024 at 13:01:29
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 6) | history )
  by Urs Schreiber at May 26, 2024 at 11:16:03
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 5) | history )
  by Urs Schreiber at May 25, 2024 at 18:44:16
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 4) | history )
  by Urs Schreiber at May 25, 2024 at 16:53:46
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 3) | history )
  by Urs Schreiber at May 25, 2024 at 14:18:23
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 2) | history )
  by Urs Schreiber at May 25, 2024 at 12:04:41
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 17) | history )
  by Urs Schreiber at May 25, 2024 at 11:47:29
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 16) | history )
  by Urs Schreiber at May 25, 2024 at 10:21:20
• Entanglement of Sections ( Entanglement of Sections(rev # 36) | history )
  by Urs Schreiber at May 25, 2024 at 10:09:56
• Topological Quantum Gates in Homotopy Type Theory ( Topological Quantum Gates in Homotopy Type Theory(rev # 48) | history )
  by Urs Schreiber at May 25, 2024 at 10:09:07
• Quantum and Reality ( Quantum and Reality(rev # 6) | history )
  by Urs Schreiber at May 25, 2024 at 10:08:18
• The Quantum Monadology ( The Quantum Monadology(rev # 14) | history )
  by Urs Schreiber at May 25, 2024 at 10:06:12
• Topological Quantum Programming in TED-K ( Topological Quantum Programming in TED-K(rev # 39) | history )
  by Urs Schreiber at May 25, 2024 at 10:03:50
• Quantum Certification via Linear Homotopy Types ( Quantum Certification via Linear Homotopy Types(rev # 90) | history )
  by Urs Schreiber at May 25, 2024 at 09:56:59
• Towards Certified Topological Quantum Programming via Linear Homotopy Types ( Towards Certified Topological Quantum Programming via Linear Homotopy Types(rev # 1) | history )
  by Urs Schreiber at May 25, 2024 at 09:54:11
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 15) | history )
  by Urs Schreiber at May 25, 2024 at 06:05:08
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 579) | history )
  by Urs Schreiber at May 23, 2024 at 16:26:01
• Flux Quantization ( Flux Quantization(rev # 19) | history )
  by Urs Schreiber at May 20, 2024 at 10:00:01
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 14) | history )
  by David Corfield at May 15, 2024 at 07:19:53
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 13) | history )
  by Urs Schreiber at May 11, 2024 at 12:40:31
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 578) | history )
  by Urs Schreiber at May 11, 2024 at 12:36:34
• Twisted Equivariant Character ( Twisted Equivariant Character(rev # 14) | history )
  by Urs Schreiber at May 8, 2024 at 18:40:44
• Flux Quantization ( Flux Quantization(rev # 18) | history )
  by Urs Schreiber at May 8, 2024 at 15:01:42
• Introduction to Hypothesis H ( Introduction to Hypothesis H(rev # 127) | history )
  by Urs Schreiber at May 8, 2024 at 08:31:11
• Flux Quantization on Phase Space ( Flux Quantization on Phase Space(rev # 21) | history )
  by Urs Schreiber at May 6, 2024 at 05:31:12
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 41) | history )
  by Urs Schreiber at May 5, 2024 at 13:10:29
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 577) | history )
  by Urs Schreiber at May 5, 2024 at 09:21:19
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 576) | history )
  by Urs Schreiber at May 4, 2024 at 15:07:16
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 40) | history )
  by Urs Schreiber at April 30, 2024 at 13:26:32
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 39) | history )
  by Urs Schreiber at April 30, 2024 at 12:51:34
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 38) | history )
  by Urs Schreiber at April 27, 2024 at 17:30:36
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 37) | history )
  by Urs Schreiber at April 27, 2024 at 11:56:25
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 12) | history )
  by Urs Schreiber at April 27, 2024 at 07:27:21
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 36) | history )
  by Urs Schreiber at April 25, 2024 at 16:57:26
• Flux Quantization on 11D Superspace ( Flux Quantization on 11D Superspace(rev # 35) | history )
  by Urs Schreiber at April 25, 2024 at 14:31:09
• The Quantum Monadology ( The Quantum Monadology(rev # 13) | history )
  by Urs Schreiber at April 24, 2024 at 10:01:05
• differential cohomology in a cohesive topos ( differential cohomology in a cohesive topos(rev # 575) | history )
  by Urs Schreiber at April 20, 2024 at 15:35:09
• The Quantum Monadology ( The Quantum Monadology(rev # 12) | history )
  by Urs Schreiber at April 20, 2024 at 14:55:47
• Towards Quantum Programming via Linear Homotopy Types ( Towards Quantum Programming via Linear Homotopy Types(rev # 11) | history )
  by Urs Schreiber at April 19, 2024 at 10:55:13