nLab Latest Revisions

• Hopf invariant one ( Hopf invariant one(rev # 33) | history )
  by Urs Schreiber at September 17, 2026 at 06:57:54
• Koji Hashimoto ( Koji Hashimoto(rev # 16) | history )
  by Urs Schreiber at September 17, 2026 at 06:44:52
• neural network ( neural network(rev # 32) | history )
  by Urs Schreiber at September 17, 2026 at 06:44:11
• field extension ( field extension(rev # 15) | history )
  by lakshit? at September 17, 2026 at 04:22:35
• Giry monad ( Giry monad(rev # 132) | history )
  by kirk_sturtz? at September 17, 2026 at 01:06:23
• Ho(Cat) ( Ho(Cat)(rev # 15) | history )
  by Zach Goldthorpe at September 16, 2026 at 21:55:11
• free product of groups ( free product of groups(rev # 12) | history )
  by Louis? at September 16, 2026 at 20:44:51
• Urs Schreiber ( Urs Schreiber(rev # 156) | history )
  by Urs Schreiber at September 16, 2026 at 15:59:59
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 527) | history )
  by Urs Schreiber at September 16, 2026 at 15:53:28
• Carlo A. Trugenberger ( Carlo A. Trugenberger(rev # 14) | history )
  by Urs Schreiber at September 16, 2026 at 15:15:42
• Fernando Quevedo ( Fernando Quevedo(rev # 14) | history )
  by Urs Schreiber at September 16, 2026 at 15:15:24
• M. Cristina Diamantini ( M. Cristina Diamantini(rev # 10) | history )
  by Urs Schreiber at September 16, 2026 at 15:15:05
• Polyakov gauge-string duality -- references ( Polyakov gauge-string duality -- references(rev # 20) | history )
  by Urs Schreiber at September 16, 2026 at 15:14:39
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 526) | history )
  by Urs Schreiber at September 16, 2026 at 15:10:05
• Dirac manifold ( Dirac manifold(rev # 13) | history )
  by Urs Schreiber at September 16, 2026 at 15:06:48
• Giry monad ( Giry monad(rev # 131) | history )
  by kirk_sturtz? at September 16, 2026 at 13:42:51
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 525) | history )
  by Urs Schreiber at September 16, 2026 at 12:47:58
• Giry monad ( Giry monad(rev # 130) | history )
  by kirk_sturtz? at September 16, 2026 at 10:49:44
• pure set ( pure set(rev # 52) | history )
  by David Roberts? at September 16, 2026 at 01:49:47
• Giry monad ( Giry monad(rev # 129) | history )
  by kirk_sturtz? at September 16, 2026 at 01:01:56
• Bruck loop ( Bruck loop(rev # 2) | history )
  by Urs Schreiber at September 15, 2026 at 18:42:33
• Jordan algebra ( Jordan algebra(rev # 65) | history )
  by Zoran Škoda at September 15, 2026 at 18:25:39
• Introduction to Homotopy Theory ( Introduction to Homotopy Theory(rev # 181) | history )
  by Holden Swindell? at September 15, 2026 at 16:36:14
• rational parameterized stable homotopy theory ( rational parameterized stable homotopy theory(rev # 19) | history )
  by Urs Schreiber at September 15, 2026 at 16:10:02
• Whitehead-generalized cohomology ( Whitehead-generalized cohomology(rev # 98) | history )
  by Urs Schreiber at September 15, 2026 at 15:47:03
• Chern-Dold character ( Chern-Dold character(rev # 4) | history )
  by Urs Schreiber at September 15, 2026 at 15:01:30
• Peter Hilton ( Peter Hilton(rev # 18) | history )
  by Urs Schreiber at September 15, 2026 at 15:00:51
• Chern character ( Chern character(rev # 59) | history )
  by Urs Schreiber at September 15, 2026 at 14:55:04
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 59) | history )
  by Urs Schreiber at September 15, 2026 at 14:17:32
• reflected limit ( reflected limit(rev # 21) | history )
  by varkor at September 15, 2026 at 14:14:25
• Giry monad ( Giry monad(rev # 128) | history )
  by kirk_sturtz? at September 15, 2026 at 12:32:45
• generalized global symmetry ( generalized global symmetry(rev # 41) | history )
  by Urs Schreiber at September 15, 2026 at 11:10:38
• Lie triple system ( Lie triple system(rev # 14) | history )
  by Zoran Škoda at September 15, 2026 at 08:43:03
• Bruck loop ( Bruck loop(rev # 1) | history )
  by Zoran Škoda at September 15, 2026 at 08:31:55
• Lie triple system ( Lie triple system(rev # 13) | history )
  by Zoran Škoda at September 15, 2026 at 07:58:32
• Paul Sutcliffe ( Paul Sutcliffe(rev # 21) | history )
  by Urs Schreiber at September 15, 2026 at 06:51:42
• moduli space of monopoles ( moduli space of monopoles(rev # 37) | history )
  by Urs Schreiber at September 15, 2026 at 06:49:24
• BMN matrix model ( BMN matrix model(rev # 47) | history )
  by Urs Schreiber at September 15, 2026 at 06:43:10
• IKKT matrix model ( IKKT matrix model(rev # 63) | history )
  by Urs Schreiber at September 15, 2026 at 06:38:16
• Daniel Grayson ( Daniel Grayson(rev # 6) | history )
  by Urs Schreiber at September 14, 2026 at 19:44:16
• Daniel Grayson ( Daniel Grayson(rev # 5) | history )
  by Urs Schreiber at September 14, 2026 at 16:47:35
• Urs Schreiber ( Urs Schreiber(rev # 155) | history )
  by Urs Schreiber at September 14, 2026 at 15:42:33
• Cantor-Schroeder-Bernstein theorem ( Cantor-Schroeder-Bernstein theorem(rev # 45) | history )
  by Zoran Škoda at September 14, 2026 at 12:20:43
• Giry monad ( Giry monad(rev # 127) | history )
  by kirk_sturtz? at September 14, 2026 at 11:57:44
• Urs Schreiber ( Urs Schreiber(rev # 154) | history )
  by Urs Schreiber at September 14, 2026 at 10:24:24
• principal infinity-bundle ( principal infinity-bundle(rev # 73) | history )
  by Urs Schreiber at September 14, 2026 at 09:22:00
• Urs Schreiber ( Urs Schreiber(rev # 153) | history )
  by Urs Schreiber at September 14, 2026 at 09:15:48
• Urs Schreiber ( Urs Schreiber(rev # 152) | history )
  by Urs Schreiber at September 14, 2026 at 07:57:35
• homotopy theory FAQ ( homotopy theory FAQ(rev # 18) | history )
  by Holden Swindell? at September 14, 2026 at 05:36:36
• homotopy theory ( homotopy theory(rev # 94) | history )
  by Holden Swindell? at September 14, 2026 at 05:21:29
• normal subobject ( normal subobject(rev # 6) | history )
  by Mark John Hopkins at September 14, 2026 at 04:41:27
• algebraic topology ( algebraic topology(rev # 49) | history )
  by Rising Tides? at September 14, 2026 at 04:35:51
• quasitopos ( quasitopos(rev # 36) | history )
  by Daniel Schepler? at September 14, 2026 at 02:45:09
• twisted K-theory ( twisted K-theory(rev # 83) | history )
  by Urs Schreiber at September 13, 2026 at 19:49:55
• David Gepner ( David Gepner(rev # 18) | history )
  by Urs Schreiber at September 13, 2026 at 19:43:02
• Benjamin Antieau ( Benjamin Antieau(rev # 4) | history )
  by Urs Schreiber at September 13, 2026 at 19:42:37
• univalence axiom ( univalence axiom(rev # 122) | history )
  by Evan Cavallo at September 13, 2026 at 16:43:46
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 58) | history )
  by Urs Schreiber at September 13, 2026 at 16:12:55
• Jonathan Rosenberg ( Jonathan Rosenberg(rev # 8) | history )
  by Urs Schreiber at September 13, 2026 at 14:35:42
• Stefan Méndez-Diez ( Stefan Méndez-Diez(rev # 4) | history )
  by Urs Schreiber at September 13, 2026 at 14:35:24
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 57) | history )
  by Urs Schreiber at September 13, 2026 at 14:35:08
• T-duality 2-group ( T-duality 2-group(rev # 11) | history )
  by Urs Schreiber at September 13, 2026 at 14:14:31
• topological T-duality ( topological T-duality(rev # 59) | history )
  by Urs Schreiber at September 13, 2026 at 14:13:29
• Grigorios Giotopoulos ( Grigorios Giotopoulos(rev # 22) | history )
  by Urs Schreiber at September 13, 2026 at 13:41:44
• twisted K-theory ( twisted K-theory(rev # 82) | history )
  by Urs Schreiber at September 13, 2026 at 08:48:15
• numerable open cover ( numerable open cover(rev # 24) | history )
  by Ben Eltschig? at September 13, 2026 at 08:17:20
• normal subobject ( normal subobject(rev # 5) | history )
  by Mark John Hopkins at September 13, 2026 at 06:17:13
• fractional M2-brane ( fractional M2-brane(rev # 6) | history )
  by Urs Schreiber at September 12, 2026 at 18:40:36
• monomorphism ( monomorphism(rev # 48) | history )
  by Victor Sannier? at September 12, 2026 at 16:06:37
• empty 247 ( empty 247(rev # 2) | history )
  by Urs Schreiber at September 12, 2026 at 15:44:35
• univalence axiom ( univalence axiom(rev # 121) | history )
  by Evan Cavallo at September 12, 2026 at 14:59:23
• empty 247 ( empty 247(rev # 1) | history )
  by Anonymouse? at September 12, 2026 at 12:33:27
• standard Borel space ( standard Borel space(rev # 9) | history )
  by Mark John Hopkins at September 12, 2026 at 05:39:36
• univalence axiom ( univalence axiom(rev # 120) | history )
  by Evan Cavallo at September 12, 2026 at 02:54:13
• Sandbox2 ( Sandbox2(rev # 155) | history )
  by op cat? at September 12, 2026 at 00:17:56
• fan theorem ( fan theorem(rev # 35) | history )
  by Daniel Mourad? at September 11, 2026 at 22:02:48
• univalence axiom ( univalence axiom(rev # 119) | history )
  by Evan Cavallo at September 11, 2026 at 20:44:09
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 524) | history )
  by Urs Schreiber at September 11, 2026 at 20:26:13
• univalence axiom ( univalence axiom(rev # 118) | history )
  by Evan Cavallo at September 11, 2026 at 19:51:31
• CW approximation ( CW approximation(rev # 14) | history )
  by Vincenzo Passariello? at September 11, 2026 at 13:24:15
• model structure on orthogonal spectra ( model structure on orthogonal spectra(rev # 89) | history )
  by Tim Porter at September 11, 2026 at 10:10:12
• category-theoretic approaches to probability theory ( category-theoretic approaches to probability theory(rev # 57) | history )
  by Paolo Perrone at September 11, 2026 at 07:41:20
• Dmitri Pavlov ( Dmitri Pavlov(rev # 13) | history )
  by Urs Schreiber at September 11, 2026 at 06:12:28
• extended functorial field theory ( extended functorial field theory(rev # 58) | history )
  by Urs Schreiber at September 11, 2026 at 06:11:53
• cyclotomic trace ( cyclotomic trace(rev # 5) | history )
  by Tim Porter at September 11, 2026 at 06:06:54
• univalence axiom ( univalence axiom(rev # 117) | history )
  by Evan Cavallo at September 10, 2026 at 19:50:37
• homotopy theory and algebraic topology -- references ( homotopy theory and algebraic topology -- references(rev # 48) | history )
  by Urs Schreiber at September 10, 2026 at 18:07:41
• String Theory ( String Theory(rev # 7) | history )
  by Urs Schreiber at September 10, 2026 at 12:22:48
• D-brane charge quantization in topological K-theory -- references ( D-brane charge quantization in topological K-theory -- references(rev # 56) | history )
  by Urs Schreiber at September 10, 2026 at 12:13:25
• univalence axiom ( univalence axiom(rev # 116) | history )
  by Evan Cavallo at September 10, 2026 at 10:32:10
• univalence axiom ( univalence axiom(rev # 115) | history )
  by Evan Cavallo at September 10, 2026 at 09:02:25
• particle ( particle(rev # 24) | history )
  by Urs Schreiber at September 10, 2026 at 07:06:18
• Hans Jockers ( Hans Jockers(rev # 5) | history )
  by Urs Schreiber at September 10, 2026 at 07:00:15
• Ilka Brunner ( Ilka Brunner(rev # 4) | history )
  by Urs Schreiber at September 10, 2026 at 06:59:55
• quantum cohomology ring ( quantum cohomology ring(rev # 31) | history )
  by Urs Schreiber at September 10, 2026 at 06:59:20
• Eric Sharpe ( Eric Sharpe(rev # 14) | history )
  by Urs Schreiber at September 10, 2026 at 06:56:44
• monad ( monad(rev # 152) | history )
  by Zoran Škoda at September 9, 2026 at 23:17:56
• Zariski site ( Zariski site(rev # 22) | history )
  by Quentin Asparria? at September 9, 2026 at 22:08:27
• Ian Orton ( Ian Orton(rev # 3) | history )
  by Urs Schreiber at September 9, 2026 at 21:25:12
• Ian Orton ( Ian Orton(rev # 2) | history )
  by Evan Cavallo at September 9, 2026 at 21:03:26