nLab Latest Revisions

• Mayer-Vietoris sequence ( Mayer-Vietoris sequence(rev # 26) | history )
  by Urs Schreiber at April 22, 2026 at 08:19:36
• Homotopy Type Theory -- Univalent Foundations of Mathematics ( Homotopy Type Theory -- Univalent Foundations of Mathematics(rev # 21) | history )
  by p? at April 22, 2026 at 01:19:18
• measurable field of Hilbert spaces ( measurable field of Hilbert spaces(rev # 6) | history )
  by Dmitri Pavlov at April 21, 2026 at 20:27:55
• generalized global symmetry ( generalized global symmetry(rev # 37) | history )
  by perezl.alonso at April 21, 2026 at 20:11:02
• rational number ( rational number(rev # 42) | history )
  by Gyoshi? at April 21, 2026 at 18:25:51
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 43) | history )
  by Urs Schreiber at April 21, 2026 at 14:51:02
• D-brane charge quantization in K-theory ( D-brane charge quantization in K-theory(rev # 12) | history )
  by Urs Schreiber at April 21, 2026 at 14:50:18
• Liouville integrable system ( Liouville integrable system(rev # 3) | history )
  by Jesus Lopez? at April 21, 2026 at 14:31:18
• limited principle of omniscience ( limited principle of omniscience(rev # 32) | history )
  by p? at April 21, 2026 at 12:48:11
• David Ayala ( David Ayala(rev # 7) | history )
  by David Corfield at April 21, 2026 at 11:53:55
• David Kern ( David Kern(rev # 2) | history )
  by Urs Schreiber at April 21, 2026 at 11:49:24
• multispan ( multispan(rev # 13) | history )
  by Urs Schreiber at April 21, 2026 at 11:41:34
• David Ayala ( David Ayala(rev # 6) | history )
  by Urs Schreiber at April 21, 2026 at 11:36:49
• Nick Rozenblyum ( Nick Rozenblyum(rev # 6) | history )
  by Urs Schreiber at April 21, 2026 at 11:35:06
• hyperstructure ( hyperstructure(rev # 28) | history )
  by David Corfield at April 21, 2026 at 11:34:42
• (infinity,n)-category with adjoints ( (infinity,n)-category with adjoints(rev # 8) | history )
  by Urs Schreiber at April 21, 2026 at 11:31:59
• David Kern ( David Kern(rev # 1) | history )
  by David Corfield at April 21, 2026 at 11:01:41
• hyperstructure ( hyperstructure(rev # 27) | history )
  by Urs Schreiber at April 21, 2026 at 11:00:49
• (∞,Z)-category ( (∞,Z)-category(rev # 4) | history )
  by David Corfield at April 21, 2026 at 10:53:31
• noncommutative open string theory ( noncommutative open string theory(rev # 4) | history )
  by Urs Schreiber at April 21, 2026 at 10:35:41
• hyperstructure ( hyperstructure(rev # 26) | history )
  by David Corfield at April 21, 2026 at 10:15:12
• Manifold Atlas ( Manifold Atlas(rev # 9) | history )
  by Urs Schreiber at April 21, 2026 at 09:54:21
• quantum simulation ( quantum simulation(rev # 12) | history )
  by Urs Schreiber at April 21, 2026 at 07:53:31
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 517) | history )
  by Urs Schreiber at April 21, 2026 at 07:30:42
• D-brane ( D-brane(rev # 98) | history )
  by Urs Schreiber at April 21, 2026 at 04:43:37
• Edvard Musaev ( Edvard Musaev(rev # 5) | history )
  by Urs Schreiber at April 21, 2026 at 04:43:04
• brane ( brane(rev # 68) | history )
  by Urs Schreiber at April 21, 2026 at 04:40:37
• Manifold Atlas ( Manifold Atlas(rev # 8) | history )
  by Dmitri Pavlov at April 21, 2026 at 03:05:23
• Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology ( Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology(rev # 47) | history )
  by Dmitri Pavlov at April 21, 2026 at 02:59:03
• bar induction ( bar induction(rev # 7) | history )
  by JAC? at April 20, 2026 at 21:48:30
• (1|1)-dimensional Euclidean field theories and K-theory ( (1|1)-dimensional Euclidean field theories and K-theory(rev # 22) | history )
  by Urs Schreiber at April 20, 2026 at 21:04:50
• (2|1)-dimensional Euclidean field theories and tmf ( (2|1)-dimensional Euclidean field theories and tmf(rev # 14) | history )
  by Urs Schreiber at April 20, 2026 at 21:03:42
• noncommutative open string theory ( noncommutative open string theory(rev # 3) | history )
  by Urs Schreiber at April 20, 2026 at 20:36:50
• Ulf Gran ( Ulf Gran(rev # 3) | history )
  by Urs Schreiber at April 20, 2026 at 20:24:12
• Peter Ulrickson
  by Urs Schreiber at April 20, 2026 at 19:56:06
• (1|1)-dimensional Euclidean field theories and K-theory ( (1|1)-dimensional Euclidean field theories and K-theory(rev # 21) | history )
  by Urs Schreiber at April 20, 2026 at 19:49:27
• (1|1)-dimensional Euclidean field theories and K-theory ( (1|1)-dimensional Euclidean field theories and K-theory(rev # 20) | history )
  by Dmitri Pavlov at April 20, 2026 at 19:19:58
• noncommutative open string theory ( noncommutative open string theory(rev # 2) | history )
  by Urs Schreiber at April 20, 2026 at 19:00:57
• self-dual string ( self-dual string(rev # 14) | history )
  by Urs Schreiber at April 20, 2026 at 18:53:57
• M-string ( M-string(rev # 6) | history )
  by Urs Schreiber at April 20, 2026 at 18:53:29
• noncommutative geometry - contents ( noncommutative geometry - contents(rev # 3) | history )
  by Urs Schreiber at April 20, 2026 at 18:14:40
• string ( string(rev # 32) | history )
  by Urs Schreiber at April 20, 2026 at 18:13:19
• Nambu-Poisson M5-brane model ( Nambu-Poisson M5-brane model(rev # 3) | history )
  by Urs Schreiber at April 20, 2026 at 18:12:41
• noncommutative open string theory ( noncommutative open string theory(rev # 1) | history )
  by Urs Schreiber at April 20, 2026 at 18:12:03
• QFT on non-commutative spacetime ( QFT on non-commutative spacetime(rev # 4) | history )
  by Urs Schreiber at April 20, 2026 at 18:10:09
• noncommutative geometry ( noncommutative geometry(rev # 44) | history )
  by Urs Schreiber at April 20, 2026 at 18:09:22
• Sandbox ( Sandbox(rev # 3984) | history )
  by Urs Schreiber at April 20, 2026 at 18:03:14
• Rodolfo Russo ( Rodolfo Russo(rev # 5) | history )
  by Urs Schreiber at April 20, 2026 at 17:16:28
• category theory -- references ( category theory -- references(rev # 6) | history )
  by Urs Schreiber at April 20, 2026 at 16:47:57
• exterior algebra ( exterior algebra(rev # 29) | history )
  by Urs Schreiber at April 20, 2026 at 16:17:11
• product category ( product category(rev # 10) | history )
  by Noel? at April 20, 2026 at 16:09:54
• exterior algebra ( exterior algebra(rev # 28) | history )
  by Leon? at April 20, 2026 at 15:35:10
• Martin Brandenburg ( Martin Brandenburg(rev # 16) | history )
  by Urs Schreiber at April 20, 2026 at 15:32:59
• Sandbox ( Sandbox(rev # 3983) | history )
  by Urs Schreiber at April 20, 2026 at 14:11:21
• quantum error correction ( quantum error correction(rev # 97) | history )
  by Urs Schreiber at April 20, 2026 at 13:43:05
• QFT on non-commutative spacetime ( QFT on non-commutative spacetime(rev # 3) | history )
  by Urs Schreiber at April 20, 2026 at 13:07:57
• J-B Vienney ( J-B Vienney(rev # 27) | history )
  by J-B Vienney at April 20, 2026 at 12:55:09
• Nikita Nekrasov ( Nikita Nekrasov(rev # 5) | history )
  by Urs Schreiber at April 20, 2026 at 12:46:39
• Michael Douglas ( Michael Douglas(rev # 13) | history )
  by Urs Schreiber at April 20, 2026 at 12:42:43
• Richard Szabo ( Richard Szabo(rev # 14) | history )
  by Urs Schreiber at April 20, 2026 at 12:41:58
• volume preserving diffeomorphism ( volume preserving diffeomorphism(rev # 34) | history )
  by Urs Schreiber at April 20, 2026 at 12:13:54
• list of mathematics software ( list of mathematics software(rev # 20) | history )
  by Martin Brandenburg at April 20, 2026 at 12:10:10
• Martin Brandenburg ( Martin Brandenburg(rev # 15) | history )
  by Martin Brandenburg at April 20, 2026 at 12:08:01
• Sandbox2 ( Sandbox2(rev # 129) | history )
  by Bartosz Milewski at April 20, 2026 at 11:32:34
• self-dual string ( self-dual string(rev # 13) | history )
  by Urs Schreiber at April 20, 2026 at 11:23:43
• space and quantity ( space and quantity(rev # 43) | history )
  by Urs Schreiber at April 20, 2026 at 08:48:18
• Tom de Jong ( Tom de Jong(rev # 9) | history )
  by Urs Schreiber at April 20, 2026 at 08:46:44
• Nicolai Kraus ( Nicolai Kraus(rev # 15) | history )
  by Urs Schreiber at April 20, 2026 at 08:45:08
• Aref Mohammadzadeh ( Aref Mohammadzadeh(rev # 2) | history )
  by Urs Schreiber at April 20, 2026 at 08:43:34
• James MacManus ( James MacManus(rev # 4) | history )
  by Urs Schreiber at April 20, 2026 at 08:40:45
• Severin Bunk ( Severin Bunk(rev # 19) | history )
  by Urs Schreiber at April 20, 2026 at 08:39:15
• Alexander Schenkel ( Alexander Schenkel(rev # 28) | history )
  by Urs Schreiber at April 20, 2026 at 08:38:55
• James MacManus ( James MacManus(rev # 3) | history )
  by David Corfield at April 20, 2026 at 08:37:27
• Severin Bunk ( Severin Bunk(rev # 18) | history )
  by David Corfield at April 20, 2026 at 08:36:47
• Alexander Schenkel ( Alexander Schenkel(rev # 27) | history )
  by David Corfield at April 20, 2026 at 08:36:25
• Aref Mohammadzadeh ( Aref Mohammadzadeh(rev # 1) | history )
  by p? at April 20, 2026 at 07:41:11
• simplicial set ( simplicial set(rev # 92) | history )
  by Urs Schreiber at April 20, 2026 at 07:10:18
• (infinity,1)-category ( (infinity,1)-category(rev # 111) | history )
  by Urs Schreiber at April 20, 2026 at 07:03:11
• Sandbox2 ( Sandbox2(rev # 128) | history )
  by Bartosz Milewski at April 19, 2026 at 17:10:42
• Heisenberg double ( Heisenberg double(rev # 15) | history )
  by Urs Schreiber at April 19, 2026 at 14:06:12
• Drinfel'd double ( Drinfel'd double(rev # 27) | history )
  by Urs Schreiber at April 19, 2026 at 14:04:17
• semi-decidable proposition ( semi-decidable proposition(rev # 13) | history )
  by p? at April 19, 2026 at 13:34:56
• locator ( locator(rev # 23) | history )
  by p? at April 19, 2026 at 13:29:43
• analytic LPO ( analytic LPO(rev # 19) | history )
  by p? at April 19, 2026 at 12:59:31
• locator ( locator(rev # 22) | history )
  by p? at April 19, 2026 at 12:34:27
• Mayer-Vietoris sequence ( Mayer-Vietoris sequence(rev # 25) | history )
  by Urs Schreiber at April 19, 2026 at 10:58:00
• Sandbox ( Sandbox(rev # 3982) | history )
  by Urs Schreiber at April 19, 2026 at 10:21:16
• On PL deRham theory and rational homotopy type ( On PL deRham theory and rational homotopy type(rev # 7) | history )
  by Urs Schreiber at April 19, 2026 at 09:08:59
• Euclidean domain ( Euclidean domain(rev # 18) | history )
  by p? at April 19, 2026 at 08:59:47
• locator ( locator(rev # 21) | history )
  by p? at April 19, 2026 at 08:15:29
• Cauchy real number ( Cauchy real number(rev # 53) | history )
  by p? at April 19, 2026 at 01:58:03
• admissible Archimedean ordered field ( admissible Archimedean ordered field(rev # 5) | history )
  by p? at April 19, 2026 at 01:54:49
• sigma-frame of propositions ( sigma-frame of propositions(rev # 3) | history )
  by p? at April 19, 2026 at 01:52:54
• admissible Archimedean ordered field ( admissible Archimedean ordered field(rev # 4) | history )
  by p? at April 19, 2026 at 01:22:32
• Cauchy real number ( Cauchy real number(rev # 52) | history )
  by p? at April 19, 2026 at 00:39:30
• semi-decidable proposition ( semi-decidable proposition(rev # 12) | history )
  by p? at April 19, 2026 at 00:32:56
• admissible Archimedean ordered field ( admissible Archimedean ordered field(rev # 3) | history )
  by p? at April 19, 2026 at 00:28:31
• homotopy product ( homotopy product(rev # 7) | history )
  by Dmitri Pavlov at April 19, 2026 at 00:12:56
• homotopy coproduct ( homotopy coproduct(rev # 4) | history )
  by Dmitri Pavlov at April 19, 2026 at 00:10:39
• Homotopy Type Theory Electronic Seminar Talks ( Homotopy Type Theory Electronic Seminar Talks(rev # 9) | history )
  by p? at April 18, 2026 at 23:58:15