nLab Latest Revisions

• monoidal preorder ( monoidal preorder(rev # 5) | history )
  by Evan Patterson at June 9, 2025 at 10:10:48
• open problem of confinement -- references ( open problem of confinement -- references(rev # 33) | history )
  by Urs Schreiber at June 9, 2025 at 06:16:49
• Alg ( Alg(rev # 8) | history )
  by Urs Schreiber at June 9, 2025 at 05:56:19
• confinement ( confinement(rev # 85) | history )
  by Urs Schreiber at June 9, 2025 at 05:00:56
• Yang-Mills mass gap ( Yang-Mills mass gap(rev # 51) | history )
  by Urs Schreiber at June 9, 2025 at 04:56:53
• string scattering amplitude ( string scattering amplitude(rev # 42) | history )
  by Urs Schreiber at June 9, 2025 at 04:48:40
• subalgebra ( subalgebra(rev # 2) | history )
  by Urs Schreiber at June 9, 2025 at 04:44:15
• gaunt category ( gaunt category(rev # 21) | history )
  by p? at June 8, 2025 at 22:18:06
• dominant functor ( dominant functor(rev # 7) | history )
  by varkor at June 8, 2025 at 21:34:42
• Rezk complete type ( Rezk complete type(rev # 6) | history )
  by p? at June 8, 2025 at 20:06:19
• simplicial type theory ( simplicial type theory(rev # 54) | history )
  by p? at June 8, 2025 at 20:06:09
• gaunt category ( gaunt category(rev # 20) | history )
  by p? at June 8, 2025 at 20:05:01
• skeleton ( skeleton(rev # 44) | history )
  by p? at June 8, 2025 at 20:02:24
• gaunt type > history ( gaunt type > history(rev # 6) | history )
  by p? at June 8, 2025 at 20:01:34
• simplicial type theory ( simplicial type theory(rev # 53) | history )
  by p? at June 8, 2025 at 18:50:10
• isomorphism in simplicial type theory ( isomorphism in simplicial type theory(rev # 11) | history )
  by p? at June 8, 2025 at 18:49:09
• simplicial type ( simplicial type(rev # 2) | history )
  by p? at June 8, 2025 at 17:37:57
• skeletal type ( skeletal type(rev # 6) | history )
  by p? at June 8, 2025 at 17:37:08
• skeleton ( skeleton(rev # 43) | history )
  by p? at June 8, 2025 at 17:30:51
• gaunt type > history ( gaunt type > history(rev # 5) | history )
  by p? at June 8, 2025 at 17:19:35
• univalent category ( univalent category(rev # 39) | history )
  by p? at June 8, 2025 at 17:15:09
• simplicial skeleton ( simplicial skeleton(rev # 44) | history )
  by p? at June 8, 2025 at 17:02:58
• equivariant K-theory ( equivariant K-theory(rev # 71) | history )
  by Urs Schreiber at June 8, 2025 at 12:42:27
• separation axioms ( separation axioms(rev # 59) | history )
  by ＩＱ２? at June 8, 2025 at 07:46:33
• copyright > history ( copyright > history(rev # 8) | history )
  by Dmitri Pavlov at June 8, 2025 at 05:45:43
• nInsights > history ( nInsights > history(rev # 6) | history )
  by Dmitri Pavlov at June 8, 2025 at 05:43:36
• Frames and Locales ( Frames and Locales(rev # 7) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:55:57
• spatial locale ( spatial locale(rev # 19) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:53:55
• closed morphism ( closed morphism(rev # 10) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:39:44
• locally connected locale ( locally connected locale(rev # 2) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:35:39
• subalgebra ( subalgebra(rev # 1) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:26:03
• symmetric monoidal dagger category ( symmetric monoidal dagger category(rev # 6) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:24:16
• symmetric monoidal dagger category > history ( symmetric monoidal dagger category > history(rev # 4) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:23:41
• monads of probability, measures, and valuations ( monads of probability, measures, and valuations(rev # 49) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:18:13
• probabilistic powerdomain
  by Dmitri Pavlov at June 8, 2025 at 04:17:59
• valuation monad on locales
  by Dmitri Pavlov at June 8, 2025 at 04:17:34
• de Rham complex ( de Rham complex(rev # 50) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:12:35
• sigma-ideal ( sigma-ideal(rev # 7) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:10:11
• H-space ( H-space(rev # 56) | history )
  by Dmitri Pavlov at June 8, 2025 at 04:03:22
• wavelet
  by Dmitri Pavlov at June 8, 2025 at 03:55:02
• linguistics - contents ( linguistics - contents(rev # 6) | history )
  by Dmitri Pavlov at June 8, 2025 at 03:48:59
• strict monoidal category ( strict monoidal category(rev # 16) | history )
  by Dmitri Pavlov at June 8, 2025 at 03:47:26
• monoid theory - contents ( monoid theory - contents(rev # 6) | history )
  by Dmitri Pavlov at June 8, 2025 at 03:44:01
• monoidal categories - contents ( monoidal categories - contents(rev # 16) | history )
  by Dmitri Pavlov at June 8, 2025 at 03:24:27
• symmetric monoidal dagger category ( symmetric monoidal dagger category(rev # 5) | history )
  by Dmitri Pavlov at June 8, 2025 at 03:23:21
• copyright > history ( copyright > history(rev # 7) | history )
  by Dmitri Pavlov at June 8, 2025 at 03:04:10
• Jim Simons > history ( Jim Simons > history(rev # 2) | history )
  by Dmitri Pavlov at June 8, 2025 at 03:02:52
• JM > history ( JM > history(rev # 2) | history )
  by Dmitri Pavlov at June 8, 2025 at 03:00:46
• things to be categorified > history ( things to be categorified > history(rev # 8) | history )
  by Dmitri Pavlov at June 8, 2025 at 02:57:26
• BRICS > history ( BRICS > history(rev # 2) | history )
  by Dmitri Pavlov at June 8, 2025 at 02:52:46
• Discrete causal spaces > history ( Discrete causal spaces > history(rev # 17) | history )
  by Dmitri Pavlov at June 8, 2025 at 02:51:26
• Eli Cartan > history ( Eli Cartan > history(rev # 2) | history )
  by Dmitri Pavlov at June 8, 2025 at 02:50:08
• group homotopy > history ( group homotopy > history(rev # 5) | history )
  by Dmitri Pavlov at June 8, 2025 at 02:47:40
• nInsights > history ( nInsights > history(rev # 5) | history )
  by Dmitri Pavlov at June 8, 2025 at 02:43:09
• fibration theory ( fibration theory(rev # 6) | history )
  by Dmitri Pavlov at June 8, 2025 at 02:38:15
• discussion on terminology -- omega-category > history ( discussion on terminology -- omega-category > history(rev # 7) | history )
  by Dmitri Pavlov at June 8, 2025 at 02:21:42
• strict omega-category ( strict omega-category(rev # 36) | history )
  by Dmitri Pavlov at June 8, 2025 at 02:20:10
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 17) | history )
  by Urs Schreiber at June 7, 2025 at 20:27:20
• Ashvin Vishwanath ( Ashvin Vishwanath(rev # 5) | history )
  by Urs Schreiber at June 7, 2025 at 20:06:32
• Yuan-Ming Lu ( Yuan-Ming Lu(rev # 2) | history )
  by Urs Schreiber at June 7, 2025 at 20:04:41
• abelian Chern-Simons for fractional quantum Hall effect -- references ( abelian Chern-Simons for fractional quantum Hall effect -- references(rev # 23) | history )
  by Urs Schreiber at June 7, 2025 at 20:03:21
• topological crystalline insulator ( topological crystalline insulator(rev # 9) | history )
  by Urs Schreiber at June 7, 2025 at 19:04:00
• Liang Fu ( Liang Fu(rev # 6) | history )
  by Urs Schreiber at June 7, 2025 at 18:57:34
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 16) | history )
  by Urs Schreiber at June 7, 2025 at 18:36:56
• basic complex line bundle on the 2-sphere ( basic complex line bundle on the 2-sphere(rev # 16) | history )
  by Urs Schreiber at June 7, 2025 at 17:44:57
• Sandbox ( Sandbox(rev # 3708) | history )
  by Urs Schreiber at June 7, 2025 at 17:17:15
• rational cohomotopy ( rational cohomotopy(rev # 6) | history )
  by Thomas Platz? at June 7, 2025 at 16:28:12
• HowTo ( HowTo(rev # 220) | history )
  by Dmitri Pavlov at June 7, 2025 at 14:52:14
• basic complex line bundle on the 2-sphere ( basic complex line bundle on the 2-sphere(rev # 15) | history )
  by Urs Schreiber at June 7, 2025 at 14:44:07
• Daniel P. Arovas ( Daniel P. Arovas(rev # 3) | history )
  by Urs Schreiber at June 7, 2025 at 14:35:30
• quantum Hall effect ( quantum Hall effect(rev # 95) | history )
  by Urs Schreiber at June 7, 2025 at 14:34:24
• Chern insulator ( Chern insulator(rev # 11) | history )
  by Urs Schreiber at June 7, 2025 at 14:21:57
• Atiyah-Jänich theorem ( Atiyah-Jänich theorem(rev # 2) | history )
  by Urs Schreiber at June 7, 2025 at 14:05:05
• Hopf fibration ( Hopf fibration(rev # 38) | history )
  by Urs Schreiber at June 7, 2025 at 13:11:45
• Sandbox ( Sandbox(rev # 3707) | history )
  by Urs Schreiber at June 7, 2025 at 12:26:38
• SU(2) ( SU(2)(rev # 29) | history )
  by Urs Schreiber at June 7, 2025 at 12:17:35
• theory of algebraically closed fields ( theory of algebraically closed fields(rev # 10) | history )
  by safari? at June 7, 2025 at 10:32:10
• Sandbox ( Sandbox(rev # 3706) | history )
  by Urs Schreiber at June 7, 2025 at 10:28:31
• Sandbox ( Sandbox(rev # 3705) | history )
  by Urs Schreiber at June 7, 2025 at 09:24:46
• Mikio Nakahara ( Mikio Nakahara(rev # 3) | history )
  by Urs Schreiber at June 7, 2025 at 08:49:29
• Topos ( Topos(rev # 21) | history )
  by Urs Schreiber at June 7, 2025 at 07:44:54
• empty 231 ( empty 231(rev # 11) | history )
  by Urs Schreiber at June 7, 2025 at 07:42:25
• empty 231 ( empty 231(rev # 10) | history )
  by Dmitri Pavlov at June 7, 2025 at 03:13:44
• propositional type theory ( propositional type theory(rev # 124) | history )
  by type theorist? at June 7, 2025 at 01:13:26
• Atiyah Lie groupoid ( Atiyah Lie groupoid(rev # 26) | history )
  by Jesus Lopez? at June 7, 2025 at 00:10:24
• basic complex line bundle on the 2-sphere ( basic complex line bundle on the 2-sphere(rev # 14) | history )
  by Urs Schreiber at June 6, 2025 at 19:37:42
• Sandbox ( Sandbox(rev # 3704) | history )
  by Urs Schreiber at June 6, 2025 at 19:02:08
• Erik van Erp ( Erik van Erp(rev # 3) | history )
  by Urs Schreiber at June 6, 2025 at 17:34:46
• Paul Baum ( Paul Baum(rev # 3) | history )
  by Urs Schreiber at June 6, 2025 at 17:33:19
• Atiyah-Singer index theorem ( Atiyah-Singer index theorem(rev # 16) | history )
  by Urs Schreiber at June 6, 2025 at 17:30:15
• Dirac operator ( Dirac operator(rev # 23) | history )
  by Urs Schreiber at June 6, 2025 at 17:27:47
• twisted K-theory ( twisted K-theory(rev # 75) | history )
  by Urs Schreiber at June 6, 2025 at 16:36:21
• topological K-theory ( topological K-theory(rev # 143) | history )
  by Urs Schreiber at June 6, 2025 at 16:35:17
• Klaus Jänich ( Klaus Jänich(rev # 5) | history )
  by Urs Schreiber at June 6, 2025 at 16:34:17
• Atiyah-Jänich theorem ( Atiyah-Jänich theorem(rev # 1) | history )
  by Urs Schreiber at June 6, 2025 at 16:33:57
• Michael Atiyah ( Michael Atiyah(rev # 49) | history )
  by Urs Schreiber at June 6, 2025 at 16:28:15
• Sandbox ( Sandbox(rev # 3703) | history )
  by Urs Schreiber at June 6, 2025 at 16:20:07
• limited principle of omniscience ( limited principle of omniscience(rev # 25) | history )
  by Peter? at June 6, 2025 at 16:19:08
• topological K-theory ( topological K-theory(rev # 142) | history )
  by Urs Schreiber at June 6, 2025 at 16:03:03
• Fredholm operator ( Fredholm operator(rev # 30) | history )
  by Urs Schreiber at June 6, 2025 at 15:54:12