nLab Latest Revisions

• Hanul Jeon ( Hanul Jeon(rev # 1) | history )
  by John Marlow? at September 20, 2026 at 18:48:31
• higher gauge field ( higher gauge field(rev # 32) | history )
  by Urs Schreiber at September 20, 2026 at 18:23:17
• Marc Henneaux ( Marc Henneaux(rev # 17) | history )
  by Urs Schreiber at September 20, 2026 at 18:22:48
• Claudio Teitelboim ( Claudio Teitelboim(rev # 10) | history )
  by Urs Schreiber at September 20, 2026 at 18:22:16
• pre-metric electromagnetism ( pre-metric electromagnetism(rev # 24) | history )
  by Urs Schreiber at September 20, 2026 at 18:18:42
• Book HoTT ( Book HoTT(rev # 9) | history )
  by Matthew Belmont? at September 20, 2026 at 17:32:20
• strongly predicative dependent type theory ( strongly predicative dependent type theory(rev # 4) | history )
  by Matthew Belmont? at September 20, 2026 at 17:32:07
• manifold structure of mapping spaces ( manifold structure of mapping spaces(rev # 25) | history )
  by Urs Schreiber at September 20, 2026 at 17:04:05
• abelian category ( abelian category(rev # 85) | history )
  by varkor at September 20, 2026 at 16:51:26
• manifold structure of mapping spaces ( manifold structure of mapping spaces(rev # 24) | history )
  by Urs Schreiber at September 20, 2026 at 16:02:20
• Frölicher space ( Frölicher space(rev # 66) | history )
  by Urs Schreiber at September 20, 2026 at 15:58:40
• Peter Michor ( Peter Michor(rev # 11) | history )
  by Urs Schreiber at September 20, 2026 at 15:54:25
• Peter Michor ( Peter Michor(rev # 10) | history )
  by Urs Schreiber at September 20, 2026 at 15:10:58
• Fréchet manifold ( Fréchet manifold(rev # 33) | history )
  by Urs Schreiber at September 20, 2026 at 15:10:05
• Saul Kripke ( Saul Kripke(rev # 7) | history )
  by Urs Schreiber at September 20, 2026 at 13:25:45
• manifold structure of mapping spaces ( manifold structure of mapping spaces(rev # 23) | history )
  by Urs Schreiber at September 20, 2026 at 13:18:51
• Book HoTT ( Book HoTT(rev # 8) | history )
  by Matthew Belmont? at September 20, 2026 at 12:31:09
• hierarchy of universes ( hierarchy of universes(rev # 15) | history )
  by Matthew Belmont? at September 20, 2026 at 12:23:04
• inconsistency ( inconsistency(rev # 7) | history )
  by Victor Sannier? at September 20, 2026 at 11:55:11
• Jennifer C. H. Wilson ( Jennifer C. H. Wilson(rev # 5) | history )
  by Qin Yuxuan? at September 20, 2026 at 11:36:00
• Saul Kripke ( Saul Kripke(rev # 6) | history )
  by Luca Leon Happel? at September 20, 2026 at 11:24:05
• Presburger arithmetic ( Presburger arithmetic(rev # 3) | history )
  by Urs Schreiber at September 20, 2026 at 11:15:25
• Presburger arithmetic ( Presburger arithmetic(rev # 2) | history )
  by Matthew Belmont? at September 20, 2026 at 11:12:56
• Giry monad ( Giry monad(rev # 136) | history )
  by kirk_sturtz? at September 20, 2026 at 10:30:38
• D'Auria-Fré-Regge formulation of supergravity ( D'Auria-Fré-Regge formulation of supergravity(rev # 129) | history )
  by Urs Schreiber at September 20, 2026 at 09:53:44
• Calin Lazaroiu ( Calin Lazaroiu(rev # 7) | history )
  by Urs Schreiber at September 20, 2026 at 09:23:06
• M-theory ( M-theory(rev # 117) | history )
  by Urs Schreiber at September 20, 2026 at 09:11:00
• Claudio Teitelboim ( Claudio Teitelboim(rev # 9) | history )
  by Urs Schreiber at September 20, 2026 at 08:35:47
• polymorphic dependent type theory ( polymorphic dependent type theory(rev # 30) | history )
  by zulip chat viewer? at September 20, 2026 at 04:06:10
• polymorphic dependent type theory ( polymorphic dependent type theory(rev # 29) | history )
  by zulip chat viewer? at September 20, 2026 at 03:17:12
• univalence axiom ( univalence axiom(rev # 124) | history )
  by zulip chat viewer? at September 20, 2026 at 02:40:18
• interval type ( interval type(rev # 46) | history )
  by zulip chat viewer? at September 20, 2026 at 02:37:33
• equivalence induction ( equivalence induction(rev # 2) | history )
  by zulip chat viewer? at September 20, 2026 at 02:04:17
• type of propositions ( type of propositions(rev # 57) | history )
  by bee? at September 20, 2026 at 01:52:20
• type of booleans ( type of booleans(rev # 6) | history )
  by bee? at September 20, 2026 at 01:51:45
• subgroup ( subgroup(rev # 18) | history )
  by Άπειρον Αρχή? at September 20, 2026 at 01:11:29
• subgroup ( subgroup(rev # 17) | history )
  by Άπειρον Αρχή? at September 20, 2026 at 00:59:58
• representable functor theorem ( representable functor theorem(rev # 13) | history )
  by Dmitri Pavlov at September 19, 2026 at 23:34:51
• Comptes rendus hebdomadaires des séances de l'Académie des sciences ( Comptes rendus hebdomadaires des séances de l'Académie des sciences(rev # 13) | history )
  by Dmitri Pavlov at September 19, 2026 at 23:25:50
• Comptes rendus hebdomadaires des séances de l'Académie des sciences ( Comptes rendus hebdomadaires des séances de l'Académie des sciences(rev # 12) | history )
  by Dmitri Pavlov at September 19, 2026 at 22:29:52
• polymorphic dependent type theory ( polymorphic dependent type theory(rev # 28) | history )
  by zulip chat viewer? at September 19, 2026 at 21:52:16
• extended von Neumann algebra ( extended von Neumann algebra(rev # 2) | history )
  by Dmitri Pavlov at September 19, 2026 at 21:05:17
• univalence axiom ( univalence axiom(rev # 123) | history )
  by zulip chat viewer? at September 19, 2026 at 20:37:18
• equivalence induction ( equivalence induction(rev # 1) | history )
  by zulip chat viewer? at September 19, 2026 at 19:23:21
• polymorphic dependent type theory ( polymorphic dependent type theory(rev # 27) | history )
  by zulip chat viewer? at September 19, 2026 at 19:15:07
• equivalence type ( equivalence type(rev # 33) | history )
  by zulip chat viewer? at September 19, 2026 at 18:43:54
• equivalence of types ( equivalence of types(rev # 63) | history )
  by zulip chat viewer? at September 19, 2026 at 18:43:40
• Claudio Teitelboim ( Claudio Teitelboim(rev # 8) | history )
  by Urs Schreiber at September 19, 2026 at 18:42:27
• Marc Henneaux ( Marc Henneaux(rev # 16) | history )
  by Urs Schreiber at September 19, 2026 at 18:42:10
• higher gauge field ( higher gauge field(rev # 31) | history )
  by Urs Schreiber at September 19, 2026 at 18:41:39
• Kalb-Ramond field ( Kalb-Ramond field(rev # 46) | history )
  by Urs Schreiber at September 19, 2026 at 18:38:23
• Lagrangian density ( Lagrangian density(rev # 26) | history )
  by Urs Schreiber at September 19, 2026 at 18:27:47
• field bundle ( field bundle(rev # 20) | history )
  by Urs Schreiber at September 19, 2026 at 18:19:49
• Ian MacDonald Anderson ( Ian MacDonald Anderson(rev # 3) | history )
  by Urs Schreiber at September 19, 2026 at 18:19:01
• variational bicomplex ( variational bicomplex(rev # 60) | history )
  by Urs Schreiber at September 19, 2026 at 18:17:51
• variational calculus ( variational calculus(rev # 43) | history )
  by Urs Schreiber at September 19, 2026 at 17:56:30
• Gregg Zuckerman ( Gregg Zuckerman(rev # 7) | history )
  by Urs Schreiber at September 19, 2026 at 17:50:53
• fiber bundles in physics ( fiber bundles in physics(rev # 41) | history )
  by Urs Schreiber at September 19, 2026 at 17:38:38
• Felix Finster ( Felix Finster(rev # 4) | history )
  by Urs Schreiber at September 19, 2026 at 16:28:03
• globally hyperbolic Lorentzian manifold ( globally hyperbolic Lorentzian manifold(rev # 17) | history )
  by Urs Schreiber at September 19, 2026 at 16:27:22
• Maxwell's equations ( Maxwell's equations(rev # 30) | history )
  by Urs Schreiber at September 19, 2026 at 11:01:51
• Nicolas Ginoux ( Nicolas Ginoux(rev # 2) | history )
  by Urs Schreiber at September 19, 2026 at 11:00:53
• fundamental solution ( fundamental solution(rev # 15) | history )
  by Urs Schreiber at September 19, 2026 at 11:00:25
• John Frank Adams ( John Frank Adams(rev # 17) | history )
  by Urs Schreiber at September 19, 2026 at 10:32:08
• Brown representability theorem ( Brown representability theorem(rev # 54) | history )
  by Urs Schreiber at September 19, 2026 at 10:31:08
• Brown representability theorem ( Brown representability theorem(rev # 53) | history )
  by Urs Schreiber at September 19, 2026 at 09:13:36
• identifier ( identifier(rev # 3) | history )
  by David Roberts? at September 19, 2026 at 08:43:33
• M2-brane ( M2-brane(rev # 103) | history )
  by Urs Schreiber at September 18, 2026 at 14:48:37
• Alvaro Restuccia ( Alvaro Restuccia(rev # 3) | history )
  by Urs Schreiber at September 18, 2026 at 14:47:56
• Maria P. Garcia del Moral ( Maria P. Garcia del Moral(rev # 3) | history )
  by Urs Schreiber at September 18, 2026 at 14:47:31
• Joselen M. Peña
  by Urs Schreiber at September 18, 2026 at 14:47:14
• D=9 supergravity ( D=9 supergravity(rev # 6) | history )
  by Urs Schreiber at September 18, 2026 at 14:16:55
• massive type IIA string theory ( massive type IIA string theory(rev # 22) | history )
  by Urs Schreiber at September 18, 2026 at 14:11:51
• Maria P. Garcia del Moral ( Maria P. Garcia del Moral(rev # 2) | history )
  by Urs Schreiber at September 18, 2026 at 14:08:29
• Alvaro Restuccia ( Alvaro Restuccia(rev # 2) | history )
  by Urs Schreiber at September 18, 2026 at 14:03:09
• M2-brane ( M2-brane(rev # 102) | history )
  by Urs Schreiber at September 18, 2026 at 14:02:51
• Paul Aspinwall ( Paul Aspinwall(rev # 6) | history )
  by Urs Schreiber at September 18, 2026 at 13:39:07
• duality in string theory ( duality in string theory(rev # 42) | history )
  by Urs Schreiber at September 18, 2026 at 13:38:35
• M9-brane ( M9-brane(rev # 31) | history )
  by Urs Schreiber at September 18, 2026 at 13:29:58
• Duiliu-Emanuel Diaconescu ( Duiliu-Emanuel Diaconescu(rev # 5) | history )
  by Urs Schreiber at September 18, 2026 at 12:45:35
• Gregory Moore ( Gregory Moore(rev # 36) | history )
  by Urs Schreiber at September 18, 2026 at 12:32:03
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 60) | history )
  by Urs Schreiber at September 18, 2026 at 12:29:35
• S-duality ( S-duality(rev # 49) | history )
  by Urs Schreiber at September 18, 2026 at 12:21:54
• identifier ( identifier(rev # 2) | history )
  by Urs Schreiber at September 18, 2026 at 11:47:41
• identifier ( identifier(rev # 1) | history )
  by varkor at September 18, 2026 at 11:21:40
• Mina Aganagic ( Mina Aganagic(rev # 8) | history )
  by Urs Schreiber at September 18, 2026 at 11:20:27
• The World in Eleven Dimensions ( The World in Eleven Dimensions(rev # 15) | history )
  by Urs Schreiber at September 18, 2026 at 10:55:17
• black brane ( black brane(rev # 37) | history )
  by Urs Schreiber at September 18, 2026 at 10:48:31
• Kramers-Wannier duality ( Kramers-Wannier duality(rev # 6) | history )
  by Urs Schreiber at September 18, 2026 at 05:26:37
• John Iliopoulos ( John Iliopoulos(rev # 10) | history )
  by Urs Schreiber at September 18, 2026 at 05:23:04
• Gerard ’t Hooft ( Gerard ’t Hooft(rev # 18) | history )
  by Urs Schreiber at September 18, 2026 at 05:22:22
• Giry monad ( Giry monad(rev # 135) | history )
  by kirk_sturtz? at September 18, 2026 at 05:02:51
• Giry monad ( Giry monad(rev # 134) | history )
  by kirk_sturtz? at September 18, 2026 at 00:42:14
• Lie integration ( Lie integration(rev # 73) | history )
  by Urs Schreiber at September 17, 2026 at 15:08:06
• probability theory ( probability theory(rev # 52) | history )
  by Victor? at September 17, 2026 at 14:26:42
• hydrodynamics ( hydrodynamics(rev # 12) | history )
  by Urs Schreiber at September 17, 2026 at 13:38:12
• Nikita Nekrasov ( Nikita Nekrasov(rev # 6) | history )
  by Urs Schreiber at September 17, 2026 at 13:37:55
• Giry monad ( Giry monad(rev # 133) | history )
  by kirk_sturtz? at September 17, 2026 at 12:09:41
• massive type IIA supergravity ( massive type IIA supergravity(rev # 13) | history )
  by Urs Schreiber at September 17, 2026 at 11:36:05
• Peter May ( Peter May(rev # 35) | history )
  by Urs Schreiber at September 17, 2026 at 06:59:28