nLab Latest Revisions

• van der Blij lemma ( van der Blij lemma(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:02:03
• triangulation theorem ( triangulation theorem(rev # 3) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:00:31
• Quinn theorem ( Quinn theorem(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 10:59:03
• Alexandru Scorpan
  by Samuel Adrian Antz at May 16, 2026 at 10:57:48
• Freedman classification ( Freedman classification(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 10:54:50
• Furuta theorem ( Furuta theorem(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 10:53:57
• Frank Quinn ( Frank Quinn(rev # 10) | history )
  by Samuel Adrian Antz at May 16, 2026 at 10:48:00
• Michael Freedman ( Michael Freedman(rev # 17) | history )
  by Samuel Adrian Antz at May 16, 2026 at 10:44:54
• T-duality ( T-duality(rev # 71) | history )
  by Urs Schreiber at May 16, 2026 at 09:52:25
• homotopy coherent nerve ( homotopy coherent nerve(rev # 89) | history )
  by Pranjal Jain? at May 16, 2026 at 09:49:45
• duality between M-theory and type IIA string theory ( duality between M-theory and type IIA string theory(rev # 11) | history )
  by Urs Schreiber at May 16, 2026 at 09:49:25
• Fierz identity ( Fierz identity(rev # 29) | history )
  by Urs Schreiber at May 16, 2026 at 09:48:04
• black holes in string theory ( black holes in string theory(rev # 65) | history )
  by Urs Schreiber at May 16, 2026 at 09:45:43
• brane ( brane(rev # 69) | history )
  by Urs Schreiber at May 16, 2026 at 09:44:31
• BPS state ( BPS state(rev # 63) | history )
  by Urs Schreiber at May 16, 2026 at 09:41:50
• Kaluza-Klein monopole ( Kaluza-Klein monopole(rev # 43) | history )
  by Urs Schreiber at May 16, 2026 at 09:40:27
• pp-wave spacetime ( pp-wave spacetime(rev # 15) | history )
  by Urs Schreiber at May 16, 2026 at 09:37:45
• Taub-NUT space ( Taub-NUT space(rev # 15) | history )
  by Urs Schreiber at May 16, 2026 at 09:37:02
• Reissner-Nordström spacetime ( Reissner-Nordström spacetime(rev # 13) | history )
  by Urs Schreiber at May 16, 2026 at 09:36:10
• Schwarzschild spacetime ( Schwarzschild spacetime(rev # 10) | history )
  by Urs Schreiber at May 16, 2026 at 09:35:28
• ADM mass ( ADM mass(rev # 3) | history )
  by Urs Schreiber at May 16, 2026 at 09:34:52
• D=5 supergravity ( D=5 supergravity(rev # 59) | history )
  by Urs Schreiber at May 16, 2026 at 09:33:13
• D=4 supergravity ( D=4 supergravity(rev # 53) | history )
  by Urs Schreiber at May 16, 2026 at 09:32:24
• first-order formulation of gravity ( first-order formulation of gravity(rev # 34) | history )
  by Urs Schreiber at May 16, 2026 at 09:30:24
• teleparallel gravity ( teleparallel gravity(rev # 9) | history )
  by Urs Schreiber at May 16, 2026 at 09:29:52
• Einstein-Hilbert action ( Einstein-Hilbert action(rev # 20) | history )
  by Urs Schreiber at May 16, 2026 at 09:27:49
• quantum gravity ( quantum gravity(rev # 80) | history )
  by Urs Schreiber at May 16, 2026 at 09:26:39
• string theory ( string theory(rev # 140) | history )
  by Urs Schreiber at May 16, 2026 at 09:23:42
• supergravity ( supergravity(rev # 112) | history )
  by Urs Schreiber at May 16, 2026 at 09:22:33
• gravity ( gravity(rev # 67) | history )
  by Urs Schreiber at May 16, 2026 at 09:21:06
• Tomas Ortin ( Tomas Ortin(rev # 10) | history )
  by Urs Schreiber at May 16, 2026 at 09:19:38
• type II supergravity ( type II supergravity(rev # 33) | history )
  by Urs Schreiber at May 16, 2026 at 09:12:25
• String Theory ( String Theory(rev # 6) | history )
  by Urs Schreiber at May 16, 2026 at 09:12:00
• Hochschild cohomology ( Hochschild cohomology(rev # 114) | history )
  by Matthew Rumizen? at May 15, 2026 at 22:21:20
• exclusive disjunction ( exclusive disjunction(rev # 21) | history )
  by p? at May 15, 2026 at 20:12:39
• truth value ( truth value(rev # 28) | history )
  by p? at May 15, 2026 at 19:56:11
• fivebrane structure ( fivebrane structure(rev # 23) | history )
  by Urs Schreiber at May 15, 2026 at 18:55:49
• Hypothesis H ( Hypothesis H(rev # 11) | history )
  by Urs Schreiber at May 15, 2026 at 17:54:11
• type II supergravity ( type II supergravity(rev # 32) | history )
  by Urs Schreiber at May 15, 2026 at 17:44:33
• Krzysztof Pilch ( Krzysztof Pilch(rev # 5) | history )
  by Urs Schreiber at May 15, 2026 at 17:43:43
• Leonardo Castellani ( Leonardo Castellani(rev # 13) | history )
  by Urs Schreiber at May 15, 2026 at 17:43:20
• Peter van Nieuwenhuizen ( Peter van Nieuwenhuizen(rev # 13) | history )
  by Urs Schreiber at May 15, 2026 at 17:42:46
• Pietro Fré ( Pietro Fré(rev # 23) | history )
  by Urs Schreiber at May 15, 2026 at 17:41:50
• F. Giani
  by Urs Schreiber at May 15, 2026 at 17:40:28
• D'Auria-Fré-Regge formulation of supergravity ( D'Auria-Fré-Regge formulation of supergravity(rev # 126) | history )
  by Urs Schreiber at May 15, 2026 at 17:39:18
• supergravity Lie 6-algebra ( supergravity Lie 6-algebra(rev # 26) | history )
  by Urs Schreiber at May 15, 2026 at 17:38:14
• D=12 supergravity ( D=12 supergravity(rev # 17) | history )
  by Urs Schreiber at May 15, 2026 at 17:36:58
• Nicholas Warner ( Nicholas Warner(rev # 17) | history )
  by Urs Schreiber at May 15, 2026 at 17:33:58
• Mario Pernici
  by Urs Schreiber at May 15, 2026 at 17:32:11
• gauged supergravity ( gauged supergravity(rev # 20) | history )
  by Urs Schreiber at May 15, 2026 at 17:29:25
• D=5 supergravity ( D=5 supergravity(rev # 58) | history )
  by Urs Schreiber at May 15, 2026 at 17:28:29
• D=7 supergravity ( D=7 supergravity(rev # 27) | history )
  by Urs Schreiber at May 15, 2026 at 17:25:22
• supergravity ( supergravity(rev # 111) | history )
  by Urs Schreiber at May 15, 2026 at 17:12:21
• noncommutative motive ( noncommutative motive(rev # 36) | history )
  by Dmitri Pavlov at May 15, 2026 at 16:21:13
• Blakers-Massey theorem ( Blakers-Massey theorem(rev # 50) | history )
  by Urs Schreiber at May 15, 2026 at 16:10:11
• Blakers-Massey theorem ( Blakers-Massey theorem(rev # 49) | history )
  by Rod Mc Guire at May 15, 2026 at 15:54:40
• NS5-brane ( NS5-brane(rev # 75) | history )
  by Urs Schreiber at May 15, 2026 at 14:24:54
• D0-D2 brane bound state ( D0-D2 brane bound state(rev # 3) | history )
  by Urs Schreiber at May 15, 2026 at 14:24:27
• Jianzhong Pan
  by Urs Schreiber at May 15, 2026 at 13:36:47
• Pengcheng Li
  by Urs Schreiber at May 15, 2026 at 13:36:34
• Jie Wu
  by Urs Schreiber at May 15, 2026 at 13:36:21
• Roman Mikhailov ( Roman Mikhailov(rev # 5) | history )
  by Urs Schreiber at May 15, 2026 at 13:35:36
• homotopy groups of spheres ( homotopy groups of spheres(rev # 62) | history )
  by Urs Schreiber at May 15, 2026 at 13:34:59
• 2-sphere ( 2-sphere(rev # 6) | history )
  by Urs Schreiber at May 15, 2026 at 13:32:21
• Sergei O. Ivanov ( Sergei O. Ivanov(rev # 7) | history )
  by Urs Schreiber at May 15, 2026 at 13:32:00
• spherical fibration ( spherical fibration(rev # 17) | history )
  by Urs Schreiber at May 15, 2026 at 13:27:55
• stable cohomotopy ( stable cohomotopy(rev # 41) | history )
  by Urs Schreiber at May 15, 2026 at 13:24:51
• apartness relation ( apartness relation(rev # 66) | history )
  by Urs Schreiber at May 15, 2026 at 13:23:26
• field ( field(rev # 76) | history )
  by Urs Schreiber at May 15, 2026 at 13:22:43
• antisubalgebra ( antisubalgebra(rev # 16) | history )
  by Urs Schreiber at May 15, 2026 at 13:22:03
• Wim Ruitenburg ( Wim Ruitenburg(rev # 3) | history )
  by Urs Schreiber at May 15, 2026 at 13:21:28
• Fred Richman ( Fred Richman(rev # 11) | history )
  by Urs Schreiber at May 15, 2026 at 13:21:17
• Ray Mines
  by Urs Schreiber at May 15, 2026 at 13:21:00
• Bishop's constructive mathematics ( Bishop's constructive mathematics(rev # 17) | history )
  by Urs Schreiber at May 15, 2026 at 13:20:43
• unramifiable polynomial ( unramifiable polynomial(rev # 4) | history )
  by Urs Schreiber at May 15, 2026 at 13:18:00
• simple root ( simple root(rev # 8) | history )
  by Urs Schreiber at May 15, 2026 at 13:17:42
• algebraically closed field ( algebraically closed field(rev # 19) | history )
  by Urs Schreiber at May 15, 2026 at 13:17:18
• quadratic formula ( quadratic formula(rev # 21) | history )
  by Urs Schreiber at May 15, 2026 at 13:16:55
• fundamental theorem of algebra ( fundamental theorem of algebra(rev # 48) | history )
  by Urs Schreiber at May 15, 2026 at 13:16:22
• Cauchy real number ( Cauchy real number(rev # 55) | history )
  by Urs Schreiber at May 15, 2026 at 13:15:42
• Introduction to Homotopy Type Theory ( Introduction to Homotopy Type Theory(rev # 21) | history )
  by Urs Schreiber at May 15, 2026 at 13:11:32
• constructive mathematics ( constructive mathematics(rev # 101) | history )
  by Urs Schreiber at May 15, 2026 at 13:08:48
• possibly trivial field ( possibly trivial field(rev # 9) | history )
  by Urs Schreiber at May 15, 2026 at 13:06:31
• Introduction to Homotopy Type Theory ( Introduction to Homotopy Type Theory(rev # 20) | history )
  by Jacob Teller? at May 15, 2026 at 12:29:58
• Sandbox ( Sandbox(rev # 3994) | history )
  by Urs Schreiber at May 15, 2026 at 11:29:40
• Wim Ruitenburg ( Wim Ruitenburg(rev # 2) | history )
  by John Rowling? at May 15, 2026 at 10:34:54
• antisubalgebra ( antisubalgebra(rev # 15) | history )
  by John Rowling? at May 15, 2026 at 10:33:34
• Bishop's constructive mathematics ( Bishop's constructive mathematics(rev # 16) | history )
  by John Rowling? at May 15, 2026 at 10:32:15
• unramifiable polynomial ( unramifiable polynomial(rev # 3) | history )
  by John Rowling? at May 15, 2026 at 10:31:20
• simple root ( simple root(rev # 7) | history )
  by John Rowling? at May 15, 2026 at 10:31:09
• algebraically closed field ( algebraically closed field(rev # 18) | history )
  by John Rowling? at May 15, 2026 at 10:27:11
• quadratic formula ( quadratic formula(rev # 20) | history )
  by John Rowling? at May 15, 2026 at 10:25:39
• fundamental theorem of algebra ( fundamental theorem of algebra(rev # 47) | history )
  by John Rowling? at May 15, 2026 at 10:23:48
• Cauchy real number ( Cauchy real number(rev # 54) | history )
  by John Rowling? at May 15, 2026 at 10:22:23
• possibly trivial field ( possibly trivial field(rev # 8) | history )
  by John Rowling? at May 15, 2026 at 10:19:26
• Anders Kock ( Anders Kock(rev # 12) | history )
  by Urs Schreiber at May 15, 2026 at 09:04:30
• Mealy machine ( Mealy machine(rev # 11) | history )
  by Chad Nester at May 15, 2026 at 08:19:20
• unitary fusion category ( unitary fusion category(rev # 3) | history )
  by Arun Debray at May 14, 2026 at 17:52:09
• Maxwell's equations ( Maxwell's equations(rev # 29) | history )
  by Urs Schreiber at May 14, 2026 at 16:59:27
• Gauss law ( Gauss law(rev # 9) | history )
  by Urs Schreiber at May 14, 2026 at 16:56:32