nLab Latest Revisions

• Xiao-Liang Qi ( Xiao-Liang Qi(rev # 8) | history )
  by Urs Schreiber at September 30, 2026 at 16:37:18
• Shou-Cheng Zhang ( Shou-Cheng Zhang(rev # 8) | history )
  by Urs Schreiber at September 30, 2026 at 16:36:43
• Chao-Xing Liu ( Chao-Xing Liu(rev # 3) | history )
  by Urs Schreiber at September 30, 2026 at 16:36:19
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 61) | history )
  by Urs Schreiber at September 30, 2026 at 16:36:01
• Bloch's theorem ( Bloch's theorem(rev # 13) | history )
  by Urs Schreiber at September 30, 2026 at 16:25:43
• Hendrik A. Kramers
  by Urs Schreiber at September 30, 2026 at 16:24:17
• Gregory H. Wannier ( Gregory H. Wannier(rev # 2) | history )
  by Urs Schreiber at September 30, 2026 at 16:21:57
• Kramers-Wannier duality ( Kramers-Wannier duality(rev # 7) | history )
  by Urs Schreiber at September 30, 2026 at 16:21:30
• abelian Chern-Simons for fractional quantum Hall effect -- references ( abelian Chern-Simons for fractional quantum Hall effect -- references(rev # 39) | history )
  by Urs Schreiber at September 30, 2026 at 14:33:37
• created limit ( created limit(rev # 27) | history )
  by varkor at September 30, 2026 at 13:12:09
• Nikita Golub ( Nikita Golub(rev # 3) | history )
  by Urs Schreiber at September 30, 2026 at 08:23:54
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 61) | history )
  by Urs Schreiber at September 30, 2026 at 08:15:13
• six operations ( six operations(rev # 55) | history )
  by Urs Schreiber at September 30, 2026 at 06:14:55
• D=12 supergravity ( D=12 supergravity(rev # 19) | history )
  by Urs Schreiber at September 29, 2026 at 19:29:13
• quantum metric ( quantum metric(rev # 1) | history )
  by Urs Schreiber at September 29, 2026 at 18:15:37
• Bruno Mera ( Bruno Mera(rev # 3) | history )
  by Urs Schreiber at September 29, 2026 at 17:33:30
• Frédéric Piéchon ( Frédéric Piéchon(rev # 2) | history )
  by Urs Schreiber at September 29, 2026 at 17:13:33
• Gérard Vallée
  by Urs Schreiber at September 29, 2026 at 16:57:04
• Jean-Pierre Provost
  by Urs Schreiber at September 29, 2026 at 16:56:23
• Berry connection ( Berry connection(rev # 21) | history )
  by Urs Schreiber at September 29, 2026 at 16:53:33
• Fubini-Study metric ( Fubini-Study metric(rev # 6) | history )
  by Urs Schreiber at September 29, 2026 at 16:47:43
• Sandbox ( Sandbox(rev # 4072) | history )
  by Urs Schreiber at September 29, 2026 at 16:44:15
• William K. Wootters ( William K. Wootters(rev # 2) | history )
  by Urs Schreiber at September 29, 2026 at 16:36:46
• Navier-Stokes equation ( Navier-Stokes equation(rev # 8) | history )
  by Urs Schreiber at September 29, 2026 at 15:45:53
• Navier-Stokes equation ( Navier-Stokes equation(rev # 7) | history )
  by Mark Anderson? at September 29, 2026 at 13:33:04
• hierarchy of universes ( hierarchy of universes(rev # 16) | history )
  by Urs Schreiber at September 29, 2026 at 11:48:58
• Presburger arithmetic ( Presburger arithmetic(rev # 5) | history )
  by Urs Schreiber at September 29, 2026 at 11:48:10
• Presburger arithmetic ( Presburger arithmetic(rev # 4) | history )
  by David Roberts? at September 29, 2026 at 10:41:32
• five lemma ( five lemma(rev # 28) | history )
  by perezl.alonso at September 29, 2026 at 10:07:47
• Lie integration ( Lie integration(rev # 76) | history )
  by Urs Schreiber at September 29, 2026 at 09:03:50
• Masahito Hasegawa ( Masahito Hasegawa(rev # 3) | history )
  by Urs Schreiber at September 29, 2026 at 08:53:27
• fixed point operator ( fixed point operator(rev # 6) | history )
  by Urs Schreiber at September 29, 2026 at 08:53:01
• exact square ( exact square(rev # 20) | history )
  by Evan Cavallo at September 29, 2026 at 08:39:28
• D=12 supergravity ( D=12 supergravity(rev # 18) | history )
  by Urs Schreiber at September 29, 2026 at 07:40:36
• Dedekind cut ( Dedekind cut(rev # 38) | history )
  by Sridhar Ramesh? at September 29, 2026 at 06:19:58
• fixed point operator ( fixed point operator(rev # 5) | history )
  by deomorxsy? at September 29, 2026 at 04:39:44
• pushout ( pushout(rev # 34) | history )
  by Cluster Duck123? at September 28, 2026 at 17:42:37
• 2-category ( 2-category(rev # 68) | history )
  by Andreas Nuyts at September 28, 2026 at 13:25:34
• Freedman classification ( Freedman classification(rev # 4) | history )
  by Samuel Adrian Antz at September 28, 2026 at 09:24:01
• ionad ( ionad(rev # 27) | history )
  by Vincenzo Passariello? at September 28, 2026 at 09:21:22
• Narasimhan–Seshadri theorem ( Narasimhan–Seshadri theorem(rev # 16) | history )
  by Samuel Adrian Antz at September 28, 2026 at 09:17:42
• Hermite-Einstein connection ( Hermite-Einstein connection(rev # 6) | history )
  by Samuel Adrian Antz at September 28, 2026 at 09:11:50
• Kähler-Einstein manifold ( Kähler-Einstein manifold(rev # 2) | history )
  by Samuel Adrian Antz at September 28, 2026 at 09:11:50
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 54) | history )
  by Samuel Adrian Antz at September 28, 2026 at 09:06:20
• p-adic Teichmüller theory ( p-adic Teichmüller theory(rev # 4) | history )
  by Samuel Adrian Antz at September 28, 2026 at 09:06:18
• p-adic Hodge theory ( p-adic Hodge theory(rev # 18) | history )
  by Samuel Adrian Antz at September 28, 2026 at 09:06:18
• Frobenius algebra ( Frobenius algebra(rev # 68) | history )
  by John Baez at September 28, 2026 at 09:01:22
• Quinn theorem ( Quinn theorem(rev # 3) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:58:49
• Wall theorems ( Wall theorems(rev # 4) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:58:49
• Atiyah-Bott-Shapiro isomorphism ( Atiyah-Bott-Shapiro isomorphism(rev # 2) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:54:09
• string orientation of tmf ( string orientation of tmf(rev # 29) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:54:09
• K-orientation ( K-orientation(rev # 18) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:54:04
• Arnold-Kuiper-Massey theorem ( Arnold-Kuiper-Massey theorem(rev # 8) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:53:39
• Kapustin-Witten TQFT ( Kapustin-Witten TQFT(rev # 9) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:45:16
• Vafa-Witten equations ( Vafa-Witten equations(rev # 2) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:45:01
• Morava K-theory ( Morava K-theory(rev # 45) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:44:28
• Morava E-theory ( Morava E-theory(rev # 25) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:44:27
• Hořava-Witten theory ( Hořava-Witten theory(rev # 60) | history )
  by Samuel Adrian Antz at September 28, 2026 at 08:42:35
• separable functor ( separable functor(rev # 13) | history )
  by John Baez at September 28, 2026 at 08:29:15
• D=9 supergravity ( D=9 supergravity(rev # 9) | history )
  by Urs Schreiber at September 28, 2026 at 07:03:44
• flag variety ( flag variety(rev # 18) | history )
  by Urs Schreiber at September 28, 2026 at 05:47:53
• regular category ( regular category(rev # 82) | history )
  by Martin Brandenburg at September 28, 2026 at 02:42:01
• spectral sequence ( spectral sequence(rev # 80) | history )
  by Pablo Curiel? at September 28, 2026 at 00:00:41
• Giry monad ( Giry monad(rev # 141) | history )
  by kirk_sturtz? at September 27, 2026 at 23:55:03
• Lie integration ( Lie integration(rev # 75) | history )
  by Urs Schreiber at September 27, 2026 at 17:57:07
• Reedy model structure ( Reedy model structure(rev # 69) | history )
  by philip? at September 27, 2026 at 15:06:40
• Giry monad ( Giry monad(rev # 140) | history )
  by kirk_sturtz? at September 27, 2026 at 11:22:24
• real numbers object ( real numbers object(rev # 57) | history )
  by Urs Schreiber at September 27, 2026 at 11:21:12
• real numbers type ( real numbers type(rev # 8) | history )
  by Urs Schreiber at September 27, 2026 at 11:19:44
• BMN matrix model ( BMN matrix model(rev # 48) | history )
  by Zhengyuan Du? at September 27, 2026 at 11:08:24
• Grothendieck topos ( Grothendieck topos(rev # 67) | history )
  by deomorxsy? at September 27, 2026 at 06:49:01
• homotopy pushout ( homotopy pushout(rev # 7) | history )
  by Holden Swindell? at September 27, 2026 at 05:44:21
• worldvolume ( worldvolume(rev # 17) | history )
  by surfacelevel at September 27, 2026 at 05:38:31
• Sandbox ( Sandbox(rev # 4071) | history )
  by surfacelevel at September 27, 2026 at 05:16:17
• comparison theorem (crystalline cohomology) ( comparison theorem (crystalline cohomology)(rev # 3) | history )
  by Pablo Curiel? at September 27, 2026 at 00:21:52
• algebraic cycle ( algebraic cycle(rev # 14) | history )
  by Pablo Curiel? at September 27, 2026 at 00:08:01
• Jacobian variety ( Jacobian variety(rev # 16) | history )
  by Pablo Curiel? at September 26, 2026 at 23:19:45
• Albanese variety ( Albanese variety(rev # 7) | history )
  by Pablo Curiel? at September 26, 2026 at 23:12:44
• abelian variety ( abelian variety(rev # 12) | history )
  by Pablo Curiel? at September 26, 2026 at 23:07:03
• étale homotopy ( étale homotopy(rev # 31) | history )
  by Pablo Curiel? at September 26, 2026 at 22:58:15
• Galois module ( Galois module(rev # 9) | history )
  by Pablo Curiel? at September 26, 2026 at 22:41:33
• de Rham complex ( de Rham complex(rev # 52) | history )
  by Pablo Curiel? at September 26, 2026 at 22:10:15
• crystalline cohomology ( crystalline cohomology(rev # 24) | history )
  by Pablo Curiel? at September 26, 2026 at 21:49:47
• flat infinity-connection ( flat infinity-connection(rev # 21) | history )
  by Urs Schreiber at September 26, 2026 at 20:51:49
• cohomology group ( cohomology group(rev # 5) | history )
  by Pablo Curiel? at September 26, 2026 at 20:36:15
• Whitehead-generalized cohomology ( Whitehead-generalized cohomology(rev # 99) | history )
  by Pablo Curiel? at September 26, 2026 at 19:19:01
• Andrey Kolmogorov ( Andrey Kolmogorov(rev # 8) | history )
  by Urs Schreiber at September 26, 2026 at 16:04:53
• algorithm ( algorithm(rev # 11) | history )
  by Urs Schreiber at September 26, 2026 at 15:58:53
• self-duality for pregeometric RR-fields -- references ( self-duality for pregeometric RR-fields -- references(rev # 7) | history )
  by Urs Schreiber at September 26, 2026 at 13:21:41
• RR field ( RR field(rev # 26) | history )
  by Urs Schreiber at September 26, 2026 at 13:20:29
• smash-monoidal diagonals -- section ( smash-monoidal diagonals -- section(rev # 3) | history )
  by Stella? at September 26, 2026 at 12:44:27
• Giry monad ( Giry monad(rev # 139) | history )
  by kirk_sturtz? at September 26, 2026 at 10:45:38
• surfacelevel
  by surfacelevel at September 26, 2026 at 03:59:07
• algorithm ( algorithm(rev # 10) | history )
  by surfacelevel at September 26, 2026 at 03:54:56
• nerve ( nerve(rev # 88) | history )
  by Pablo Curiel? at September 25, 2026 at 21:22:40
• nerve ( nerve(rev # 87) | history )
  by Pablo Curiel? at September 25, 2026 at 21:22:35
• Carlos S. Shahbazi ( Carlos S. Shahbazi(rev # 9) | history )
  by Urs Schreiber at September 25, 2026 at 17:33:17
• J-B Vienney ( J-B Vienney(rev # 29) | history )
  by J-B Vienney at September 25, 2026 at 15:57:39
• self-duality for pregeometric RR-fields -- references ( self-duality for pregeometric RR-fields -- references(rev # 6) | history )
  by Urs Schreiber at September 25, 2026 at 15:21:37
• Assaf Libman ( Assaf Libman(rev # 2) | history )
  by Urs Schreiber at September 25, 2026 at 11:35:43