nLab Latest Revisions

• tower ( tower(rev # 10) | history )
  by Urs Schreiber at September 25, 2026 at 11:33:29
• Adel Bilal ( Adel Bilal(rev # 7) | history )
  by Urs Schreiber at September 25, 2026 at 05:05:04
• quantum anomaly ( quantum anomaly(rev # 69) | history )
  by Urs Schreiber at September 25, 2026 at 05:03:35
• tower ( tower(rev # 9) | history )
  by deomorxsy? at September 25, 2026 at 01:28:42
• M2-brane ( M2-brane(rev # 104) | history )
  by Urs Schreiber at September 24, 2026 at 13:15:32
• Daniel Kan ( Daniel Kan(rev # 26) | history )
  by Urs Schreiber at September 24, 2026 at 12:07:09
• William Dwyer ( William Dwyer(rev # 19) | history )
  by Urs Schreiber at September 24, 2026 at 12:06:39
• Postnikov system ( Postnikov system(rev # 56) | history )
  by Urs Schreiber at September 24, 2026 at 12:05:30
• Sandbox ( Sandbox(rev # 4070) | history )
  by Urs Schreiber at September 24, 2026 at 10:23:58
• D=10 supergravity ( D=10 supergravity(rev # 5) | history )
  by Urs Schreiber at September 24, 2026 at 10:12:48
• F1-brane ( F1-brane(rev # 5) | history )
  by Urs Schreiber at September 24, 2026 at 10:08:40
• Jean Bénabou ( Jean Bénabou(rev # 32) | history )
  by Urs Schreiber at September 24, 2026 at 07:41:50
• Azumaya algebra ( Azumaya algebra(rev # 23) | history )
  by Vincenzo Passariello? at September 24, 2026 at 07:33:15
• Masahito Yamazaki ( Masahito Yamazaki(rev # 7) | history )
  by Urs Schreiber at September 24, 2026 at 05:10:41
• 3d-3d correspondence ( 3d-3d correspondence(rev # 30) | history )
  by Urs Schreiber at September 24, 2026 at 05:10:10
• Jean Bénabou ( Jean Bénabou(rev # 31) | history )
  by deomorxsy? at September 24, 2026 at 03:01:18
• Giry monad ( Giry monad(rev # 138) | history )
  by kirk_sturtz? at September 24, 2026 at 00:43:42
• stochastic process ( stochastic process(rev # 19) | history )
  by kirk_sturtz? at September 24, 2026 at 00:42:19
• Fréchet manifold ( Fréchet manifold(rev # 35) | history )
  by Urs Schreiber at September 23, 2026 at 19:02:25
• infinite-dimensional manifold ( infinite-dimensional manifold(rev # 17) | history )
  by Urs Schreiber at September 23, 2026 at 19:01:56
• Alexander Schmeding ( Alexander Schmeding(rev # 14) | history )
  by Urs Schreiber at September 23, 2026 at 19:00:57
• Agda ( Agda(rev # 45) | history )
  by Evan Cavallo at September 23, 2026 at 19:00:51
• diffeological space ( diffeological space(rev # 98) | history )
  by Urs Schreiber at September 23, 2026 at 18:22:56
• manifold structure of mapping spaces ( manifold structure of mapping spaces(rev # 26) | history )
  by Urs Schreiber at September 23, 2026 at 17:57:40
• Fréchet manifold ( Fréchet manifold(rev # 34) | history )
  by Urs Schreiber at September 23, 2026 at 17:54:27
• Mark Losik ( Mark Losik(rev # 3) | history )
  by Urs Schreiber at September 23, 2026 at 17:54:00
• Agda ( Agda(rev # 44) | history )
  by Urs Schreiber at September 23, 2026 at 17:44:58
• diffeological space ( diffeological space(rev # 97) | history )
  by Urs Schreiber at September 23, 2026 at 17:24:13
• biproduct ( biproduct(rev # 54) | history )
  by Mohamed Barakat at September 23, 2026 at 14:14:57
• Dirac charge quantization ( Dirac charge quantization(rev # 54) | history )
  by Urs Schreiber at September 23, 2026 at 13:29:51
• Chen Ning Yang ( Chen Ning Yang(rev # 21) | history )
  by Urs Schreiber at September 23, 2026 at 13:01:11
• Tai Tsun Wu ( Tai Tsun Wu(rev # 3) | history )
  by Urs Schreiber at September 23, 2026 at 13:00:56
• Dirac monopole ( Dirac monopole(rev # 17) | history )
  by Urs Schreiber at September 23, 2026 at 13:00:43
• topos of types ( topos of types(rev # 10) | history )
  by Mamuka Jibladze at September 23, 2026 at 12:54:38
• D=9 supergravity ( D=9 supergravity(rev # 8) | history )
  by Urs Schreiber at September 23, 2026 at 12:11:46
• cyclic loop space ( cyclic loop space(rev # 17) | history )
  by Urs Schreiber at September 23, 2026 at 12:11:00
• Ashok Das ( Ashok Das(rev # 3) | history )
  by Urs Schreiber at September 23, 2026 at 12:08:03
• Tomas Ortin ( Tomas Ortin(rev # 14) | history )
  by Urs Schreiber at September 23, 2026 at 12:02:39
• Christopher Hull ( Christopher Hull(rev # 16) | history )
  by Urs Schreiber at September 23, 2026 at 12:02:08
• Eric Bergshoeff ( Eric Bergshoeff(rev # 24) | history )
  by Urs Schreiber at September 23, 2026 at 12:00:56
• Bianchi identity ( Bianchi identity(rev # 15) | history )
  by Urs Schreiber at September 23, 2026 at 08:38:02
• Cartan structural equations and Bianchi identities -- references ( Cartan structural equations and Bianchi identities -- references(rev # 3) | history )
  by Urs Schreiber at September 23, 2026 at 08:36:38
• Kan simplicial manifold ( Kan simplicial manifold(rev # 8) | history )
  by Urs Schreiber at September 23, 2026 at 07:47:56
• Lie integration ( Lie integration(rev # 74) | history )
  by Urs Schreiber at September 23, 2026 at 07:46:20
• cubical type theory ( cubical type theory(rev # 47) | history )
  by Robin Adams? at September 23, 2026 at 05:17:41
• Ralph Blumenhagen ( Ralph Blumenhagen(rev # 6) | history )
  by Urs Schreiber at September 23, 2026 at 05:14:00
• BFSS matrix model ( BFSS matrix model(rev # 93) | history )
  by Urs Schreiber at September 23, 2026 at 05:13:14
• large cardinal ( large cardinal(rev # 32) | history )
  by John Marlow? at September 22, 2026 at 20:19:45
• Mahlo cardinal ( Mahlo cardinal(rev # 4) | history )
  by John Marlow? at September 22, 2026 at 19:53:19
• large cardinal ( large cardinal(rev # 31) | history )
  by John Marlow? at September 22, 2026 at 19:33:20
• Reinhardt cardinal ( Reinhardt cardinal(rev # 10) | history )
  by John Marlow? at September 22, 2026 at 19:25:58
• Reinhardt cardinal ( Reinhardt cardinal(rev # 9) | history )
  by John Marlow? at September 22, 2026 at 18:37:27
• higher gauge field ( higher gauge field(rev # 33) | history )
  by Urs Schreiber at September 22, 2026 at 18:34:07
• Vivek Saxena ( Vivek Saxena(rev # 3) | history )
  by Urs Schreiber at September 22, 2026 at 18:31:34
• Gregory Moore ( Gregory Moore(rev # 37) | history )
  by Urs Schreiber at September 22, 2026 at 18:31:13
• 4T relation ( 4T relation(rev # 14) | history )
  by Urs Schreiber at September 22, 2026 at 14:22:03
• large cardinal ( large cardinal(rev # 30) | history )
  by John Marlow? at September 22, 2026 at 13:20:47
• ZFC ( ZFC(rev # 49) | history )
  by John Marlow? at September 22, 2026 at 13:17:09
• Mike Shulman ( Mike Shulman(rev # 58) | history )
  by John Marlow? at September 22, 2026 at 13:16:25
• material set theory ( material set theory(rev # 28) | history )
  by John Marlow? at September 22, 2026 at 13:16:13
• axiom of separation ( axiom of separation(rev # 29) | history )
  by John Marlow? at September 22, 2026 at 13:15:23
• Mostowski set theory ( Mostowski set theory(rev # 11) | history )
  by John Marlow? at September 22, 2026 at 13:15:08
• Reinhardt cardinal ( Reinhardt cardinal(rev # 8) | history )
  by John Marlow? at September 22, 2026 at 13:02:03
• Phillip Griffiths ( Phillip Griffiths(rev # 10) | history )
  by Urs Schreiber at September 22, 2026 at 12:59:09
• Robert Bryant ( Robert Bryant(rev # 13) | history )
  by Urs Schreiber at September 22, 2026 at 12:57:02
• exterior differential system ( exterior differential system(rev # 10) | history )
  by Urs Schreiber at September 22, 2026 at 12:56:36
• self-dual higher gauge theory ( self-dual higher gauge theory(rev # 80) | history )
  by Urs Schreiber at September 22, 2026 at 12:00:32
• 4T relation ( 4T relation(rev # 13) | history )
  by Jan Pulmann at September 22, 2026 at 11:58:53
• (infinity,1)-category ( (infinity,1)-category(rev # 113) | history )
  by Urs Schreiber at September 22, 2026 at 11:44:00
• Kan complex ( Kan complex(rev # 64) | history )
  by Urs Schreiber at September 22, 2026 at 11:37:58
• Maurer-Cartan equation ( Maurer-Cartan equation(rev # 20) | history )
  by Urs Schreiber at September 22, 2026 at 11:06:09
• nonabelian Poincaré duality ( nonabelian Poincaré duality(rev # 16) | history )
  by Urs Schreiber at September 22, 2026 at 10:45:17
• Chevalley-Eilenberg algebra ( Chevalley-Eilenberg algebra(rev # 41) | history )
  by Urs Schreiber at September 22, 2026 at 10:31:34
• Lie Groups, Lie Algebras, Cohomology and Some Applications in Physics ( Lie Groups, Lie Algebras, Cohomology and Some Applications in Physics(rev # 4) | history )
  by Urs Schreiber at September 22, 2026 at 10:30:04
• Maurer-Cartan equation ( Maurer-Cartan equation(rev # 19) | history )
  by Urs Schreiber at September 22, 2026 at 10:19:40
• Adrian Mathias ( Adrian Mathias(rev # 2) | history )
  by Urs Schreiber at September 22, 2026 at 08:41:12
• Emanuele Frittaion ( Emanuele Frittaion(rev # 2) | history )
  by Urs Schreiber at September 22, 2026 at 08:40:02
• Stanisław Ulam ( Stanisław Ulam(rev # 3) | history )
  by Urs Schreiber at September 22, 2026 at 08:38:29
• classifying space ( classifying space(rev # 91) | history )
  by Urs Schreiber at September 22, 2026 at 08:26:23
• topological K-theory ( topological K-theory(rev # 149) | history )
  by Urs Schreiber at September 22, 2026 at 08:22:10
• Eilenberg-Mac Lane space ( Eilenberg-Mac Lane space(rev # 46) | history )
  by Urs Schreiber at September 22, 2026 at 08:07:04
• classifying space ( classifying space(rev # 90) | history )
  by Urs Schreiber at September 22, 2026 at 07:54:36
• Algebraic Homotopy ( Algebraic Homotopy(rev # 7) | history )
  by Urs Schreiber at September 22, 2026 at 07:39:26
• field bundle ( field bundle(rev # 21) | history )
  by Urs Schreiber at September 22, 2026 at 07:36:36
• Adams spectral sequence ( Adams spectral sequence(rev # 179) | history )
  by Urs Schreiber at September 22, 2026 at 06:29:03
• Reinhardt cardinal ( Reinhardt cardinal(rev # 7) | history )
  by John Marlow? at September 22, 2026 at 06:21:32
• large cardinal ( large cardinal(rev # 29) | history )
  by John Marlow? at September 22, 2026 at 06:00:39
• Mostowski set theory ( Mostowski set theory(rev # 10) | history )
  by John Marlow? at September 22, 2026 at 05:18:39
• axiom of constructibility ( axiom of constructibility(rev # 7) | history )
  by John Marlow? at September 22, 2026 at 05:06:55
• Adrian Mathias ( Adrian Mathias(rev # 1) | history )
  by John Marlow? at September 22, 2026 at 05:05:58
• Berkeley cardinal ( Berkeley cardinal(rev # 3) | history )
  by John Marlow? at September 22, 2026 at 04:54:11
• club Berkeley cardinal ( club Berkeley cardinal(rev # 5) | history )
  by John Marlow? at September 22, 2026 at 04:53:48
• limit club Berkeley cardinal ( limit club Berkeley cardinal(rev # 5) | history )
  by John Marlow? at September 22, 2026 at 04:53:22
• large cardinal ( large cardinal(rev # 28) | history )
  by John Marlow? at September 22, 2026 at 04:05:02
• limit club Berkeley cardinal ( limit club Berkeley cardinal(rev # 4) | history )
  by John Marlow? at September 22, 2026 at 04:04:03
• club Berkeley cardinal ( club Berkeley cardinal(rev # 4) | history )
  by John Marlow? at September 22, 2026 at 04:03:49
• Emanuele Frittaion ( Emanuele Frittaion(rev # 1) | history )
  by John Marlow? at September 22, 2026 at 03:59:14
• Mostowski's collapsing lemma ( Mostowski's collapsing lemma(rev # 6) | history )
  by John Marlow? at September 22, 2026 at 03:58:15
• wholeness axiom
  by John Marlow? at September 22, 2026 at 03:31:35
• Hanul Jeon ( Hanul Jeon(rev # 3) | history )
  by John Marlow? at September 22, 2026 at 03:31:26