nLab Latest Revisions

• preordered object ( preordered object(rev # 8) | history )
  by Joe Moeller at October 22, 2026 at 19:54:36
• higher curvature corrections to D=11 supergravity -- references ( higher curvature corrections to D=11 supergravity -- references(rev # 19) | history )
  by Urs Schreiber at October 22, 2026 at 15:40:58
• simplicial identities ( simplicial identities(rev # 15) | history )
  by Garuda Guru? at October 22, 2026 at 06:24:10
• inner automorphism ( inner automorphism(rev # 3) | history )
  by Dmitri Pavlov at October 22, 2026 at 04:05:49
• Haskell ( Haskell(rev # 29) | history )
  by Leven Poi? at October 22, 2026 at 02:54:00
• Saunders Mac Lane ( Saunders Mac Lane(rev # 31) | history )
  by Urs Schreiber at October 21, 2026 at 19:47:40
• Colin McLarty ( Colin McLarty(rev # 11) | history )
  by Urs Schreiber at October 21, 2026 at 19:47:24
• coproduct ( coproduct(rev # 26) | history )
  by Urs Schreiber at October 21, 2026 at 19:43:16
• direct product group ( direct product group(rev # 11) | history )
  by Urs Schreiber at October 21, 2026 at 19:41:54
• free product of groups ( free product of groups(rev # 14) | history )
  by Urs Schreiber at October 21, 2026 at 19:40:19
• cartesian product ( cartesian product(rev # 31) | history )
  by Urs Schreiber at October 21, 2026 at 19:38:08
• quantomorphism group ( quantomorphism group(rev # 31) | history )
  by Urs Schreiber at October 21, 2026 at 14:04:48
• Heisenberg group ( Heisenberg group(rev # 36) | history )
  by Urs Schreiber at October 21, 2026 at 14:02:02
• geometric quantization ( geometric quantization(rev # 135) | history )
  by Urs Schreiber at October 21, 2026 at 13:53:33
• Patrick Iglesias-Zemmour ( Patrick Iglesias-Zemmour(rev # 24) | history )
  by Urs Schreiber at October 21, 2026 at 12:13:08
• diffeological space ( diffeological space(rev # 99) | history )
  by Urs Schreiber at October 21, 2026 at 12:12:43
• momentum map ( momentum map(rev # 48) | history )
  by Urs Schreiber at October 21, 2026 at 12:12:12
• tensor network ( tensor network(rev # 52) | history )
  by Jeremias Rieser? at October 21, 2026 at 11:33:10
• Pierre Samuel ( Pierre Samuel(rev # 2) | history )
  by Urs Schreiber at October 21, 2026 at 11:15:49
• adjoint functor ( adjoint functor(rev # 157) | history )
  by Urs Schreiber at October 21, 2026 at 11:15:10
• Tôhoku ( Tôhoku(rev # 18) | history )
  by Urs Schreiber at October 21, 2026 at 11:12:07
• Saunders Mac Lane ( Saunders Mac Lane(rev # 30) | history )
  by Urs Schreiber at October 21, 2026 at 10:59:42
• coproduct ( coproduct(rev # 25) | history )
  by Urs Schreiber at October 21, 2026 at 10:57:18
• free product of groups ( free product of groups(rev # 13) | history )
  by Urs Schreiber at October 21, 2026 at 10:56:34
• cartesian product ( cartesian product(rev # 30) | history )
  by Urs Schreiber at October 21, 2026 at 10:52:34
• Pierre Samuel ( Pierre Samuel(rev # 1) | history )
  by Urs Schreiber at October 21, 2026 at 10:45:22
• commutative algebra ( commutative algebra(rev # 20) | history )
  by Urs Schreiber at October 21, 2026 at 10:42:00
• Oscar Zariski ( Oscar Zariski(rev # 2) | history )
  by Urs Schreiber at October 21, 2026 at 10:41:30
• Gregory Moore ( Gregory Moore(rev # 38) | history )
  by Urs Schreiber at October 21, 2026 at 09:57:29
• shifted C-field flux quantization ( shifted C-field flux quantization(rev # 24) | history )
  by Urs Schreiber at October 21, 2026 at 09:56:34
• tensor network ( tensor network(rev # 51) | history )
  by Jeremias Rieser? at October 21, 2026 at 09:52:57
• term model ( term model(rev # 5) | history )
  by Victor Sannier? at October 21, 2026 at 09:39:18
• dense functor ( dense functor(rev # 43) | history )
  by Urs Schreiber at October 21, 2026 at 09:16:24
• Michal Przybylek ( Michal Przybylek(rev # 2) | history )
  by Urs Schreiber at October 21, 2026 at 09:05:28
• Giacomo Tendas ( Giacomo Tendas(rev # 5) | history )
  by Urs Schreiber at October 21, 2026 at 09:03:14
• Massey product ( Massey product(rev # 22) | history )
  by Oisín Flynn-Connolly at October 21, 2026 at 08:06:44
• Dold-Kan correspondence ( Dold-Kan correspondence(rev # 134) | history )
  by Urs Schreiber at October 21, 2026 at 07:29:43
• special orthogonal group ( special orthogonal group(rev # 27) | history )
  by Urs Schreiber at October 21, 2026 at 07:25:59
• continuation monad ( continuation monad(rev # 25) | history )
  by Kirk_Sturtz? at October 21, 2026 at 00:11:00
• Bernard Julia ( Bernard Julia(rev # 8) | history )
  by Urs Schreiber at October 20, 2026 at 18:54:09
• phase space ( phase space(rev # 81) | history )
  by Urs Schreiber at October 20, 2026 at 18:43:42
• Sandbox ( Sandbox(rev # 4081) | history )
  by Urs Schreiber at October 20, 2026 at 18:06:02
• Nisnevich site ( Nisnevich site(rev # 14) | history )
  by Timur Obolenskiy? at October 20, 2026 at 17:37:48
• monoid ( monoid(rev # 59) | history )
  by J-B Vienney at October 20, 2026 at 16:04:06
• symmetric monoidal closed category ( symmetric monoidal closed category(rev # 11) | history )
  by Urs Schreiber at October 20, 2026 at 14:50:35
• Charles Ehresmann ( Charles Ehresmann(rev # 20) | history )
  by Urs Schreiber at October 20, 2026 at 14:49:21
• Andrée Ehresmann ( Andrée Ehresmann(rev # 11) | history )
  by Urs Schreiber at October 20, 2026 at 14:48:58
• Stone-Čech compactification ( Stone-Čech compactification(rev # 11) | history )
  by Urs Schreiber at October 20, 2026 at 14:36:01
• continuation monad ( continuation monad(rev # 24) | history )
  by Urs Schreiber at October 20, 2026 at 14:01:50
• decategorification ( decategorification(rev # 26) | history )
  by Urs Schreiber at October 20, 2026 at 13:53:02
• decategorification ( decategorification(rev # 25) | history )
  by deomorxsy? at October 20, 2026 at 13:45:01
• univalence axiom ( univalence axiom(rev # 125) | history )
  by Evan Cavallo at October 20, 2026 at 12:24:16
• continuation monad ( continuation monad(rev # 23) | history )
  by Kirk_Sturtz? at October 20, 2026 at 11:08:00
• CatDat ( CatDat(rev # 5) | history )
  by Martin Brandenburg at October 20, 2026 at 07:33:33
• category theory -- references ( category theory -- references(rev # 10) | history )
  by Martin Brandenburg at October 20, 2026 at 07:31:52
• Martin Brandenburg ( Martin Brandenburg(rev # 20) | history )
  by Martin Brandenburg at October 20, 2026 at 07:31:11
• anyonic topological order via braided fusion categories -- references ( anyonic topological order via braided fusion categories -- references(rev # 30) | history )
  by Urs Schreiber at October 20, 2026 at 06:33:40
• natural bundle ( natural bundle(rev # 13) | history )
  by Urs Schreiber at October 19, 2026 at 20:27:32
• natural bijection ( natural bijection(rev # 3) | history )
  by Urs Schreiber at October 19, 2026 at 19:30:37
• continuation monad ( continuation monad(rev # 22) | history )
  by Urs Schreiber at October 19, 2026 at 19:29:14
• continuation monad ( continuation monad(rev # 21) | history )
  by Urs Schreiber at October 19, 2026 at 17:40:06
• Anders Kock ( Anders Kock(rev # 13) | history )
  by Urs Schreiber at October 19, 2026 at 17:28:23
• Sandbox ( Sandbox(rev # 4080) | history )
  by Urs Schreiber at October 19, 2026 at 17:21:24
• category of generalized elements ( category of generalized elements(rev # 9) | history )
  by Andreas Nuyts at October 19, 2026 at 15:39:07
• New Spaces for Mathematics and Physics ( New Spaces for Mathematics and Physics(rev # 24) | history )
  by Naïm Favier? at October 19, 2026 at 15:27:13
• logos ( logos(rev # 14) | history )
  by Naïm Favier? at October 19, 2026 at 15:24:16
• André Joyal ( André Joyal(rev # 54) | history )
  by Naïm Favier? at October 19, 2026 at 15:23:38
• Mathieu Anel ( Mathieu Anel(rev # 9) | history )
  by Naïm Favier? at October 19, 2026 at 15:23:11
• Schur-Weyl measure ( Schur-Weyl measure(rev # 8) | history )
  by Vladimir? at October 19, 2026 at 15:21:01
• continuation monad ( continuation monad(rev # 20) | history )
  by Anna W? at October 19, 2026 at 13:14:43
• A-model ( A-model(rev # 26) | history )
  by An? at October 19, 2026 at 11:50:16
• A-model ( A-model(rev # 25) | history )
  by An? at October 19, 2026 at 10:19:09
• too simple to be simple ( too simple to be simple(rev # 23) | history )
  by Toby Bartels at October 19, 2026 at 02:36:08
• free loop space ( free loop space(rev # 33) | history )
  by Urs Schreiber at October 18, 2026 at 19:29:08
• Morse theory ( Morse theory(rev # 35) | history )
  by Urs Schreiber at October 18, 2026 at 19:28:28
• nLab materials ( nLab materials(rev # 8) | history )
  by Urs Schreiber at October 18, 2026 at 19:28:00
• Lean ( Lean(rev # 28) | history )
  by Urs Schreiber at October 18, 2026 at 18:36:35
• Tristan Hübsch ( Tristan Hübsch(rev # 13) | history )
  by Tristan Hubsch at October 18, 2026 at 04:36:51
• Grothendieck context ( Grothendieck context(rev # 11) | history )
  by Pablo Curiel? at October 17, 2026 at 21:30:59
• topological space ( topological space(rev # 77) | history )
  by Anselm Schüler? at October 17, 2026 at 17:25:20
• loop space ( loop space(rev # 46) | history )
  by Urs Schreiber at October 17, 2026 at 13:41:25
• Abbas Bahri
  by Urs Schreiber at October 17, 2026 at 13:40:37
• Sadok Kallel ( Sadok Kallel(rev # 17) | history )
  by Urs Schreiber at October 17, 2026 at 13:38:17
• Frederick R. Cohen ( Frederick R. Cohen(rev # 23) | history )
  by Urs Schreiber at October 17, 2026 at 13:37:47
• harmonic map ( harmonic map(rev # 15) | history )
  by Urs Schreiber at October 17, 2026 at 13:20:53
• John Morgan ( John Morgan(rev # 12) | history )
  by Urs Schreiber at October 17, 2026 at 13:19:58
• Morse theory ( Morse theory(rev # 34) | history )
  by Urs Schreiber at October 17, 2026 at 13:17:47
• abelian category ( abelian category(rev # 86) | history )
  by Urs Schreiber at October 17, 2026 at 10:33:04
• formal smooth set ( formal smooth set(rev # 5) | history )
  by Urs Schreiber at October 16, 2026 at 17:35:55
• differential equation ( differential equation(rev # 55) | history )
  by Urs Schreiber at October 16, 2026 at 17:35:06
• Igor Khavkine ( Igor Khavkine(rev # 12) | history )
  by Urs Schreiber at October 16, 2026 at 17:34:15
• jet comonad ( jet comonad(rev # 24) | history )
  by Urs Schreiber at October 16, 2026 at 17:33:40
• Nikita Golub ( Nikita Golub(rev # 5) | history )
  by Urs Schreiber at October 16, 2026 at 17:00:05
• equivariant rational homotopy theory ( equivariant rational homotopy theory(rev # 25) | history )
  by Urs Schreiber at October 16, 2026 at 16:58:50
• recollement ( recollement(rev # 21) | history )
  by Elías Guisado? at October 16, 2026 at 09:51:44
• Sandbox ( Sandbox(rev # 4079) | history )
  by Elías Guisado? at October 16, 2026 at 09:48:14
• perverse sheaf ( perverse sheaf(rev # 17) | history )
  by Elías Guisado? at October 16, 2026 at 09:41:42
• M-theory on G₂-manifolds ( M-theory on G₂-manifolds(rev # 110) | history )
  by Urs Schreiber at October 16, 2026 at 07:36:49
• distributive category ( distributive category(rev # 39) | history )
  by Hew Wolff? at October 15, 2026 at 18:59:35
• edge mode ( edge mode(rev # 26) | history )
  by Urs Schreiber at October 15, 2026 at 18:11:14