nLab Latest Revisions

• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 523) | history )
  by Urs Schreiber at August 31, 2026 at 13:59:08
• flux tube ( flux tube(rev # 14) | history )
  by Urs Schreiber at August 31, 2026 at 05:24:16
• configuration space of points ( configuration space of points(rev # 163) | history )
  by Urs Schreiber at August 31, 2026 at 05:19:11
• normed ring ( normed ring(rev # 23) | history )
  by Zoran Škoda at August 30, 2026 at 21:53:31
• Sandbox ( Sandbox(rev # 4067) | history )
  by Urs Schreiber at August 30, 2026 at 19:23:10
• Sandbox ( Sandbox(rev # 4066) | history )
  by Julia Pham Ba Nien? at August 30, 2026 at 18:08:47
• Sandbox ( Sandbox(rev # 4065) | history )
  by Urs Schreiber at August 30, 2026 at 18:00:23
• Sandbox ( Sandbox(rev # 4064) | history )
  by Urs Schreiber at August 30, 2026 at 16:25:01
• Sandbox ( Sandbox(rev # 4063) | history )
  by Urs Schreiber at August 30, 2026 at 14:59:52
• Agda ( Agda(rev # 43) | history )
  by Urs Schreiber at August 30, 2026 at 13:19:05
• subtractive logic ( subtractive logic(rev # 7) | history )
  by Julia Pham Ba Nien? at August 30, 2026 at 11:31:18
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 522) | history )
  by Urs Schreiber at August 30, 2026 at 08:21:24
• Hopfion ( Hopfion(rev # 8) | history )
  by Urs Schreiber at August 30, 2026 at 08:20:15
• subtractive logic ( subtractive logic(rev # 6) | history )
  by Urs Schreiber at August 30, 2026 at 04:47:06
• adjunct ( adjunct(rev # 12) | history )
  by Winston Li? at August 30, 2026 at 01:44:59
• Giry monad ( Giry monad(rev # 114) | history )
  by kirk_sturtz? at August 30, 2026 at 01:19:49
• subtractive logic ( subtractive logic(rev # 5) | history )
  by Julia Pham Ba Nien? at August 29, 2026 at 23:00:36
• Sandbox2 ( Sandbox2(rev # 154) | history )
  by Julia Pham Ba Nien? at August 29, 2026 at 22:18:21
• Sandbox2 ( Sandbox2(rev # 153) | history )
  by Julia Pham Ba Nien? at August 29, 2026 at 21:24:52
• Sandbox ( Sandbox(rev # 4062) | history )
  by jdwood? at August 29, 2026 at 19:56:05
• cleft extension ( cleft extension(rev # 9) | history )
  by Zoran Škoda at August 29, 2026 at 19:47:02
• conservative functor ( conservative functor(rev # 35) | history )
  by Zoran Škoda at August 29, 2026 at 19:19:23
• Giry monad ( Giry monad(rev # 113) | history )
  by kirk_sturtz? at August 29, 2026 at 01:25:54
• David Green ( David Green(rev # 2) | history )
  by Greyson Wesley? at August 28, 2026 at 21:42:48
• 6-sphere ( 6-sphere(rev # 9) | history )
  by Urs Schreiber at August 28, 2026 at 18:57:27
• Heinz Hopf ( Heinz Hopf(rev # 7) | history )
  by Urs Schreiber at August 28, 2026 at 18:47:38
• Kalb-Ramond field ( Kalb-Ramond field(rev # 45) | history )
  by Urs Schreiber at August 28, 2026 at 17:02:11
• superconducting islands in FQH systems -- references ( superconducting islands in FQH systems -- references(rev # 8) | history )
  by Urs Schreiber at August 28, 2026 at 12:42:48
• quantum Hall effect ( quantum Hall effect(rev # 127) | history )
  by Urs Schreiber at August 28, 2026 at 10:34:16
• superconducting islands in FQH systems -- references ( superconducting islands in FQH systems -- references(rev # 7) | history )
  by Urs Schreiber at August 28, 2026 at 10:27:48
• anyons in the quantum Hall effect -- references ( anyons in the quantum Hall effect -- references(rev # 25) | history )
  by Urs Schreiber at August 28, 2026 at 10:20:22
• Eduardo Fradkin ( Eduardo Fradkin(rev # 9) | history )
  by Urs Schreiber at August 28, 2026 at 09:50:01
• superconducting islands in FQH systems -- references ( superconducting islands in FQH systems -- references(rev # 6) | history )
  by Urs Schreiber at August 28, 2026 at 09:49:04
• projective space ( projective space(rev # 45) | history )
  by Urs Schreiber at August 28, 2026 at 06:43:20
• Koszul duality ( Koszul duality(rev # 45) | history )
  by Urs Schreiber at August 28, 2026 at 06:40:57
• BFSS matrix model ( BFSS matrix model(rev # 92) | history )
  by Urs Schreiber at August 28, 2026 at 06:33:08
• AGT correspondence ( AGT correspondence(rev # 33) | history )
  by Urs Schreiber at August 28, 2026 at 06:28:49
• holographic condensed matter physics ( holographic condensed matter physics(rev # 90) | history )
  by Urs Schreiber at August 28, 2026 at 06:23:07
• Cooper pair ( Cooper pair(rev # 3) | history )
  by Urs Schreiber at August 28, 2026 at 06:21:16
• formalized libraries of homotopy type theory ( formalized libraries of homotopy type theory(rev # 9) | history )
  by Urs Schreiber at August 28, 2026 at 05:19:29
• calculus of constructions ( calculus of constructions(rev # 20) | history )
  by Urs Schreiber at August 28, 2026 at 05:18:13
• power operation ( power operation(rev # 24) | history )
  by lakshit? at August 27, 2026 at 23:46:36
• adhesive category ( adhesive category(rev # 27) | history )
  by adhesive at August 27, 2026 at 16:27:16
• proof assistants and formalization projects -- list ( proof assistants and formalization projects -- list(rev # 13) | history )
  by Bentzen? at August 27, 2026 at 14:41:21
• formalized libraries of homotopy type theory ( formalized libraries of homotopy type theory(rev # 8) | history )
  by Bentzen? at August 27, 2026 at 14:39:12
• proof assistant ( proof assistant(rev # 32) | history )
  by Bentzen? at August 27, 2026 at 14:28:29
• cohomotopy ( cohomotopy(rev # 133) | history )
  by Urs Schreiber at August 27, 2026 at 11:26:53
• Stefan Neuwirth ( Stefan Neuwirth(rev # 2) | history )
  by Urs Schreiber at August 27, 2026 at 07:31:43
• arithmetical hierarchy ( arithmetical hierarchy(rev # 5) | history )
  by Jean-Philippe Laurant? at August 27, 2026 at 04:51:31
• D=3 TQFT ( D=3 TQFT(rev # 17) | history )
  by Urs Schreiber at August 27, 2026 at 03:17:26
• arithmetical hierarchy ( arithmetical hierarchy(rev # 4) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 22:15:20
• arithmetical hierarchy ( arithmetical hierarchy(rev # 3) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 19:16:19
• ordinal number ( ordinal number(rev # 27) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 19:13:46
• Stefan Neuwirth ( Stefan Neuwirth(rev # 1) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 19:13:16
• sigma-complete Heyting algebra ( sigma-complete Heyting algebra(rev # 3) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 18:26:52
• KMS state ( KMS state(rev # 7) | history )
  by Tumblin Tumbleweed? at August 26, 2026 at 18:01:32
• semidecidable proposition ( semidecidable proposition(rev # 24) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 17:57:35
• semidecidable proposition ( semidecidable proposition(rev # 23) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 16:26:36
• quaternionic structure ( quaternionic structure(rev # 8) | history )
  by anon? at August 26, 2026 at 16:05:52
• Joan Rand Moschovakis ( Joan Rand Moschovakis(rev # 2) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 15:40:21
• arithmetical hierarchy ( arithmetical hierarchy(rev # 2) | history )
  by Urs Schreiber at August 26, 2026 at 15:37:08
• Wolfgang Burr ( Wolfgang Burr(rev # 2) | history )
  by Urs Schreiber at August 26, 2026 at 15:36:43
• Takayuki Kihara ( Takayuki Kihara(rev # 2) | history )
  by Urs Schreiber at August 26, 2026 at 15:34:27
• complexity
  by Urs Schreiber at August 26, 2026 at 15:32:26
• Wolfgang Burr ( Wolfgang Burr(rev # 1) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 15:30:54
• Sandbox ( Sandbox(rev # 4061) | history )
  by Urs Schreiber at August 26, 2026 at 15:26:26
• computational complexity and physics ( computational complexity and physics(rev # 3) | history )
  by Urs Schreiber at August 26, 2026 at 15:25:38
• arithmetical hierarchy ( arithmetical hierarchy(rev # 1) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 15:23:23
• Takayuki Kihara ( Takayuki Kihara(rev # 1) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 15:17:10
• variety of algebras ( variety of algebras(rev # 21) | history )
  by basedpathinduction? at August 26, 2026 at 15:16:46
• semidecidable proposition ( semidecidable proposition(rev # 22) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 14:34:16
• limited principle of omniscience ( limited principle of omniscience(rev # 62) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 14:25:27
• Phoa's principle ( Phoa's principle(rev # 16) | history )
  by Jean-Philippe Laurant? at August 26, 2026 at 14:23:29
• context-free grammar ( context-free grammar(rev # 10) | history )
  by Nick Mertin? at August 26, 2026 at 13:58:46
• Sandbox ( Sandbox(rev # 4060) | history )
  by Urs Schreiber at August 26, 2026 at 10:26:02
• Egbert Rijke ( Egbert Rijke(rev # 17) | history )
  by Urs Schreiber at August 26, 2026 at 06:12:48
• Emily Riehl ( Emily Riehl(rev # 53) | history )
  by Urs Schreiber at August 26, 2026 at 06:12:25
• Daniel Carranza ( Daniel Carranza(rev # 5) | history )
  by Urs Schreiber at August 26, 2026 at 06:11:52
• machine learning ( machine learning(rev # 37) | history )
  by Urs Schreiber at August 26, 2026 at 06:09:40
• Eric Friedlander ( Eric Friedlander(rev # 8) | history )
  by Urs Schreiber at August 26, 2026 at 05:21:44
• Adams conjecture ( Adams conjecture(rev # 13) | history )
  by Urs Schreiber at August 26, 2026 at 05:21:12
• James Munkres ( James Munkres(rev # 8) | history )
  by Urs Schreiber at August 26, 2026 at 05:10:57
• Pierre Ageron ( Pierre Ageron(rev # 5) | history )
  by varkor at August 25, 2026 at 17:02:43
• locally internal category ( locally internal category(rev # 15) | history )
  by varkor at August 25, 2026 at 16:46:38
• HowTo ( HowTo(rev # 226) | history )
  by Julia Pham Ba Nien? at August 25, 2026 at 11:04:04
• Arkady Tseytlin ( Arkady Tseytlin(rev # 14) | history )
  by Urs Schreiber at August 25, 2026 at 09:42:36
• fundamental M2-brane sigma-model -- references ( fundamental M2-brane sigma-model -- references(rev # 10) | history )
  by Urs Schreiber at August 25, 2026 at 09:40:37
• large 1/N limit ( large 1/N limit(rev # 16) | history )
  by Urs Schreiber at August 25, 2026 at 09:36:40
• displayed category ( displayed category(rev # 28) | history )
  by varkor at August 25, 2026 at 07:37:38
• Nathanael Arkor ( Nathanael Arkor(rev # 22) | history )
  by varkor at August 25, 2026 at 07:30:51
• lambda-calculus ( lambda-calculus(rev # 25) | history )
  by Urs Schreiber at August 25, 2026 at 04:06:09
• Dana Scott ( Dana Scott(rev # 9) | history )
  by Urs Schreiber at August 25, 2026 at 04:04:03
• HowTo ( HowTo(rev # 225) | history )
  by Urs Schreiber at August 25, 2026 at 04:02:29
• multiplicatively idempotent semiring ( multiplicatively idempotent semiring(rev # 19) | history )
  by Robert Wall? at August 25, 2026 at 03:22:57
• Dana Scott ( Dana Scott(rev # 8) | history )
  by Jonas Frey at August 24, 2026 at 22:28:46
• quasidecidable proposition ( quasidecidable proposition(rev # 10) | history )
  by Ed Balls? at August 24, 2026 at 21:01:18
• semidecidable proposition ( semidecidable proposition(rev # 21) | history )
  by Ed Balls? at August 24, 2026 at 21:00:11
• quasi-pullback ( quasi-pullback(rev # 9) | history )
  by Julia Pham Ba Nien? at August 24, 2026 at 17:32:10
• normed ring ( normed ring(rev # 22) | history )
  by Urs Schreiber at August 24, 2026 at 06:44:07
• fusion 2-category ( fusion 2-category(rev # 10) | history )
  by Urs Schreiber at August 24, 2026 at 05:31:53