nLab Latest Revisions

• supersymmetry and Calabi-Yau manifolds ( supersymmetry and Calabi-Yau manifolds(rev # 24) | history )
  by Urs Schreiber at December 21, 2024 at 21:41:45
• Tambara functor ( Tambara functor(rev # 18) | history )
  by Urs Schreiber at December 21, 2024 at 16:00:57
• David Mehrle ( David Mehrle(rev # 2) | history )
  by Urs Schreiber at December 21, 2024 at 16:00:00
• Michael Hill ( Michael Hill(rev # 8) | history )
  by Urs Schreiber at December 21, 2024 at 15:59:36
• J. D. Quigley
  by Urs Schreiber at December 21, 2024 at 15:59:09
• Mark Mahowald ( Mark Mahowald(rev # 6) | history )
  by Urs Schreiber at December 21, 2024 at 15:53:42
• tmf ( tmf(rev # 72) | history )
  by Urs Schreiber at December 21, 2024 at 15:51:32
• Mark Behrens ( Mark Behrens(rev # 4) | history )
  by Urs Schreiber at December 21, 2024 at 15:51:04
• finite-dimensional complex orientation and Ravenel's spectra -- references ( finite-dimensional complex orientation and Ravenel's spectra -- references(rev # 8) | history )
  by Urs Schreiber at December 21, 2024 at 15:49:19
• homotopy groups of spheres ( homotopy groups of spheres(rev # 60) | history )
  by Urs Schreiber at December 21, 2024 at 15:47:07
• Tambara functor ( Tambara functor(rev # 17) | history )
  by Natalie Stewart at December 21, 2024 at 14:43:30
• configuration space of points ( configuration space of points(rev # 152) | history )
  by Urs Schreiber at December 21, 2024 at 10:04:35
• Sadok Kallel ( Sadok Kallel(rev # 10) | history )
  by Urs Schreiber at December 21, 2024 at 09:58:41
• quantum supremacy ( quantum supremacy(rev # 22) | history )
  by Urs Schreiber at December 20, 2024 at 21:21:55
• Yan Zhang ( Yan Zhang(rev # 4) | history )
  by Urs Schreiber at December 20, 2024 at 20:51:19
• set theory versus dependent type theory ( set theory versus dependent type theory(rev # 4) | history )
  by Anonymouse? at December 20, 2024 at 20:50:14
• adinkra ( adinkra(rev # 23) | history )
  by Urs Schreiber at December 20, 2024 at 20:49:57
• non-perturbative quantum field theory ( non-perturbative quantum field theory(rev # 34) | history )
  by Urs Schreiber at December 20, 2024 at 20:44:21
• Roberto Percacci ( Roberto Percacci(rev # 2) | history )
  by Urs Schreiber at December 20, 2024 at 20:43:53
• fiber bundles in physics ( fiber bundles in physics(rev # 34) | history )
  by Urs Schreiber at December 20, 2024 at 20:42:54
• quantum anomaly ( quantum anomaly(rev # 67) | history )
  by Urs Schreiber at December 20, 2024 at 20:42:15
• instanton ( instanton(rev # 40) | history )
  by Urs Schreiber at December 20, 2024 at 20:41:30
• monopole ( monopole(rev # 25) | history )
  by Urs Schreiber at December 20, 2024 at 20:41:01
• vortex ( vortex(rev # 12) | history )
  by Urs Schreiber at December 20, 2024 at 20:40:28
• skyrmion ( skyrmion(rev # 103) | history )
  by Urs Schreiber at December 20, 2024 at 20:39:47
• soliton ( soliton(rev # 20) | history )
  by Urs Schreiber at December 20, 2024 at 20:38:59
• acoustics ( acoustics(rev # 3) | history )
  by Urs Schreiber at December 20, 2024 at 20:30:48
• strongly predicative dependent type theory
  by Anonymouse? at December 20, 2024 at 18:09:10
• geometric type theory ( geometric type theory(rev # 12) | history )
  by Anonymouse? at December 20, 2024 at 17:21:45
• impredicative dependent type theory ( impredicative dependent type theory(rev # 4) | history )
  by Anonymouse? at December 20, 2024 at 17:20:54
• dependent type theory ( dependent type theory(rev # 45) | history )
  by Anonymouse? at December 20, 2024 at 17:20:24
• arithmetic pretopos ( arithmetic pretopos(rev # 17) | history )
  by Anonymouse? at December 20, 2024 at 17:19:25
• ΠW-pretopos ( ΠW-pretopos(rev # 8) | history )
  by Anonymouse? at December 20, 2024 at 17:18:40
• adinkra ( adinkra(rev # 22) | history )
  by adamnemecek? at December 20, 2024 at 17:09:14
• MOND ( MOND(rev # 28) | history )
  by Urs Schreiber at December 20, 2024 at 14:32:22
• predicative mathematics ( predicative mathematics(rev # 40) | history )
  by Anonymouse? at December 20, 2024 at 13:18:52
• lax functor ( lax functor(rev # 25) | history )
  by Jinyi Wang? at December 20, 2024 at 12:29:41
• microscopic AdS-CFT via p-brane sigma-models -- references ( microscopic AdS-CFT via p-brane sigma-models -- references(rev # 8) | history )
  by Urs Schreiber at December 20, 2024 at 11:09:56
• Polyakov gauge-string duality -- references ( Polyakov gauge-string duality -- references(rev # 14) | history )
  by Urs Schreiber at December 20, 2024 at 11:07:12
• cosmic inflation ( cosmic inflation(rev # 40) | history )
  by Urs Schreiber at December 20, 2024 at 10:49:44
• Alberto Cattaneo ( Alberto Cattaneo(rev # 16) | history )
  by Urs Schreiber at December 20, 2024 at 10:46:31
• D=3 supergravity ( D=3 supergravity(rev # 19) | history )
  by Urs Schreiber at December 20, 2024 at 10:45:39
• Bernard de Wit ( Bernard de Wit(rev # 10) | history )
  by Urs Schreiber at December 20, 2024 at 10:45:18
• Hermann Nicolai ( Hermann Nicolai(rev # 35) | history )
  by Urs Schreiber at December 20, 2024 at 10:44:28
• James Simons ( James Simons(rev # 5) | history )
  by Urs Schreiber at December 20, 2024 at 10:37:51
• Grant N. Remmen ( Grant N. Remmen(rev # 1) | history )
  by Urs Schreiber at December 20, 2024 at 10:32:19
• Clifford Cheung
  by Urs Schreiber at December 20, 2024 at 10:30:03
• KLT relations ( KLT relations(rev # 26) | history )
  by Urs Schreiber at December 20, 2024 at 10:28:50
• phonon ( phonon(rev # 3) | history )
  by Urs Schreiber at December 20, 2024 at 10:28:13
• soft graviton theorem ( soft graviton theorem(rev # 11) | history )
  by Urs Schreiber at December 20, 2024 at 10:27:33
• string theory results applied elsewhere ( string theory results applied elsewhere(rev # 30) | history )
  by Urs Schreiber at December 20, 2024 at 10:26:29
• Radu Roiban ( Radu Roiban(rev # 8) | history )
  by Urs Schreiber at December 20, 2024 at 10:25:50
• Zvi Bern ( Zvi Bern(rev # 7) | history )
  by Urs Schreiber at December 20, 2024 at 10:25:10
• gravitational wave ( gravitational wave(rev # 29) | history )
  by Urs Schreiber at December 20, 2024 at 10:24:49
• scattering amplitude ( scattering amplitude(rev # 42) | history )
  by Urs Schreiber at December 20, 2024 at 10:23:06
• Veneziano amplitude ( Veneziano amplitude(rev # 11) | history )
  by Urs Schreiber at December 20, 2024 at 10:20:17
• weak gravity conjecture ( weak gravity conjecture(rev # 13) | history )
  by Urs Schreiber at December 20, 2024 at 10:18:42
• Terence Tao ( Terence Tao(rev # 10) | history )
  by Urs Schreiber at December 20, 2024 at 10:00:05
• differential geometry and algebraic geometry ( differential geometry and algebraic geometry(rev # 2) | history )
  by Urs Schreiber at December 20, 2024 at 05:00:14
• Terence Tao ( Terence Tao(rev # 9) | history )
  by Urs Schreiber at December 20, 2024 at 04:33:55
• proof assistant ( proof assistant(rev # 30) | history )
  by Urs Schreiber at December 20, 2024 at 04:33:30
• admissible Archimedean ordered field
  by Anonymouse? at December 20, 2024 at 04:25:48
• sigma-frame of propositions
  by Anonymouse? at December 20, 2024 at 04:10:36
• Archimedean ordered field ( Archimedean ordered field(rev # 32) | history )
  by Anonymouse? at December 20, 2024 at 04:01:33
• type of propositions ( type of propositions(rev # 44) | history )
  by Anonymouse? at December 20, 2024 at 03:57:57
• constructive analysis ( constructive analysis(rev # 26) | history )
  by Anonymouse? at December 20, 2024 at 03:44:30
• quantum Schubert cell ( quantum Schubert cell(rev # 5) | history )
  by valeria de paiva? at December 20, 2024 at 03:41:20
• sigma-frame ( sigma-frame(rev # 20) | history )
  by Anonymouse? at December 20, 2024 at 03:24:24
• class equation ( class equation(rev # 20) | history )
  by John Baez at December 20, 2024 at 00:31:18
• Greenberg scheme ( Greenberg scheme(rev # 4) | history )
  by Will? at December 19, 2024 at 21:07:46
• Haskell ( Haskell(rev # 27) | history )
  by Urs Schreiber at December 19, 2024 at 21:03:04
• higher-order logic as a dependent type theory ( higher-order logic as a dependent type theory(rev # 4) | history )
  by Anonymouse? at December 19, 2024 at 18:50:13
• monadic decomposition ( monadic decomposition(rev # 5) | history )
  by Eigil Rischel at December 19, 2024 at 18:18:56
• higher-order logic as a dependent type theory ( higher-order logic as a dependent type theory(rev # 3) | history )
  by Anonymouse? at December 19, 2024 at 17:19:16
• higher-order logic as a dependent type theory ( higher-order logic as a dependent type theory(rev # 2) | history )
  by Anonymouse? at December 19, 2024 at 15:43:18
• Karoubi K-theory ( Karoubi K-theory(rev # 13) | history )
  by Urs Schreiber at December 19, 2024 at 15:23:10
• HOL ( HOL(rev # 10) | history )
  by Urs Schreiber at December 19, 2024 at 15:18:06
• higher-order logic as a dependent type theory ( higher-order logic as a dependent type theory(rev # 1) | history )
  by Anonymouse? at December 19, 2024 at 15:03:49
• HOL ( HOL(rev # 9) | history )
  by Anonymouse? at December 19, 2024 at 14:58:45
• Sandbox ( Sandbox(rev # 3492) | history )
  by Urs Schreiber at December 19, 2024 at 14:54:28
• propositions as some types ( propositions as some types(rev # 12) | history )
  by Anonymouse? at December 19, 2024 at 14:45:24
• HOL ( HOL(rev # 8) | history )
  by Anonymouse? at December 19, 2024 at 14:23:30
• Silviu S. Pufu ( Silviu S. Pufu(rev # 2) | history )
  by Urs Schreiber at December 19, 2024 at 09:41:19
• Shai Chester ( Shai Chester(rev # 9) | history )
  by Urs Schreiber at December 19, 2024 at 09:40:53
• conformal bootstrap ( conformal bootstrap(rev # 30) | history )
  by Urs Schreiber at December 19, 2024 at 09:39:54
• fiber integration ( fiber integration(rev # 47) | history )
  by Urs Schreiber at December 19, 2024 at 09:31:03
• operad ( operad(rev # 96) | history )
  by John Baez at December 19, 2024 at 06:25:58
• differential geometry and algebraic geometry ( differential geometry and algebraic geometry(rev # 1) | history )
  by dx? at December 19, 2024 at 06:22:27
• fiber integration ( fiber integration(rev # 46) | history )
  by dx? at December 19, 2024 at 06:10:22
• multicategory ( multicategory(rev # 39) | history )
  by John Baez at December 19, 2024 at 06:02:06
• dependent type theory ( dependent type theory(rev # 44) | history )
  by Anonymouse? at December 19, 2024 at 04:29:46
• propositional logic as a dependent type theory ( propositional logic as a dependent type theory(rev # 11) | history )
  by Anonymouse? at December 19, 2024 at 04:28:56
• higher-order logic ( higher-order logic(rev # 65) | history )
  by Anonymouse? at December 19, 2024 at 04:28:28
• Zariski topology ( Zariski topology(rev # 31) | history )
  by Dmitri Pavlov at December 19, 2024 at 01:10:47
• operad ( operad(rev # 95) | history )
  by John Baez at December 18, 2024 at 22:49:00
• module ( module(rev # 90) | history )
  by Jesus Lopez? at December 18, 2024 at 19:44:10
• quaternionic projective space ( quaternionic projective space(rev # 11) | history )
  by Urs Schreiber at December 18, 2024 at 19:39:32
• Chomsky hierarchy ( Chomsky hierarchy(rev # 3) | history )
  by Julius? at December 18, 2024 at 18:55:02
• observer ( observer(rev # 3) | history )
  by Urs Schreiber at December 18, 2024 at 16:42:38
• type of finite types ( type of finite types(rev # 11) | history )
  by Anonymouse? at December 18, 2024 at 13:46:46