nLab Latest Revisions

• excluded middle ( excluded middle(rev # 64) | history )
  by p? at June 3, 2026 at 13:33:50
• antithesis interpretation ( antithesis interpretation(rev # 19) | history )
  by p? at June 3, 2026 at 13:32:42
• excluded middle ( excluded middle(rev # 63) | history )
  by p? at June 3, 2026 at 12:49:31
• symmetry shifting ( symmetry shifting(rev # 2) | history )
  by Urs Schreiber at June 3, 2026 at 10:24:18
• Michael Rios ( Michael Rios(rev # 6) | history )
  by Urs Schreiber at June 3, 2026 at 09:45:17
• symmetry shifting ( symmetry shifting(rev # 1) | history )
  by varkor at June 3, 2026 at 08:56:02
• k-tuply monoidal n-category ( k-tuply monoidal n-category(rev # 49) | history )
  by varkor at June 3, 2026 at 08:53:01
• HowTo ( HowTo(rev # 223) | history )
  by David Roberts at June 3, 2026 at 08:32:42
• Markov category ( Markov category(rev # 82) | history )
  by varkor at June 3, 2026 at 08:30:50
• HomePage ( HomePage(rev # 320) | history )
  by David Roberts at June 3, 2026 at 08:20:00
• Alexander Campbell ( Alexander Campbell(rev # 6) | history )
  by Urs Schreiber at June 3, 2026 at 05:01:01
• canonical model structure on 2-categories ( canonical model structure on 2-categories(rev # 11) | history )
  by Urs Schreiber at June 3, 2026 at 04:59:45
• sphere fiber bundle ( sphere fiber bundle(rev # 17) | history )
  by Urs Schreiber at June 3, 2026 at 04:56:54
• quantum Yang-Baxter equation ( quantum Yang-Baxter equation(rev # 22) | history )
  by Urs Schreiber at June 3, 2026 at 04:49:57
• chiral anomaly ( chiral anomaly(rev # 28) | history )
  by Urs Schreiber at June 3, 2026 at 04:44:46
• excluded middle ( excluded middle(rev # 62) | history )
  by p? at June 2, 2026 at 23:05:54
• antithesis interpretation ( antithesis interpretation(rev # 18) | history )
  by p? at June 2, 2026 at 23:04:35
• stable proposition ( stable proposition(rev # 6) | history )
  by p? at June 2, 2026 at 23:02:52
• variety of algebras ( variety of algebras(rev # 20) | history )
  by Johnathon Taylor? at June 2, 2026 at 21:26:25
• decidable object ( decidable object(rev # 20) | history )
  by Urs Schreiber at June 2, 2026 at 21:25:23
• topos ( topos(rev # 131) | history )
  by Urs Schreiber at June 2, 2026 at 21:22:43
• stable proposition ( stable proposition(rev # 5) | history )
  by p? at June 2, 2026 at 21:17:35
• pretopos ( pretopos(rev # 54) | history )
  by Urs Schreiber at June 2, 2026 at 21:13:24
• excluded middle ( excluded middle(rev # 61) | history )
  by p? at June 2, 2026 at 21:01:36
• classical logic ( classical logic(rev # 17) | history )
  by p? at June 2, 2026 at 20:37:21
• stable proposition ( stable proposition(rev # 4) | history )
  by p? at June 2, 2026 at 20:23:29
• antithesis interpretation ( antithesis interpretation(rev # 17) | history )
  by p? at June 2, 2026 at 19:48:09
• pretopos ( pretopos(rev # 53) | history )
  by Naïm Favier? at June 2, 2026 at 19:35:07
• decidable object ( decidable object(rev # 19) | history )
  by Naïm Favier? at June 2, 2026 at 19:32:58
• antithesis interpretation ( antithesis interpretation(rev # 16) | history )
  by p? at June 2, 2026 at 19:05:19
• Eduardo Dubuc ( Eduardo Dubuc(rev # 12) | history )
  by Urs Schreiber at June 2, 2026 at 19:04:52
• synthetic differential geometry ( synthetic differential geometry(rev # 99) | history )
  by Urs Schreiber at June 2, 2026 at 19:04:32
• essentially small type ( essentially small type(rev # 6) | history )
  by Maria? at June 2, 2026 at 19:01:43
• Aref Mohammadzadeh ( Aref Mohammadzadeh(rev # 3) | history )
  by p1? at June 2, 2026 at 18:43:45
• HomePage ( HomePage(rev # 319) | history )
  by Urs Schreiber at June 2, 2026 at 18:38:21
• HomePage ( HomePage(rev # 318) | history )
  by Jack Sweeney? at June 2, 2026 at 18:02:24
• conformal anomaly ( conformal anomaly(rev # 6) | history )
  by Ilia? at June 2, 2026 at 16:13:58
• Heisenberg group ( Heisenberg group(rev # 35) | history )
  by Urs Schreiber at June 2, 2026 at 15:45:01
• superconducting qbits -- references ( superconducting qbits -- references(rev # 7) | history )
  by Urs Schreiber at June 2, 2026 at 15:39:13
• superconducting islands in FQH systems -- references ( superconducting islands in FQH systems -- references(rev # 5) | history )
  by Urs Schreiber at June 2, 2026 at 15:38:30
• Roberto Floreanini ( Roberto Floreanini(rev # 2) | history )
  by Urs Schreiber at June 2, 2026 at 15:36:37
• relative monad ( relative monad(rev # 35) | history )
  by Max S. New at June 2, 2026 at 15:03:00
• quantum Hall effect ( quantum Hall effect(rev # 118) | history )
  by Urs Schreiber at June 2, 2026 at 14:34:20
• Anderson localization ( Anderson localization(rev # 4) | history )
  by Urs Schreiber at June 2, 2026 at 14:31:48
• entropy ( entropy(rev # 65) | history )
  by Urs Schreiber at June 2, 2026 at 14:29:30
• disorder
  by Urs Schreiber at June 2, 2026 at 14:28:47
• Sankar Das Sarma ( Sankar Das Sarma(rev # 15) | history )
  by Urs Schreiber at June 2, 2026 at 14:22:12
• Jay Sau ( Jay Sau(rev # 2) | history )
  by Urs Schreiber at June 2, 2026 at 14:21:36
• eigenstate thermalization hypothesis ( eigenstate thermalization hypothesis(rev # 5) | history )
  by Urs Schreiber at June 2, 2026 at 07:49:48
• Gerald B. Folland ( Gerald B. Folland(rev # 2) | history )
  by Urs Schreiber at June 1, 2026 at 19:22:10
• Heisenberg group ( Heisenberg group(rev # 34) | history )
  by Urs Schreiber at June 1, 2026 at 19:20:47
• Hisham Sati ( Hisham Sati(rev # 45) | history )
  by Urs Schreiber at June 1, 2026 at 17:37:11
• Narya ( Narya(rev # 6) | history )
  by Urs Schreiber at June 1, 2026 at 15:33:33
• Grigorios Giotopoulos ( Grigorios Giotopoulos(rev # 19) | history )
  by Urs Schreiber at June 1, 2026 at 13:47:07
• covariant derivative ( covariant derivative(rev # 23) | history )
  by Urs Schreiber at June 1, 2026 at 13:46:44
• hadrons as KK-modes of 5d Yang-Mills theory -- references ( hadrons as KK-modes of 5d Yang-Mills theory -- references(rev # 24) | history )
  by Urs Schreiber at June 1, 2026 at 13:15:03
• superconductivity ( superconductivity(rev # 52) | history )
  by Urs Schreiber at June 1, 2026 at 10:49:39
• flux quantization in superconductors -- section ( flux quantization in superconductors -- section(rev # 9) | history )
  by Urs Schreiber at June 1, 2026 at 10:46:10
• vortex string ( vortex string(rev # 11) | history )
  by Urs Schreiber at June 1, 2026 at 10:43:49
• Lev Pitaevskii
  by Urs Schreiber at June 1, 2026 at 10:42:12
• small object argument ( small object argument(rev # 43) | history )
  by Naïm Favier? at June 1, 2026 at 10:09:44
• Urs Schreiber ( Urs Schreiber(rev # 148) | history )
  by Urs Schreiber at June 1, 2026 at 08:39:55
• Zoe Wyatt ( Zoe Wyatt(rev # 4) | history )
  by Urs Schreiber at June 1, 2026 at 06:49:34
• Milo Moses ( Milo Moses(rev # 4) | history )
  by Milo Moses at June 1, 2026 at 02:32:09
• comonoid ( comonoid(rev # 15) | history )
  by p? at May 31, 2026 at 19:14:26
• coalgebra ( coalgebra(rev # 43) | history )
  by p? at May 31, 2026 at 19:11:43
• Joost Vercruysse ( Joost Vercruysse(rev # 6) | history )
  by Category Theorist? at May 31, 2026 at 18:41:30
• quasi-category ( quasi-category(rev # 89) | history )
  by Qin Yuxuan? at May 31, 2026 at 15:11:41
• Russian constructivism ( Russian constructivism(rev # 8) | history )
  by p? at May 31, 2026 at 14:05:51
• Heine-Borel theorem ( Heine-Borel theorem(rev # 22) | history )
  by p? at May 31, 2026 at 13:47:20
• taboo ( taboo(rev # 22) | history )
  by p? at May 31, 2026 at 13:27:00
• prime ideal theorem ( prime ideal theorem(rev # 21) | history )
  by p? at May 31, 2026 at 13:04:28
• topological manifold ( topological manifold(rev # 33) | history )
  by p? at May 31, 2026 at 12:48:52
• rational model of mapping space ( rational model of mapping space(rev # 28) | history )
  by Urs Schreiber at May 31, 2026 at 12:37:13
• compactly supported mapping space ( compactly supported mapping space(rev # 2) | history )
  by Urs Schreiber at May 31, 2026 at 12:28:16
• pullback-stable colimit ( pullback-stable colimit(rev # 21) | history )
  by Urs Schreiber at May 31, 2026 at 12:02:55
• topological manifold ( topological manifold(rev # 32) | history )
  by p? at May 31, 2026 at 12:01:55
• point of a locale ( point of a locale(rev # 6) | history )
  by p? at May 31, 2026 at 11:59:02
• model structure on simplicial sets ( model structure on simplicial sets(rev # 47) | history )
  by Urs Schreiber at May 31, 2026 at 10:14:07
• classical model structure on simplicial sets -- references ( classical model structure on simplicial sets -- references(rev # 2) | history )
  by Urs Schreiber at May 31, 2026 at 10:12:11
• classical model structure on simplicial sets ( classical model structure on simplicial sets(rev # 26) | history )
  by Urs Schreiber at May 31, 2026 at 10:10:32
• proper model category ( proper model category(rev # 57) | history )
  by Urs Schreiber at May 31, 2026 at 09:59:30
• homotopy pullback ( homotopy pullback(rev # 70) | history )
  by Urs Schreiber at May 31, 2026 at 09:58:31
• David Barnes ( David Barnes(rev # 6) | history )
  by Urs Schreiber at May 31, 2026 at 09:55:33
• Constanze Roitzheim ( Constanze Roitzheim(rev # 4) | history )
  by Urs Schreiber at May 31, 2026 at 09:54:05
• right Bousfield localization of model categories ( right Bousfield localization of model categories(rev # 2) | history )
  by Urs Schreiber at May 31, 2026 at 09:50:35
• Grassmann necklace ( Grassmann necklace(rev # 3) | history )
  by Urs Schreiber at May 30, 2026 at 18:56:46
• decorated permutations
  by Urs Schreiber at May 30, 2026 at 18:51:25
• decorated permutation ( decorated permutation(rev # 2) | history )
  by Urs Schreiber at May 30, 2026 at 18:51:18
• decorated permutation ( decorated permutation(rev # 1) | history )
  by Leon Bankston? at May 30, 2026 at 18:24:31
• Grassmann necklace ( Grassmann necklace(rev # 2) | history )
  by Leon Bankston? at May 30, 2026 at 18:18:23
• Joost Vercruysse ( Joost Vercruysse(rev # 5) | history )
  by Urs Schreiber at May 30, 2026 at 13:24:07
• Joost Vercruysse ( Joost Vercruysse(rev # 4) | history )
  by Zoran Škoda at May 30, 2026 at 12:16:04
• biactegory ( biactegory(rev # 6) | history )
  by Zoran Škoda at May 30, 2026 at 12:13:39
• nonabelian Poincaré duality ( nonabelian Poincaré duality(rev # 14) | history )
  by Urs Schreiber at May 30, 2026 at 10:32:49
• Dylan Wilson ( Dylan Wilson(rev # 2) | history )
  by Urs Schreiber at May 30, 2026 at 10:32:14
• compactly supported mapping space ( compactly supported mapping space(rev # 1) | history )
  by Urs Schreiber at May 30, 2026 at 10:30:24
• one-point compactification ( one-point compactification(rev # 60) | history )
  by Urs Schreiber at May 30, 2026 at 10:27:22
• compact support ( compact support(rev # 11) | history )
  by Urs Schreiber at May 30, 2026 at 10:26:31
• Aaron Mazel-Gee ( Aaron Mazel-Gee(rev # 8) | history )
  by Urs Schreiber at May 30, 2026 at 10:24:11