nLab Latest Revisions

• contractible space ( contractible space(rev # 21) | history )
  by Urs Schreiber at August 11, 2025 at 05:42:20
• contractible space ( contractible space(rev # 20) | history )
  by David Roberts? at August 11, 2025 at 04:15:38
• Tate twist ( Tate twist(rev # 6) | history )
  by Francesco Minnocci? at August 10, 2025 at 21:53:34
• integral Hodge conjecture ( integral Hodge conjecture(rev # 8) | history )
  by Francesco Minnocci? at August 10, 2025 at 19:32:04
• local site ( local site(rev # 5) | history )
  by Ben Eltschig? at August 10, 2025 at 18:53:06
• Chern-Weil theory ( Chern-Weil theory(rev # 32) | history )
  by Jesus Lopez? at August 10, 2025 at 16:25:35
• Yang-Mills equation ( Yang-Mills equation(rev # 8) | history )
  by Jesus Lopez? at August 10, 2025 at 15:34:55
• list of theses in category theory ( list of theses in category theory(rev # 69) | history )
  by varkor at August 10, 2025 at 11:39:01
• Grothendieck-Maltsiniotis infinity-category ( Grothendieck-Maltsiniotis infinity-category(rev # 9) | history )
  by Luc Saccoccio--Le Guennec? at August 10, 2025 at 11:35:17
• Spin(4) ( Spin(4)(rev # 15) | history )
  by Urs Schreiber at August 10, 2025 at 11:13:15
• bar construction ( bar construction(rev # 52) | history )
  by Urs Schreiber at August 10, 2025 at 10:53:09
• Birgit Richter ( Birgit Richter(rev # 7) | history )
  by Urs Schreiber at August 10, 2025 at 10:52:35
• bar construction ( bar construction(rev # 51) | history )
  by Qin Yuxuan? at August 10, 2025 at 05:36:28
• Peter Higgs ( Peter Higgs(rev # 2) | history )
  by Samuel Adrian Antz at August 9, 2025 at 20:58:09
• Robert Mills ( Robert Mills(rev # 3) | history )
  by Samuel Adrian Antz at August 9, 2025 at 20:57:57
• Chen Ning Yang ( Chen Ning Yang(rev # 18) | history )
  by Samuel Adrian Antz at August 9, 2025 at 20:57:45
• Nathan Seiberg ( Nathan Seiberg(rev # 13) | history )
  by Samuel Adrian Antz at August 9, 2025 at 20:54:42
• Edward Witten ( Edward Witten(rev # 31) | history )
  by Samuel Adrian Antz at August 9, 2025 at 20:53:57
• embedding of smooth manifolds into formal duals of R-algebras ( embedding of smooth manifolds into formal duals of R-algebras(rev # 40) | history )
  by Dmitri Pavlov at August 9, 2025 at 20:06:39
• duality between algebra and geometry ( duality between algebra and geometry(rev # 11) | history )
  by Dmitri Pavlov at August 9, 2025 at 20:05:57
• Yang-Mills-Higgs flow ( Yang-Mills-Higgs flow(rev # 2) | history )
  by Dmitri Pavlov at August 9, 2025 at 14:43:28
• Edward Witten ( Edward Witten(rev # 30) | history )
  by Todorovich? at August 9, 2025 at 13:19:01
• extension system ( extension system(rev # 18) | history )
  by Tomas? at August 9, 2025 at 11:27:06
• extension system ( extension system(rev # 17) | history )
  by Tomas? at August 9, 2025 at 10:52:30
• monad ( monad(rev # 150) | history )
  by Tomas? at August 9, 2025 at 10:25:06
• Liviu Nicolaescu ( Liviu Nicolaescu(rev # 3) | history )
  by Urs Schreiber at August 9, 2025 at 05:13:44
• Gauss-Bonnet theorem ( Gauss-Bonnet theorem(rev # 10) | history )
  by Urs Schreiber at August 9, 2025 at 05:10:28
• separator ( separator(rev # 33) | history )
  by Todd Trimble at August 9, 2025 at 02:29:36
• stable Yang-Mills-Higgs pair ( stable Yang-Mills-Higgs pair(rev # 4) | history )
  by Samuel Adrian Antz at August 9, 2025 at 00:26:24
• stable Yang-Mills connection ( stable Yang-Mills connection(rev # 4) | history )
  by Samuel Adrian Antz at August 9, 2025 at 00:25:04
• Yang-Mills-Higgs flow ( Yang-Mills-Higgs flow(rev # 1) | history )
  by Samuel Adrian Antz at August 9, 2025 at 00:15:42
• Yang-Mills flow
  by Samuel Adrian Antz at August 9, 2025 at 00:15:30
• Seiberg-Witten flow
  by Samuel Adrian Antz at August 8, 2025 at 23:59:43
• Yang-Mills-Higgs equations ( Yang-Mills-Higgs equations(rev # 3) | history )
  by Samuel Adrian Antz at August 8, 2025 at 23:56:12
• Yang-Mills equation ( Yang-Mills equation(rev # 7) | history )
  by Samuel Adrian Antz at August 8, 2025 at 23:49:29
• Seiberg-Witten invariant ( Seiberg-Witten invariant(rev # 2) | history )
  by Samuel Adrian Antz at August 8, 2025 at 23:44:15
• Seiberg-Witten equations ( Seiberg-Witten equations(rev # 2) | history )
  by Samuel Adrian Antz at August 8, 2025 at 23:26:17
• Liviu Nicolaescu ( Liviu Nicolaescu(rev # 2) | history )
  by Samuel Adrian Antz at August 8, 2025 at 23:07:59
• Seiberg-Witten equations ( Seiberg-Witten equations(rev # 1) | history )
  by Samuel Adrian Antz at August 8, 2025 at 17:59:06
• Seiberg-Witten invariant ( Seiberg-Witten invariant(rev # 1) | history )
  by Samuel Adrian Antz at August 8, 2025 at 17:57:43
• Seiberg-Witten theory ( Seiberg-Witten theory(rev # 31) | history )
  by Samuel Adrian Antz at August 8, 2025 at 17:38:52
• spin representation ( spin representation(rev # 64) | history )
  by Dmitri Pavlov at August 8, 2025 at 15:27:30
• Peripatetic Seminar on Sheaves and Logic ( Peripatetic Seminar on Sheaves and Logic(rev # 16) | history )
  by varkor at August 8, 2025 at 12:11:36
• separator ( separator(rev # 32) | history )
  by qschroed? at August 8, 2025 at 10:50:47
• Fred Richman ( Fred Richman(rev # 10) | history )
  by Toby Bartels at August 8, 2025 at 10:22:04
• limit of a function ( limit of a function(rev # 13) | history )
  by Toby Bartels at August 8, 2025 at 09:17:50
• 2-category equipped with proarrows ( 2-category equipped with proarrows(rev # 40) | history )
  by Tomas? at August 8, 2025 at 09:17:41
• profunctor ( profunctor(rev # 86) | history )
  by Tomas? at August 8, 2025 at 07:55:52
• model structure on simplicial Lie algebras ( model structure on simplicial Lie algebras(rev # 12) | history )
  by Tim Porter at August 7, 2025 at 16:43:20
• Jack Morava ( Jack Morava(rev # 18) | history )
  by Urs Schreiber at August 7, 2025 at 07:22:28
• prime spectrum of a symmetric monoidal stable (∞,1)-category ( prime spectrum of a symmetric monoidal stable (∞,1)-category(rev # 9) | history )
  by Urs Schreiber at August 7, 2025 at 07:19:55
• Jack Morava ( Jack Morava(rev # 17) | history )
  by Rod Mc Guire at August 7, 2025 at 05:40:17
• Wirthmüller context ( Wirthmüller context(rev # 55) | history )
  by Yaël Dillies? at August 6, 2025 at 18:25:18
• calculus of constructions ( calculus of constructions(rev # 19) | history )
  by Urs Schreiber at August 6, 2025 at 15:56:45
• Rocq ( Rocq(rev # 36) | history )
  by Urs Schreiber at August 6, 2025 at 15:53:43
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 41) | history )
  by Anabelian anonymous? at August 6, 2025 at 11:57:18
• anabelian geometry ( anabelian geometry(rev # 39) | history )
  by Anabelian anonymous? at August 6, 2025 at 11:50:13
• Amar Hadzihasanovic ( Amar Hadzihasanovic(rev # 7) | history )
  by Urs Schreiber at August 6, 2025 at 09:27:30
• sheafification ( sheafification(rev # 40) | history )
  by varkor at August 6, 2025 at 09:02:49
• Amar Hadzihasanovic ( Amar Hadzihasanovic(rev # 6) | history )
  by fosco? at August 6, 2025 at 07:25:43
• Fosco Loregian ( Fosco Loregian(rev # 22) | history )
  by fosco? at August 6, 2025 at 07:20:28
• Killing spinor ( Killing spinor(rev # 22) | history )
  by Urs Schreiber at August 6, 2025 at 07:20:08
• Carlos S. Shahbazi ( Carlos S. Shahbazi(rev # 6) | history )
  by Urs Schreiber at August 6, 2025 at 07:19:27
• exotic smooth structure ( exotic smooth structure(rev # 48) | history )
  by Urs Schreiber at August 6, 2025 at 07:12:11
• self-dual higher gauge theory ( self-dual higher gauge theory(rev # 75) | history )
  by Urs Schreiber at August 6, 2025 at 07:07:37
• Valeria de Paiva ( Valeria de Paiva(rev # 13) | history )
  by Urs Schreiber at August 6, 2025 at 07:04:01
• Harley Eades ( Harley Eades(rev # 4) | history )
  by Urs Schreiber at August 6, 2025 at 06:58:23
• temporal logic ( temporal logic(rev # 31) | history )
  by Urs Schreiber at August 6, 2025 at 06:53:20
• temporal logic ( temporal logic(rev # 30) | history )
  by Valeria de Paiva at August 5, 2025 at 18:33:33
• Rel ( Rel(rev # 36) | history )
  by varkor at August 5, 2025 at 14:04:19
• relation ( relation(rev # 50) | history )
  by varkor at August 5, 2025 at 14:03:00
• Andrej Bauer ( Andrej Bauer(rev # 10) | history )
  by Urs Schreiber at August 5, 2025 at 11:00:35
• realizability ( realizability(rev # 23) | history )
  by Urs Schreiber at August 5, 2025 at 10:58:55
• chromatic homotopy theory ( chromatic homotopy theory(rev # 49) | history )
  by Urs Schreiber at August 5, 2025 at 10:53:20
• Jack Morava ( Jack Morava(rev # 16) | history )
  by Urs Schreiber at August 5, 2025 at 10:52:32
• realizability ( realizability(rev # 22) | history )
  by Qin Yuxuan? at August 5, 2025 at 09:01:31
• sheafification ( sheafification(rev # 39) | history )
  by varkor at August 5, 2025 at 08:54:02
• fibration ( fibration(rev # 36) | history )
  by varkor at August 5, 2025 at 08:35:14
• Joseph Polchinski ( Joseph Polchinski(rev # 12) | history )
  by Urs Schreiber at August 5, 2025 at 07:07:44
• Bekenstein-Hawking entropy ( Bekenstein-Hawking entropy(rev # 41) | history )
  by Urs Schreiber at August 5, 2025 at 06:46:19
• philosophy of physics ( philosophy of physics(rev # 17) | history )
  by Urs Schreiber at August 5, 2025 at 06:41:51
• Jeremy Butterfield ( Jeremy Butterfield(rev # 7) | history )
  by Urs Schreiber at August 5, 2025 at 06:40:43
• Sebastian de Haro ( Sebastian de Haro(rev # 4) | history )
  by Urs Schreiber at August 5, 2025 at 06:40:15
• black holes in string theory ( black holes in string theory(rev # 63) | history )
  by Urs Schreiber at August 5, 2025 at 06:34:50
• hole argument ( hole argument(rev # 6) | history )
  by Urs Schreiber at August 5, 2025 at 06:33:07
• AdS-CFT correspondence ( AdS-CFT correspondence(rev # 184) | history )
  by Urs Schreiber at August 5, 2025 at 06:27:59
• M-theory ( M-theory(rev # 115) | history )
  by Urs Schreiber at August 5, 2025 at 06:26:39
• electric-magnetic duality ( electric-magnetic duality(rev # 26) | history )
  by Urs Schreiber at August 5, 2025 at 06:24:02
• confinement ( confinement(rev # 87) | history )
  by Urs Schreiber at August 5, 2025 at 06:22:08
• duality in string theory ( duality in string theory(rev # 39) | history )
  by Urs Schreiber at August 5, 2025 at 06:18:58
• duality in physics ( duality in physics(rev # 37) | history )
  by Urs Schreiber at August 5, 2025 at 06:17:12
• Gerald Höhn ( Gerald Höhn(rev # 4) | history )
  by Urs Schreiber at August 5, 2025 at 06:09:56
• Gerald Höhn ( Gerald Höhn(rev # 3) | history )
  by Urs Schreiber at August 5, 2025 at 06:05:30
• Monster group ( Monster group(rev # 28) | history )
  by Urs Schreiber at August 5, 2025 at 06:04:43
• Vassiliev invariant ( Vassiliev invariant(rev # 53) | history )
  by Urs Schreiber at August 5, 2025 at 05:56:43
• generalized (Eilenberg-Steenrod) cohomology ( generalized (Eilenberg-Steenrod) cohomology(rev # 95) | history )
  by Ben Eltschig? at August 5, 2025 at 03:41:06
• homotopy ( homotopy(rev # 37) | history )
  by Ben Eltschig? at August 5, 2025 at 01:11:45
• Introduction to Topological K-Theory ( Introduction to Topological K-Theory(rev # 9) | history )
  by Ben Eltschig? at August 5, 2025 at 01:10:47
• Introduction to Cobordism and Complex Oriented Cohomology ( Introduction to Cobordism and Complex Oriented Cohomology(rev # 107) | history )
  by Ben Eltschig? at August 5, 2025 at 01:08:57
• Introduction to Topology -- 2 ( Introduction to Topology -- 2(rev # 55) | history )
  by Ben Eltschig? at August 5, 2025 at 01:07:48