nLab Latest Revisions

• T gate ( T gate(rev # 5) | history )
  by Urs Schreiber at October 9, 2026 at 18:00:40
• Sandbox ( Sandbox(rev # 4077) | history )
  by Urs Schreiber at October 9, 2026 at 17:47:24
• Sergey Bravyi
  by Urs Schreiber at October 9, 2026 at 17:42:11
• Alexei Kitaev ( Alexei Kitaev(rev # 23) | history )
  by Urs Schreiber at October 9, 2026 at 17:39:45
• quantum Hall effect ( quantum Hall effect(rev # 129) | history )
  by Urs Schreiber at October 9, 2026 at 17:29:53
• Clifford group ( Clifford group(rev # 4) | history )
  by Urs Schreiber at October 9, 2026 at 17:20:43
• surface code ( surface code(rev # 2) | history )
  by Urs Schreiber at October 9, 2026 at 17:18:56
• Solovay-Kitaev theorem ( Solovay-Kitaev theorem(rev # 16) | history )
  by Urs Schreiber at October 9, 2026 at 17:09:49
• quantum logic gate ( quantum logic gate(rev # 24) | history )
  by Urs Schreiber at October 9, 2026 at 17:09:05
• T gate ( T gate(rev # 4) | history )
  by Urs Schreiber at October 9, 2026 at 16:34:51
• quantum error correction ( quantum error correction(rev # 99) | history )
  by Urs Schreiber at October 9, 2026 at 16:34:01
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 531) | history )
  by Urs Schreiber at October 9, 2026 at 15:28:01
• events of interest for the working category theorist ( events of interest for the working category theorist(rev # 16) | history )
  by Fernando Lucatelli Nunes at October 9, 2026 at 15:23:55
• free loop space ( free loop space(rev # 31) | history )
  by Urs Schreiber at October 9, 2026 at 14:42:18
• Morse theory ( Morse theory(rev # 32) | history )
  by Urs Schreiber at October 9, 2026 at 14:41:50
• nLab materials ( nLab materials(rev # 4) | history )
  by Urs Schreiber at October 9, 2026 at 14:41:05
• Mackey theory ( Mackey theory(rev # 5) | history )
  by Urs Schreiber at October 9, 2026 at 09:01:18
• infinity-representation ( infinity-representation(rev # 20) | history )
  by Urs Schreiber at October 9, 2026 at 06:04:01
• Nikita Golub ( Nikita Golub(rev # 4) | history )
  by Urs Schreiber at October 9, 2026 at 06:00:37
• rationalization ( rationalization(rev # 29) | history )
  by Urs Schreiber at October 9, 2026 at 05:59:52
• topological T-duality ( topological T-duality(rev # 60) | history )
  by Urs Schreiber at October 9, 2026 at 05:43:24
• Christian Saemann ( Christian Saemann(rev # 20) | history )
  by Urs Schreiber at October 9, 2026 at 05:41:45
• Roberto Téllez Domínguez ( Roberto Téllez Domínguez(rev # 3) | history )
  by Urs Schreiber at October 9, 2026 at 05:40:18
• Giry monad ( Giry monad(rev # 149) | history )
  by kirk_sturtz? at October 9, 2026 at 00:26:53
• toric code ( toric code(rev # 4) | history )
  by Urs Schreiber at October 8, 2026 at 19:32:24
• van Kampen theorem ( van Kampen theorem(rev # 34) | history )
  by Urs Schreiber at October 8, 2026 at 18:53:35
• Ross Geoghegan
  by Urs Schreiber at October 8, 2026 at 18:45:06
• homotopy theory and algebraic topology -- references ( homotopy theory and algebraic topology -- references(rev # 49) | history )
  by Urs Schreiber at October 8, 2026 at 18:44:14
• locally finite cell complex ( locally finite cell complex(rev # 5) | history )
  by Urs Schreiber at October 8, 2026 at 18:39:47
• free loop space ( free loop space(rev # 30) | history )
  by Urs Schreiber at October 8, 2026 at 15:40:02
• Morse theory ( Morse theory(rev # 31) | history )
  by Urs Schreiber at October 8, 2026 at 15:39:28
• nLab materials ( nLab materials(rev # 3) | history )
  by Urs Schreiber at October 8, 2026 at 15:36:28
• quandle ( quandle(rev # 17) | history )
  by Urs Schreiber at October 8, 2026 at 15:20:01
• quandle ( quandle(rev # 16) | history )
  by Qin Yuxuan? at October 8, 2026 at 15:01:25
• nLab materials ( nLab materials(rev # 2) | history )
  by Urs Schreiber at October 8, 2026 at 14:52:14
• derived geometry ( derived geometry(rev # 9) | history )
  by Jesus Lopez? at October 8, 2026 at 11:10:58
• Lean ( Lean(rev # 27) | history )
  by Urs Schreiber at October 8, 2026 at 08:06:16
• Baire space ( Baire space(rev # 16) | history )
  by Sven Geier? at October 8, 2026 at 00:32:45
• table of probability monads ( table of probability monads(rev # 4) | history )
  by kirk_sturtz? at October 8, 2026 at 00:05:16
• monads of probability, measures, and valuations ( monads of probability, measures, and valuations(rev # 53) | history )
  by kirk_sturtz? at October 7, 2026 at 23:47:21
• Giry monad ( Giry monad(rev # 148) | history )
  by kirk_sturtz? at October 7, 2026 at 23:30:14
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 530) | history )
  by Urs Schreiber at October 7, 2026 at 15:31:51
• Luuk Stehouwer ( Luuk Stehouwer(rev # 15) | history )
  by Urs Schreiber at October 7, 2026 at 15:21:22
• quantum Hall effect ( quantum Hall effect(rev # 128) | history )
  by Urs Schreiber at October 7, 2026 at 11:50:07
• quantum simulation of anyons -- references ( quantum simulation of anyons -- references(rev # 2) | history )
  by Urs Schreiber at October 7, 2026 at 11:35:04
• Kirk Sturtz ( Kirk Sturtz(rev # 3) | history )
  by kirk_sturtz? at October 7, 2026 at 11:28:46
• Giry monad ( Giry monad(rev # 147) | history )
  by kirk_sturtz? at October 7, 2026 at 11:21:49
• Lazard's criterion ( Lazard's criterion(rev # 5) | history )
  by Urs Schreiber at October 7, 2026 at 10:38:20
• Lazard's criterion ( Lazard's criterion(rev # 4) | history )
  by Ulrik Buchholtz at October 7, 2026 at 10:01:17
• Giry monad ( Giry monad(rev # 146) | history )
  by kirk_sturtz? at October 7, 2026 at 08:56:16
• Morse theory ( Morse theory(rev # 30) | history )
  by Urs Schreiber at October 7, 2026 at 07:31:47
• nLab materials ( nLab materials(rev # 1) | history )
  by Urs Schreiber at October 7, 2026 at 07:31:04
• free loop space ( free loop space(rev # 29) | history )
  by Urs Schreiber at October 7, 2026 at 07:03:45
• Morse theory ( Morse theory(rev # 29) | history )
  by Urs Schreiber at October 7, 2026 at 06:59:07
• cyclic loop space ( cyclic loop space(rev # 23) | history )
  by Urs Schreiber at October 7, 2026 at 06:53:10
• Thomason model structure ( Thomason model structure(rev # 37) | history )
  by Urs Schreiber at October 7, 2026 at 05:36:59
• Navier-Stokes equation ( Navier-Stokes equation(rev # 9) | history )
  by Urs Schreiber at October 7, 2026 at 05:34:17
• Ashoke Sen ( Ashoke Sen(rev # 15) | history )
  by Urs Schreiber at October 7, 2026 at 05:00:24
• soft graviton theorem ( soft graviton theorem(rev # 16) | history )
  by Urs Schreiber at October 7, 2026 at 04:59:20
• Thomason model structure ( Thomason model structure(rev # 36) | history )
  by Albert Offen? at October 7, 2026 at 02:35:35
• Thomas Nikolaus ( Thomas Nikolaus(rev # 24) | history )
  by Urs Schreiber at October 6, 2026 at 15:05:00
• noncommutative algebraic geometry ( noncommutative algebraic geometry(rev # 38) | history )
  by Urs Schreiber at October 6, 2026 at 15:04:44
• noncommutative geometry ( noncommutative geometry(rev # 45) | history )
  by Urs Schreiber at October 6, 2026 at 14:56:54
• inverse semigroup ( inverse semigroup(rev # 36) | history )
  by nr? at October 6, 2026 at 14:43:09
• inverse semigroup ( inverse semigroup(rev # 35) | history )
  by nr? at October 6, 2026 at 14:43:08
• inverse semigroup ( inverse semigroup(rev # 34) | history )
  by GS? at October 6, 2026 at 14:41:10
• Bloch's theorem ( Bloch's theorem(rev # 17) | history )
  by Urs Schreiber at October 6, 2026 at 09:46:30
• Alonso Perez-Lona ( Alonso Perez-Lona(rev # 5) | history )
  by Urs Schreiber at October 6, 2026 at 09:16:55
• cyclic loop space ( cyclic loop space(rev # 22) | history )
  by Urs Schreiber at October 6, 2026 at 09:14:05
• Morse theory ( Morse theory(rev # 28) | history )
  by Urs Schreiber at October 6, 2026 at 09:13:11
• Morse theory ( Morse theory(rev # 27) | history )
  by Urs Schreiber at October 6, 2026 at 07:55:17
• cyclic loop space ( cyclic loop space(rev # 21) | history )
  by Urs Schreiber at October 6, 2026 at 07:44:37
• structure homomorphism principle ( structure homomorphism principle(rev # 2) | history )
  by Urs Schreiber at October 6, 2026 at 07:24:36
• generalized global symmetry ( generalized global symmetry(rev # 44) | history )
  by Urs Schreiber at October 6, 2026 at 06:54:48
• Chris Schommer-Pries ( Chris Schommer-Pries(rev # 12) | history )
  by Urs Schreiber at October 6, 2026 at 05:36:02
• David Reutter ( David Reutter(rev # 11) | history )
  by Urs Schreiber at October 6, 2026 at 05:35:38
• topological quantum field theory ( topological quantum field theory(rev # 49) | history )
  by Urs Schreiber at October 6, 2026 at 05:34:08
• Nathan Seiberg ( Nathan Seiberg(rev # 17) | history )
  by Urs Schreiber at October 6, 2026 at 05:11:20
• Meng Cheng ( Meng Cheng(rev # 8) | history )
  by Urs Schreiber at October 6, 2026 at 05:10:31
• abelian Chern-Simons for fractional quantum Hall effect -- references ( abelian Chern-Simons for fractional quantum Hall effect -- references(rev # 40) | history )
  by Urs Schreiber at October 6, 2026 at 05:09:45
• fusion 2-category ( fusion 2-category(rev # 11) | history )
  by Urs Schreiber at October 6, 2026 at 05:06:52
• holographic condensed matter physics ( holographic condensed matter physics(rev # 91) | history )
  by Urs Schreiber at October 6, 2026 at 05:03:37
• Ergin Sezgin ( Ergin Sezgin(rev # 35) | history )
  by Urs Schreiber at October 6, 2026 at 04:59:26
• Katrin Becker ( Katrin Becker(rev # 8) | history )
  by Urs Schreiber at October 6, 2026 at 04:58:36
• D=6 supergravity ( D=6 supergravity(rev # 23) | history )
  by Urs Schreiber at October 6, 2026 at 04:58:18
• Alonso Perez-Lona ( Alonso Perez-Lona(rev # 4) | history )
  by Urs Schreiber at October 6, 2026 at 04:53:20
• generalized global symmetry ( generalized global symmetry(rev # 43) | history )
  by Urs Schreiber at October 6, 2026 at 04:52:33
• vertex operator algebra ( vertex operator algebra(rev # 70) | history )
  by Urs Schreiber at October 6, 2026 at 04:44:34
• Bargmann-Segal transform ( Bargmann-Segal transform(rev # 4) | history )
  by J-B Vienney at October 5, 2026 at 22:18:30
• Morse theory ( Morse theory(rev # 26) | history )
  by Urs Schreiber at October 5, 2026 at 15:28:41
• Morse theory ( Morse theory(rev # 25) | history )
  by Urs Schreiber at October 5, 2026 at 14:48:44
• A-infinity-category ( A-infinity-category(rev # 39) | history )
  by Timur Obolenskiy? at October 5, 2026 at 14:37:59
• structure homomorphism principle ( structure homomorphism principle(rev # 1) | history )
  by Ian Potter? at October 5, 2026 at 12:48:20
• structure identity principle ( structure identity principle(rev # 14) | history )
  by Ian Potter? at October 5, 2026 at 12:34:02
• directed univalence axiom ( directed univalence axiom(rev # 13) | history )
  by Ian Potter? at October 5, 2026 at 12:32:42
• simplicial type theory ( simplicial type theory(rev # 65) | history )
  by Ian Potter? at October 5, 2026 at 12:31:53
• M-Theory and Mathematics ( M-Theory and Mathematics(rev # 102) | history )
  by Urs Schreiber at October 5, 2026 at 10:00:32
• adjoint functor ( adjoint functor(rev # 154) | history )
  by Elías Guisado? at October 5, 2026 at 09:50:55
• higher algebra ( higher algebra(rev # 35) | history )
  by Urs Schreiber at October 5, 2026 at 07:52:02
• (infinity,1)-operad ( (infinity,1)-operad(rev # 50) | history )
  by Urs Schreiber at October 5, 2026 at 06:24:34