nLab Latest Revisions

• adjoint functor ( adjoint functor(rev # 153) | history )
  by Carolina Rivera? at August 23, 2026 at 18:28:47
• adjoint functor ( adjoint functor(rev # 152) | history )
  by Carolina Rivera? at August 23, 2026 at 18:28:42
• Vincent Braunack-Mayer ( Vincent Braunack-Mayer(rev # 10) | history )
  by Urs Schreiber at August 23, 2026 at 15:10:07
• universal Chern-Simons line 3-bundle ( universal Chern-Simons line 3-bundle(rev # 38) | history )
  by Urs Schreiber at August 23, 2026 at 14:52:45
• Dennis McLaughlin ( Dennis McLaughlin(rev # 2) | history )
  by Urs Schreiber at August 23, 2026 at 14:51:49
• machine learning ( machine learning(rev # 36) | history )
  by Urs Schreiber at August 23, 2026 at 11:20:57
• René Guitart ( René Guitart(rev # 6) | history )
  by Urs Schreiber at August 23, 2026 at 10:28:42
• Andrée Ehresmann ( Andrée Ehresmann(rev # 10) | history )
  by Urs Schreiber at August 23, 2026 at 10:27:21
• Wigner function ( Wigner function(rev # 4) | history )
  by Urs Schreiber at August 23, 2026 at 10:18:02
• normed ring ( normed ring(rev # 21) | history )
  by Urs Schreiber at August 23, 2026 at 09:14:14
• Kevin Buzzard ( Kevin Buzzard(rev # 10) | history )
  by Sheikh Mohamedbin Zayed Al Nahyan? at August 23, 2026 at 00:27:56
• sieve ( sieve(rev # 57) | history )
  by Mike? at August 22, 2026 at 22:22:22
• sieve ( sieve(rev # 56) | history )
  by Mike? at August 22, 2026 at 22:22:20
• truth value ( truth value(rev # 32) | history )
  by Joe Marsh? at August 22, 2026 at 19:19:30
• truth value ( truth value(rev # 31) | history )
  by Joe Marsh? at August 22, 2026 at 16:46:03
• truth value ( truth value(rev # 30) | history )
  by Joe Marsh? at August 22, 2026 at 13:15:58
• stability under pullback ( stability under pullback(rev # 13) | history )
  by Martin Brandenburg at August 21, 2026 at 15:40:28
• reduced phase space ( reduced phase space(rev # 4) | history )
  by Urs Schreiber at August 21, 2026 at 14:32:44
• Michele Schiavina ( Michele Schiavina(rev # 9) | history )
  by Urs Schreiber at August 21, 2026 at 14:32:06
• Lie 2-groupoid ( Lie 2-groupoid(rev # 4) | history )
  by Urs Schreiber at August 21, 2026 at 14:04:09
• regularity ( regularity(rev # 2) | history )
  by Evan Cavallo at August 21, 2026 at 13:19:21
• cubical path type ( cubical path type(rev # 12) | history )
  by Evan Cavallo at August 21, 2026 at 13:18:41
• Nielsen-Schreier theorem ( Nielsen-Schreier theorem(rev # 27) | history )
  by Evan Cavallo at August 21, 2026 at 13:18:12
• Andrew Swan ( Andrew Swan(rev # 8) | history )
  by Evan Cavallo at August 21, 2026 at 13:16:00
• Jordan-Hölder theorem ( Jordan-Hölder theorem(rev # 7) | history )
  by Urs Schreiber at August 21, 2026 at 12:36:58
• Jordan-Hölder theorem ( Jordan-Hölder theorem(rev # 6) | history )
  by basedpathinduction? at August 21, 2026 at 12:03:56
• Maxwell-Chern-Simons theory ( Maxwell-Chern-Simons theory(rev # 33) | history )
  by Urs Schreiber at August 21, 2026 at 10:23:05
• relative Rezk nerve ( relative Rezk nerve(rev # 2) | history )
  by Urs Schreiber at August 21, 2026 at 07:51:36
• Bastiaan Cnossen ( Bastiaan Cnossen(rev # 9) | history )
  by Urs Schreiber at August 21, 2026 at 07:37:46
• Kensuke Arakawa ( Kensuke Arakawa(rev # 8) | history )
  by Urs Schreiber at August 21, 2026 at 07:37:21
• localization of an (infinity,1)-category ( localization of an (infinity,1)-category(rev # 22) | history )
  by Urs Schreiber at August 21, 2026 at 07:35:58
• complete Segal space ( complete Segal space(rev # 57) | history )
  by Urs Schreiber at August 21, 2026 at 07:30:07
• relative Rezk nerve ( relative Rezk nerve(rev # 1) | history )
  by Kensuke Arakawa at August 21, 2026 at 05:45:07
• infinity-groupoid ( infinity-groupoid(rev # 55) | history )
  by Kensuke Arakawa at August 21, 2026 at 04:44:45
• complete Segal space ( complete Segal space(rev # 56) | history )
  by Kensuke Arakawa at August 21, 2026 at 04:35:54
• Ben Allanach ( Ben Allanach(rev # 3) | history )
  by Urs Schreiber at August 21, 2026 at 03:16:48
• naturalness ( naturalness(rev # 33) | history )
  by Urs Schreiber at August 21, 2026 at 03:16:19
• higher dimensional Chern-Simons theory ( higher dimensional Chern-Simons theory(rev # 29) | history )
  by Urs Schreiber at August 21, 2026 at 03:05:14
• Ehresmann coring ( Ehresmann coring(rev # 4) | history )
  by Urs Schreiber at August 21, 2026 at 02:58:34
• initiality conjecture ( initiality conjecture(rev # 7) | history )
  by Zack Dooley? at August 20, 2026 at 19:39:33
• Thomas Streicher ( Thomas Streicher(rev # 16) | history )
  by Urs Schreiber at August 20, 2026 at 16:40:49
• Giuseppe Rosolini ( Giuseppe Rosolini(rev # 10) | history )
  by Urs Schreiber at August 20, 2026 at 16:40:22
• Luca Mesiti ( Luca Mesiti(rev # 4) | history )
  by Urs Schreiber at August 20, 2026 at 16:39:58
• Jacopo Emmenegger ( Jacopo Emmenegger(rev # 5) | history )
  by Urs Schreiber at August 20, 2026 at 16:39:35
• Grothendieck fibration ( Grothendieck fibration(rev # 132) | history )
  by Urs Schreiber at August 20, 2026 at 16:38:20
• formalism ( formalism(rev # 4) | history )
  by Urs Schreiber at August 20, 2026 at 16:30:32
• Ehresmann coring ( Ehresmann coring(rev # 3) | history )
  by Urs Schreiber at August 20, 2026 at 16:28:16
• Schauenburg bialgebroid ( Schauenburg bialgebroid(rev # 5) | history )
  by Zoran Škoda at August 20, 2026 at 13:54:55
• Ehresmann coring ( Ehresmann coring(rev # 2) | history )
  by Zoran Škoda at August 20, 2026 at 13:41:02
• Yang-Mills theory ( Yang-Mills theory(rev # 84) | history )
  by Urs Schreiber at August 20, 2026 at 11:07:17
• phase space ( phase space(rev # 80) | history )
  by Urs Schreiber at August 20, 2026 at 11:06:12
• formalism ( formalism(rev # 3) | history )
  by basedpathinduction? at August 20, 2026 at 09:41:18
• N-∞ operad ( N-∞ operad(rev # 14) | history )
  by Peng Du? at August 20, 2026 at 09:15:11
• Grothendieck fibration ( Grothendieck fibration(rev # 131) | history )
  by Pino Rosolini at August 20, 2026 at 08:13:33
• representation sphere ( representation sphere(rev # 25) | history )
  by Urs Schreiber at August 20, 2026 at 05:58:28
• Georg Lehner ( Georg Lehner(rev # 4) | history )
  by Urs Schreiber at August 20, 2026 at 05:56:21
• shape of an (infinity,1)-topos ( shape of an (infinity,1)-topos(rev # 34) | history )
  by Urs Schreiber at August 20, 2026 at 05:55:02
• chaos ( chaos(rev # 7) | history )
  by Urs Schreiber at August 20, 2026 at 05:40:07
• quantum Hall effect ( quantum Hall effect(rev # 126) | history )
  by Urs Schreiber at August 19, 2026 at 17:56:41
• Giuseppe Rosolini ( Giuseppe Rosolini(rev # 9) | history )
  by Urs Schreiber at August 19, 2026 at 17:25:46
• Martin Hyland ( Martin Hyland(rev # 12) | history )
  by Urs Schreiber at August 19, 2026 at 17:25:08
• complete small category ( complete small category(rev # 19) | history )
  by Urs Schreiber at August 19, 2026 at 17:23:18
• complete small category ( complete small category(rev # 18) | history )
  by Pino Rosolini at August 19, 2026 at 17:07:53
• Leonid Positselski ( Leonid Positselski(rev # 4) | history )
  by Urs Schreiber at August 19, 2026 at 12:32:59
• pure morphism ( pure morphism(rev # 22) | history )
  by Urs Schreiber at August 19, 2026 at 12:25:41
• pure morphism ( pure morphism(rev # 21) | history )
  by Zoran Škoda at August 19, 2026 at 12:21:12
• standard Borel space ( standard Borel space(rev # 8) | history )
  by Zoran Škoda at August 19, 2026 at 09:08:30
• cofinally small category ( cofinally small category(rev # 4) | history )
  by Martin Brandenburg at August 19, 2026 at 08:13:29
• Giry monad ( Giry monad(rev # 112) | history )
  by Urs Schreiber at August 19, 2026 at 04:43:45
• standard Borel space ( standard Borel space(rev # 7) | history )
  by Urs Schreiber at August 19, 2026 at 04:40:41
• Sets for Mathematics ( Sets for Mathematics(rev # 8) | history )
  by Urs Schreiber at August 19, 2026 at 04:33:49
• Giry monad ( Giry monad(rev # 111) | history )
  by kirk_sturtz? at August 18, 2026 at 23:22:16
• large gauge transformation ( large gauge transformation(rev # 6) | history )
  by Urs Schreiber at August 18, 2026 at 20:09:01
• H-space ( H-space(rev # 61) | history )
  by Urs Schreiber at August 18, 2026 at 14:41:36
• Urs Schreiber ( Urs Schreiber(rev # 151) | history )
  by Urs Schreiber at August 18, 2026 at 14:19:59
• Floreanini-Jackiw theory ( Floreanini-Jackiw theory(rev # 8) | history )
  by Urs Schreiber at August 18, 2026 at 13:10:31
• quantum computation ( quantum computation(rev # 153) | history )
  by Urs Schreiber at August 18, 2026 at 12:35:47
• quantum computation ( quantum computation(rev # 152) | history )
  by Urs Schreiber at August 18, 2026 at 11:45:08
• small presheaf ( small presheaf(rev # 19) | history )
  by Martin Brandenburg at August 18, 2026 at 08:51:22
• cofinally small category ( cofinally small category(rev # 3) | history )
  by Martin Brandenburg at August 18, 2026 at 08:49:13
• bar and cobar construction ( bar and cobar construction(rev # 33) | history )
  by Tim Porter at August 18, 2026 at 06:40:28
• Jet Nestruev ( Jet Nestruev(rev # 9) | history )
  by Urs Schreiber at August 18, 2026 at 05:11:57
• Jet Nestruev ( Jet Nestruev(rev # 8) | history )
  by Dmitri Pavlov at August 18, 2026 at 01:32:58
• standard Borel space ( standard Borel space(rev # 6) | history )
  by kirksturtz? at August 18, 2026 at 01:19:40
• homotopy class ( homotopy class(rev # 7) | history )
  by Sven Geier? at August 17, 2026 at 22:17:05
• H-space ( H-space(rev # 60) | history )
  by Urs Schreiber at August 17, 2026 at 20:22:36
• Jet Nestruev ( Jet Nestruev(rev # 7) | history )
  by Urs Schreiber at August 17, 2026 at 19:35:30
• Jet Nestruev ( Jet Nestruev(rev # 6) | history )
  by Alexander Petrovich Zakharov? at August 17, 2026 at 17:52:09
• filtered category ( filtered category(rev # 36) | history )
  by varkor at August 17, 2026 at 17:04:13
• display map ( display map(rev # 18) | history )
  by varkor at August 17, 2026 at 12:13:30
• representable functor theorem ( representable functor theorem(rev # 12) | history )
  by varkor at August 17, 2026 at 12:09:38
• Crossed Menagerie ( Crossed Menagerie(rev # 19) | history )
  by Tim Porter at August 17, 2026 at 11:43:57
• Yoneda lemma ( Yoneda lemma(rev # 89) | history )
  by Maxsu? at August 17, 2026 at 10:49:39
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 60) | history )
  by Urs Schreiber at August 17, 2026 at 07:01:28
• braid group ( braid group(rev # 104) | history )
  by Urs Schreiber at August 17, 2026 at 06:52:38
• Nicolaas Landsman ( Nicolaas Landsman(rev # 8) | history )
  by Urs Schreiber at August 17, 2026 at 06:25:22
• entropy ( entropy(rev # 66) | history )
  by Urs Schreiber at August 17, 2026 at 06:24:48
• Alberto Ibort ( Alberto Ibort(rev # 9) | history )
  by Urs Schreiber at August 17, 2026 at 06:21:07
• quantum observables as groupoid convolution -- references ( quantum observables as groupoid convolution -- references(rev # 7) | history )
  by Urs Schreiber at August 17, 2026 at 06:20:35
• spin representation ( spin representation(rev # 65) | history )
  by Urs Schreiber at August 17, 2026 at 06:11:39