nLab Latest Revisions

• quantum Hall effect ( quantum Hall effect(rev # 123) | history )
  by Urs Schreiber at July 23, 2026 at 19:02:43
• Yoneda lemma for bicategories ( Yoneda lemma for bicategories(rev # 21) | history )
  by stschaef? at July 23, 2026 at 18:48:49
• quantum Hall effect ( quantum Hall effect(rev # 122) | history )
  by Urs Schreiber at July 23, 2026 at 17:25:14
• quantum Hall effect ( quantum Hall effect(rev # 121) | history )
  by Urs Schreiber at July 23, 2026 at 16:26:05
• abelian Chern-Simons for fractional quantum Hall effect -- references ( abelian Chern-Simons for fractional quantum Hall effect -- references(rev # 36) | history )
  by Urs Schreiber at July 23, 2026 at 15:19:34
• Maxwell-Chern-Simons theory ( Maxwell-Chern-Simons theory(rev # 31) | history )
  by Urs Schreiber at July 23, 2026 at 15:01:55
• Daniel Freed ( Daniel Freed(rev # 32) | history )
  by Urs Schreiber at July 23, 2026 at 14:59:02
• twisted functorial field theory ( twisted functorial field theory(rev # 5) | history )
  by Urs Schreiber at July 23, 2026 at 14:57:44
• extended functorial field theory ( extended functorial field theory(rev # 57) | history )
  by Urs Schreiber at July 23, 2026 at 14:56:28
• topological quantum field theory ( topological quantum field theory(rev # 48) | history )
  by Urs Schreiber at July 23, 2026 at 14:55:36
• Wick rotation ( Wick rotation(rev # 28) | history )
  by Urs Schreiber at July 23, 2026 at 14:54:16
• invertible field theory ( invertible field theory(rev # 16) | history )
  by Urs Schreiber at July 23, 2026 at 14:52:28
• formalized libraries of homotopy type theory ( formalized libraries of homotopy type theory(rev # 7) | history )
  by Bentzen? at July 23, 2026 at 13:02:09
• proof assistants and formalization projects -- list ( proof assistants and formalization projects -- list(rev # 12) | history )
  by Bentzen? at July 23, 2026 at 12:53:16
• Nichol Furey ( Nichol Furey(rev # 5) | history )
  by Urs Schreiber at July 23, 2026 at 09:51:03
• infinity-group of units ( infinity-group of units(rev # 45) | history )
  by Urs Schreiber at July 23, 2026 at 09:43:45
• categorical spectrum ( categorical spectrum(rev # 3) | history )
  by Urs Schreiber at July 23, 2026 at 09:42:53
• Kaluza-Klein mechanism ( Kaluza-Klein mechanism(rev # 80) | history )
  by Urs Schreiber at July 23, 2026 at 09:21:20
• double dimensional reduction ( double dimensional reduction(rev # 36) | history )
  by Urs Schreiber at July 23, 2026 at 09:17:25
• duality between M-theory and type IIA string theory ( duality between M-theory and type IIA string theory(rev # 13) | history )
  by Urs Schreiber at July 23, 2026 at 09:17:08
• superspace ( superspace(rev # 29) | history )
  by Urs Schreiber at July 23, 2026 at 09:11:14
• D=11 N=1 supergravity ( D=11 N=1 supergravity(rev # 118) | history )
  by Urs Schreiber at July 23, 2026 at 09:10:53
• Sandbox ( Sandbox(rev # 4054) | history )
  by Urs Schreiber at July 23, 2026 at 09:08:09
• Yuri Manin ( Yuri Manin(rev # 26) | history )
  by Urs Schreiber at July 23, 2026 at 08:55:03
• ordinal number ( ordinal number(rev # 26) | history )
  by Urs Schreiber at July 23, 2026 at 08:53:16
• cardinal number ( cardinal number(rev # 51) | history )
  by Urs Schreiber at July 23, 2026 at 08:52:32
• Georg Cantor ( Georg Cantor(rev # 5) | history )
  by Urs Schreiber at July 23, 2026 at 08:49:18
• Arthur Schoenflies
  by Urs Schreiber at July 23, 2026 at 08:45:22
• associative magma ( associative magma(rev # 3) | history )
  by Urs Schreiber at July 23, 2026 at 08:30:23
• Beiträge zur Begründung der transfiniten Mengenlehre ( Beiträge zur Begründung der transfiniten Mengenlehre(rev # 5) | history )
  by Urs Schreiber at July 23, 2026 at 08:21:11
• Beiträge zur Begründung der transfiniten Mengenlehre ( Beiträge zur Begründung der transfiniten Mengenlehre(rev # 4) | history )
  by David Roberts at July 23, 2026 at 08:01:12
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 55) | history )
  by Urs Schreiber at July 23, 2026 at 05:56:39
• T-fold ( T-fold(rev # 25) | history )
  by Urs Schreiber at July 23, 2026 at 05:43:17
• simplicial set ( simplicial set(rev # 94) | history )
  by Robin Adams? at July 22, 2026 at 20:33:03
• simplicial set ( simplicial set(rev # 93) | history )
  by Robin Adams? at July 22, 2026 at 20:32:54
• extended C*-algebra ( extended C*-algebra(rev # 3) | history )
  by Dmitri Pavlov at July 22, 2026 at 19:36:43
• differential nonabelian cohomology ( differential nonabelian cohomology(rev # 6) | history )
  by David Corfield at July 22, 2026 at 19:26:01
• extended C*-algebra ( extended C*-algebra(rev # 2) | history )
  by Dmitri Pavlov at July 22, 2026 at 18:59:53
• Frobenius algebra ( Frobenius algebra(rev # 67) | history )
  by Dheeran Wiggins? at July 22, 2026 at 17:47:24
• differential nonabelian cohomology ( differential nonabelian cohomology(rev # 5) | history )
  by Urs Schreiber at July 22, 2026 at 15:48:56
• differential nonabelian cohomology > history ( differential nonabelian cohomology > history(rev # 4) | history )
  by Urs Schreiber at July 22, 2026 at 15:46:44
• D=11 N=1 supergravity ( D=11 N=1 supergravity(rev # 117) | history )
  by Urs Schreiber at July 22, 2026 at 15:22:57
• Ingmar Saberi ( Ingmar Saberi(rev # 13) | history )
  by Urs Schreiber at July 22, 2026 at 15:17:22
• Fabian Hahner ( Fabian Hahner(rev # 3) | history )
  by Urs Schreiber at July 22, 2026 at 15:16:54
• pure spinor ( pure spinor(rev # 11) | history )
  by Urs Schreiber at July 22, 2026 at 15:15:35
• Martin Cederwall ( Martin Cederwall(rev # 11) | history )
  by Urs Schreiber at July 22, 2026 at 15:14:09
• superspace ( superspace(rev # 28) | history )
  by Urs Schreiber at July 22, 2026 at 15:13:31
• Sandbox ( Sandbox(rev # 4053) | history )
  by Urs Schreiber at July 22, 2026 at 15:08:00
• Beiträge zur Begründung der transfiniten Mengenlehre ( Beiträge zur Begründung der transfiniten Mengenlehre(rev # 3) | history )
  by Urs Schreiber at July 22, 2026 at 13:02:22
• Dialectica interpretation ( Dialectica interpretation(rev # 8) | history )
  by Valeria de Paiva at July 22, 2026 at 12:36:28
• Jacobian conjecture ( Jacobian conjecture(rev # 7) | history )
  by Urs Schreiber at July 22, 2026 at 12:22:47
• regular map ( regular map(rev # 3) | history )
  by Urs Schreiber at July 22, 2026 at 11:48:01
• Jacobian conjecture ( Jacobian conjecture(rev # 6) | history )
  by John Baez at July 22, 2026 at 09:42:23
• core of a ring ( core of a ring(rev # 20) | history )
  by Urs Schreiber at July 22, 2026 at 09:36:49
• Kaluza-Klein monopole ( Kaluza-Klein monopole(rev # 44) | history )
  by Urs Schreiber at July 22, 2026 at 09:02:57
• M-wave ( M-wave(rev # 14) | history )
  by Urs Schreiber at July 22, 2026 at 08:55:19
• Frobenius algebra ( Frobenius algebra(rev # 66) | history )
  by Dheeran Wiggins? at July 22, 2026 at 07:16:56
• dagger-compact category ( dagger-compact category(rev # 29) | history )
  by Dheeran Wiggins? at July 21, 2026 at 18:23:04
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 53) | history )
  by Urs Schreiber at July 21, 2026 at 16:30:02
• line object ( line object(rev # 23) | history )
  by Urs Schreiber at July 21, 2026 at 16:09:18
• Ingo Blechschmidt ( Ingo Blechschmidt(rev # 8) | history )
  by Urs Schreiber at July 21, 2026 at 15:53:49
• Sandbox ( Sandbox(rev # 4052) | history )
  by Urs Schreiber at July 21, 2026 at 15:18:25
• synthetic differential geometry ( synthetic differential geometry(rev # 102) | history )
  by Urs Schreiber at July 21, 2026 at 14:47:18
• Valter Moretti ( Valter Moretti(rev # 16) | history )
  by Valter Moretti at July 21, 2026 at 14:41:20
• volume preserving diffeomorphism ( volume preserving diffeomorphism(rev # 36) | history )
  by Urs Schreiber at July 21, 2026 at 13:24:55
• line object ( line object(rev # 22) | history )
  by Marco? at July 21, 2026 at 12:37:01
• supersymmetry in fractional quantum Hall systems -- references ( supersymmetry in fractional quantum Hall systems -- references(rev # 26) | history )
  by Urs Schreiber at July 21, 2026 at 12:18:36
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 52) | history )
  by Urs Schreiber at July 21, 2026 at 11:56:32
• regular category ( regular category(rev # 81) | history )
  by Martin Brandenburg at July 21, 2026 at 11:48:49
• geometric engineering of quantum field theory ( geometric engineering of quantum field theory(rev # 33) | history )
  by Urs Schreiber at July 21, 2026 at 11:15:59
• Counterexamples in Topology ( Counterexamples in Topology(rev # 3) | history )
  by Urs Schreiber at July 21, 2026 at 10:06:21
• counterexample ( counterexample(rev # 4) | history )
  by Urs Schreiber at July 21, 2026 at 10:05:15
• topology ( topology(rev # 118) | history )
  by Urs Schreiber at July 21, 2026 at 10:02:59
• topology -- references ( topology -- references(rev # 13) | history )
  by Urs Schreiber at July 21, 2026 at 10:01:43
• straightening functor ( straightening functor(rev # 14) | history )
  by Urs Schreiber at July 21, 2026 at 09:52:46
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 51) | history )
  by Urs Schreiber at July 21, 2026 at 09:38:47
• indexed monoidal category ( indexed monoidal category(rev # 22) | history )
  by varkor at July 21, 2026 at 08:10:40
• neutron star ( neutron star(rev # 19) | history )
  by Urs Schreiber at July 21, 2026 at 04:46:33
• electromagnetic field ( electromagnetic field(rev # 68) | history )
  by Herrmann? at July 20, 2026 at 17:54:33
• supergeometry ( supergeometry(rev # 59) | history )
  by Urs Schreiber at July 20, 2026 at 17:09:17
• principal bundle ( principal bundle(rev # 77) | history )
  by Urs Schreiber at July 20, 2026 at 17:07:46
• Veeravalli Varadarajan ( Veeravalli Varadarajan(rev # 7) | history )
  by Urs Schreiber at July 20, 2026 at 17:06:45
• Rita Fioresi ( Rita Fioresi(rev # 5) | history )
  by Urs Schreiber at July 20, 2026 at 17:06:22
• Claudio Carmeli ( Claudio Carmeli(rev # 3) | history )
  by Urs Schreiber at July 20, 2026 at 17:03:50
• fiber bundle ( fiber bundle(rev # 51) | history )
  by Urs Schreiber at July 20, 2026 at 17:01:22
• Konstantin Eder ( Konstantin Eder(rev # 6) | history )
  by Urs Schreiber at July 20, 2026 at 17:01:06
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 50) | history )
  by Urs Schreiber at July 20, 2026 at 16:20:00
• duality in string theory ( duality in string theory(rev # 41) | history )
  by Urs Schreiber at July 20, 2026 at 15:05:59
• exceptional tangent bundle ( exceptional tangent bundle(rev # 13) | history )
  by Urs Schreiber at July 20, 2026 at 14:43:16
• geometric realization ( geometric realization(rev # 52) | history )
  by Urs Schreiber at July 20, 2026 at 12:12:23
• parameterized quantum system ( parameterized quantum system(rev # 7) | history )
  by Urs Schreiber at July 20, 2026 at 04:56:58
• Oscar Randal-Williams ( Oscar Randal-Williams(rev # 11) | history )
  by Urs Schreiber at July 20, 2026 at 04:54:00
• group actions on spheres ( group actions on spheres(rev # 26) | history )
  by Urs Schreiber at July 20, 2026 at 04:53:08
• path integral ( path integral(rev # 90) | history )
  by Urs Schreiber at July 20, 2026 at 04:44:45
• Peter Scholze ( Peter Scholze(rev # 13) | history )
  by Urs Schreiber at July 19, 2026 at 14:35:01
• categorical spectrum ( categorical spectrum(rev # 2) | history )
  by Urs Schreiber at July 18, 2026 at 20:02:45
• ring spectrum ( ring spectrum(rev # 50) | history )
  by Urs Schreiber at July 18, 2026 at 18:09:35
• David Reutter ( David Reutter(rev # 10) | history )
  by Urs Schreiber at July 18, 2026 at 18:06:41
• categorical spectrum ( categorical spectrum(rev # 1) | history )
  by Urs Schreiber at July 18, 2026 at 18:02:30
• duality between algebra and geometry ( duality between algebra and geometry(rev # 13) | history )
  by Urs Schreiber at July 18, 2026 at 17:58:36