nLab Latest Revisions

• Hecke correspondence ( Hecke correspondence(rev # 5) | history )
  by Gene? at September 7, 2026 at 09:20:38
• automorphism infinity-group ( automorphism infinity-group(rev # 15) | history )
  by Urs Schreiber at September 7, 2026 at 04:17:10
• representation stability ( representation stability(rev # 10) | history )
  by Urs Schreiber at September 7, 2026 at 04:10:00
• expectation value ( expectation value(rev # 10) | history )
  by kirk_sturtz? at September 7, 2026 at 00:31:57
• Giry monad ( Giry monad(rev # 124) | history )
  by kirk_sturtz? at September 7, 2026 at 00:27:37
• Giry monad ( Giry monad(rev # 123) | history )
  by kirk_sturtz? at September 6, 2026 at 23:52:50
• stable cohomotopy ( stable cohomotopy(rev # 42) | history )
  by Urs Schreiber at September 6, 2026 at 20:19:08
• Stable homotopy and generalised homology ( Stable homotopy and generalised homology(rev # 27) | history )
  by Urs Schreiber at September 6, 2026 at 20:18:43
• infinity-group of units ( infinity-group of units(rev # 46) | history )
  by Urs Schreiber at September 6, 2026 at 19:44:01
• universal coefficient theorem ( universal coefficient theorem(rev # 47) | history )
  by Isaac Cheng? at September 6, 2026 at 16:45:47
• globally hyperbolic Lorentzian manifold ( globally hyperbolic Lorentzian manifold(rev # 16) | history )
  by Urs Schreiber at September 6, 2026 at 13:47:05
• Giry monad ( Giry monad(rev # 122) | history )
  by kirk_sturtz? at September 6, 2026 at 11:20:10
• Giry monad ( Giry monad(rev # 121) | history )
  by kirk_sturtz? at September 6, 2026 at 10:02:21
• Giry monad ( Giry monad(rev # 120) | history )
  by kirk_sturtz? at September 6, 2026 at 01:24:45
• Giry monad ( Giry monad(rev # 119) | history )
  by kirk_sturtz? at September 5, 2026 at 23:30:53
• Brandon Carter
  by Urs Schreiber at September 5, 2026 at 20:50:21
• Kerr-Newman spacetime ( Kerr-Newman spacetime(rev # 4) | history )
  by Urs Schreiber at September 5, 2026 at 20:49:58
• matching KN-black holes to elementary particles -- references ( matching KN-black holes to elementary particles -- references(rev # 2) | history )
  by Urs Schreiber at September 5, 2026 at 20:34:24
• Sandbox ( Sandbox(rev # 4068) | history )
  by Urs Schreiber at September 5, 2026 at 20:29:21
• multiverse (physics) ( multiverse (physics)(rev # 22) | history )
  by Urs Schreiber at September 5, 2026 at 20:28:44
• Kerr spacetime ( Kerr spacetime(rev # 26) | history )
  by Urs Schreiber at September 5, 2026 at 20:26:43
• black hole ( black hole(rev # 44) | history )
  by Urs Schreiber at September 5, 2026 at 19:46:46
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 55) | history )
  by Urs Schreiber at September 5, 2026 at 15:44:49
• multiplicative disjunction ( multiplicative disjunction(rev # 6) | history )
  by Mark John Hopkins at September 5, 2026 at 08:42:03
• axiom of choice ( axiom of choice(rev # 99) | history )
  by Urs Schreiber at September 5, 2026 at 05:05:00
• axiom of choice ( axiom of choice(rev # 98) | history )
  by Άπειρον? at September 4, 2026 at 22:50:31
• nice topological space ( nice topological space(rev # 30) | history )
  by jackhkeynes? at September 4, 2026 at 21:07:30
• Victor Ginzburg ( Victor Ginzburg(rev # 12) | history )
  by Kenta Suzuki? at September 4, 2026 at 21:02:48
• empty 246 ( empty 246(rev # 8) | history )
  by Urs Schreiber at September 4, 2026 at 20:51:33
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 54) | history )
  by Urs Schreiber at September 4, 2026 at 20:35:51
• empty 246 ( empty 246(rev # 7) | history )
  by Dave Erickson? at September 4, 2026 at 19:58:57
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 53) | history )
  by Urs Schreiber at September 4, 2026 at 19:49:39
• Nathan Seiberg ( Nathan Seiberg(rev # 16) | history )
  by Urs Schreiber at September 4, 2026 at 19:36:18
• Gregory Moore ( Gregory Moore(rev # 35) | history )
  by Urs Schreiber at September 4, 2026 at 19:35:33
• Juan Maldacena ( Juan Maldacena(rev # 27) | history )
  by Urs Schreiber at September 4, 2026 at 19:30:55
• empty 246 ( empty 246(rev # 6) | history )
  by Dave Erickson? at September 4, 2026 at 19:06:00
• computational type theory ( computational type theory(rev # 11) | history )
  by deomorxsy? at September 4, 2026 at 17:29:05
• Graeme Segal ( Graeme Segal(rev # 34) | history )
  by Urs Schreiber at September 4, 2026 at 14:02:27
• Michael Atiyah ( Michael Atiyah(rev # 55) | history )
  by Urs Schreiber at September 4, 2026 at 14:01:47
• twisted K-theory ( twisted K-theory(rev # 80) | history )
  by Urs Schreiber at September 4, 2026 at 14:00:50
• Atiyah–Hirzebruch spectral sequence ( Atiyah–Hirzebruch spectral sequence(rev # 43) | history )
  by Urs Schreiber at September 4, 2026 at 14:00:23
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 52) | history )
  by Urs Schreiber at September 4, 2026 at 11:21:58
• sigma-complete Heyting algebra ( sigma-complete Heyting algebra(rev # 4) | history )
  by Jonas Frey at September 4, 2026 at 11:02:42
• cohomology operation ( cohomology operation(rev # 33) | history )
  by Urs Schreiber at September 4, 2026 at 09:54:02
• cancellative category ( cancellative category(rev # 6) | history )
  by Thomas Holder at September 4, 2026 at 08:27:06
• rational homotopy theory ( rational homotopy theory(rev # 148) | history )
  by Urs Schreiber at September 4, 2026 at 07:59:29
• cancellative category ( cancellative category(rev # 5) | history )
  by varkor at September 4, 2026 at 06:36:07
• Luuk Stehouwer ( Luuk Stehouwer(rev # 14) | history )
  by Urs Schreiber at September 4, 2026 at 06:09:40
• K-theory ( K-theory(rev # 40) | history )
  by Urs Schreiber at September 4, 2026 at 06:08:48
• Fabian Hahner ( Fabian Hahner(rev # 4) | history )
  by Urs Schreiber at September 4, 2026 at 06:00:23
• topologically twisted supergravity ( topologically twisted supergravity(rev # 5) | history )
  by Urs Schreiber at September 4, 2026 at 05:59:33
• flux tube ( flux tube(rev # 15) | history )
  by Urs Schreiber at September 4, 2026 at 05:54:09
• Lázaro Orlando Rodríguez Díaz ( Lázaro Orlando Rodríguez Díaz(rev # 2) | history )
  by Urs Schreiber at September 3, 2026 at 19:20:11
• Remy van Dobben de Bruyn ( Remy van Dobben de Bruyn(rev # 2) | history )
  by Urs Schreiber at September 3, 2026 at 19:18:47
• Jacobian conjecture ( Jacobian conjecture(rev # 10) | history )
  by Urs Schreiber at September 3, 2026 at 19:15:57
• fractional D-brane ( fractional D-brane(rev # 32) | history )
  by Urs Schreiber at September 3, 2026 at 18:54:58
• Simon Burton ( Simon Burton(rev # 4) | history )
  by Urs Schreiber at September 3, 2026 at 18:52:02
• Alexander Grothendieck ( Alexander Grothendieck(rev # 39) | history )
  by Luca Leon Happel? at September 3, 2026 at 18:00:28
• Jacobian conjecture ( Jacobian conjecture(rev # 9) | history )
  by algebraic geometer at September 3, 2026 at 15:40:53
• Lázaro Orlando Rodríguez Díaz ( Lázaro Orlando Rodríguez Díaz(rev # 1) | history )
  by algebraic geometer at September 3, 2026 at 15:38:29
• locale of real numbers ( locale of real numbers(rev # 43) | history )
  by Jonas Frey at September 3, 2026 at 15:13:40
• Remy van Dobben de Bruyn ( Remy van Dobben de Bruyn(rev # 1) | history )
  by algebraic geometer at September 3, 2026 at 14:50:25
• Jacobian conjecture ( Jacobian conjecture(rev # 8) | history )
  by algebraic geometer at September 3, 2026 at 14:49:16
• infinitary tensor product ( infinitary tensor product(rev # 8) | history )
  by Elías Guisado? at September 3, 2026 at 12:21:06
• Giry monad ( Giry monad(rev # 118) | history )
  by kirk_sturtz? at September 3, 2026 at 11:36:04
• Nicolai map ( Nicolai map(rev # 10) | history )
  by Urs Schreiber at September 3, 2026 at 05:30:30
• arithmetical hierarchy ( arithmetical hierarchy(rev # 6) | history )
  by Jean-Philippe Laurant? at September 2, 2026 at 19:18:31
• geodesic ( geodesic(rev # 12) | history )
  by Urs Schreiber at September 2, 2026 at 14:31:15
• join of simplicial sets ( join of simplicial sets(rev # 63) | history )
  by Jasper? at September 2, 2026 at 12:42:05
• infinite-dimensional manifold ( infinite-dimensional manifold(rev # 16) | history )
  by Urs Schreiber at September 2, 2026 at 11:15:18
• manifold structure of mapping spaces ( manifold structure of mapping spaces(rev # 22) | history )
  by Urs Schreiber at September 2, 2026 at 11:14:31
• Wilhelm Klingenberg
  by Urs Schreiber at September 2, 2026 at 10:59:36
• geodesic ( geodesic(rev # 11) | history )
  by Urs Schreiber at September 2, 2026 at 10:48:05
• Lennart Meier ( Lennart Meier(rev # 3) | history )
  by Urs Schreiber at September 2, 2026 at 10:37:27
• Caterina Consani ( Caterina Consani(rev # 2) | history )
  by Urs Schreiber at September 2, 2026 at 06:46:20
• Alain Connes ( Alain Connes(rev # 19) | history )
  by Urs Schreiber at September 2, 2026 at 06:45:51
• Spec(Z) ( Spec(Z)(rev # 19) | history )
  by Urs Schreiber at September 2, 2026 at 06:44:53
• Terry Gannon ( Terry Gannon(rev # 6) | history )
  by Urs Schreiber at September 2, 2026 at 06:24:28
• vertex operator algebra ( vertex operator algebra(rev # 69) | history )
  by Urs Schreiber at September 2, 2026 at 06:23:56
• Giry monad ( Giry monad(rev # 117) | history )
  by kirk_sturtz? at September 2, 2026 at 00:55:43
• Giry monad ( Giry monad(rev # 116) | history )
  by kirk_sturtz? at September 1, 2026 at 23:15:01
• Morse theory ( Morse theory(rev # 24) | history )
  by Urs Schreiber at September 1, 2026 at 18:26:48
• harmonic map ( harmonic map(rev # 14) | history )
  by Urs Schreiber at September 1, 2026 at 18:22:06
• Alexandru Oancea
  by Urs Schreiber at September 1, 2026 at 18:20:38
• Wolfgang Ziller ( Wolfgang Ziller(rev # 5) | history )
  by Urs Schreiber at September 1, 2026 at 18:18:00
• Richard Palais ( Richard Palais(rev # 7) | history )
  by Urs Schreiber at September 1, 2026 at 18:15:04
• Stephen Smale ( Stephen Smale(rev # 3) | history )
  by Urs Schreiber at September 1, 2026 at 18:13:00
• Morse theory ( Morse theory(rev # 23) | history )
  by Urs Schreiber at September 1, 2026 at 17:34:20
• caloron correspondence ( caloron correspondence(rev # 7) | history )
  by Urs Schreiber at September 1, 2026 at 15:02:06
• absolutely dense functor ( absolutely dense functor(rev # 10) | history )
  by varkor at September 1, 2026 at 14:48:02
• cyclic loop space ( cyclic loop space(rev # 16) | history )
  by Urs Schreiber at September 1, 2026 at 14:05:18
• Giry monad ( Giry monad(rev # 115) | history )
  by kirk_sturtz? at September 1, 2026 at 13:41:54
• Renormalization and Effective Field Theory ( Renormalization and Effective Field Theory(rev # 7) | history )
  by Urs Schreiber at September 1, 2026 at 08:34:38
• canonical quantization of gauge theories -- references ( canonical quantization of gauge theories -- references(rev # 3) | history )
  by Urs Schreiber at September 1, 2026 at 08:17:17
• type II supergravity ( type II supergravity(rev # 34) | history )
  by Urs Schreiber at September 1, 2026 at 08:01:35
• D=2 Yang-Mills theory ( D=2 Yang-Mills theory(rev # 21) | history )
  by Urs Schreiber at September 1, 2026 at 07:45:12
• superconducting islands in FQH systems -- references ( superconducting islands in FQH systems -- references(rev # 9) | history )
  by Urs Schreiber at September 1, 2026 at 06:57:07
• (infinity,n)-category of correspondences ( (infinity,n)-category of correspondences(rev # 39) | history )
  by Urs Schreiber at September 1, 2026 at 04:53:14
• dagger category ( dagger category(rev # 88) | history )
  by Urs Schreiber at September 1, 2026 at 04:50:51
• Tilman Bauer ( Tilman Bauer(rev # 6) | history )
  by Martin Brandenburg at August 31, 2026 at 21:25:40