nLab Latest Revisions

• Hilbert module ( Hilbert module(rev # 19) | history )
  by David Corfield at June 24, 2025 at 10:21:12
• Haar integral ( Haar integral(rev # 19) | history )
  by Dean Young? at June 24, 2025 at 09:46:59
• tensor category ( tensor category(rev # 24) | history )
  by perezl.alonso at June 24, 2025 at 09:32:37
• filter ( filter(rev # 52) | history )
  by ＩＱ２? at June 24, 2025 at 09:09:14
• operator topology ( operator topology(rev # 8) | history )
  by Urs Schreiber at June 24, 2025 at 08:59:23
• U(ℋ) ( U(ℋ)(rev # 18) | history )
  by Urs Schreiber at June 24, 2025 at 08:57:15
• PU(ℋ) ( PU(ℋ)(rev # 9) | history )
  by Urs Schreiber at June 24, 2025 at 08:55:08
• Mark Naimark ( Mark Naimark(rev # 4) | history )
  by Urs Schreiber at June 24, 2025 at 08:47:03
• normed ring ( normed ring(rev # 20) | history )
  by Urs Schreiber at June 24, 2025 at 08:46:29
• Gruppenpest ( Gruppenpest(rev # 10) | history )
  by Urs Schreiber at June 24, 2025 at 08:24:46
• quantum mechanics ( quantum mechanics(rev # 128) | history )
  by Urs Schreiber at June 24, 2025 at 08:23:38
• David John Simms ( David John Simms(rev # 3) | history )
  by Urs Schreiber at June 24, 2025 at 08:22:25
• Lie group ( Lie group(rev # 74) | history )
  by Urs Schreiber at June 24, 2025 at 08:21:31
• U(ℋ) ( U(ℋ)(rev # 17) | history )
  by Urs Schreiber at June 24, 2025 at 08:01:41
• Moore closure ( Moore closure(rev # 21) | history )
  by ＩＱ２? at June 24, 2025 at 06:25:34
• filter ( filter(rev # 51) | history )
  by ＩＱ２? at June 24, 2025 at 04:33:27
• multinomial coefficient ( multinomial coefficient(rev # 4) | history )
  by Naïm Favier? at June 24, 2025 at 03:19:04
• synthetic quasi-coherence ( synthetic quasi-coherence(rev # 2) | history )
  by p? at June 23, 2025 at 23:41:34
• Sketches of an Elephant ( Sketches of an Elephant(rev # 59) | history )
  by David Roberts at June 23, 2025 at 23:29:22
• multivector field ( multivector field(rev # 12) | history )
  by Urs Schreiber at June 23, 2025 at 17:40:32
• symplectic Lie n-algebroid ( symplectic Lie n-algebroid(rev # 33) | history )
  by Urs Schreiber at June 23, 2025 at 17:22:06
• Schouten bracket ( Schouten bracket(rev # 16) | history )
  by Urs Schreiber at June 23, 2025 at 17:20:00
• Poisson manifold ( Poisson manifold(rev # 40) | history )
  by Urs Schreiber at June 23, 2025 at 17:11:36
• Category Theory conference ( Category Theory conference(rev # 28) | history )
  by Jonas Frey at June 23, 2025 at 16:45:23
• monodromy ( monodromy(rev # 9) | history )
  by Jesus Lopez? at June 23, 2025 at 16:14:48
• confluent relation ( confluent relation(rev # 5) | history )
  by Todd Trimble at June 23, 2025 at 12:36:22
• confluent relation ( confluent relation(rev # 4) | history )
  by Todd Trimble at June 23, 2025 at 11:39:19
• Church-Rosser theorem ( Church-Rosser theorem(rev # 5) | history )
  by Todd Trimble at June 23, 2025 at 11:34:04
• homotopy theory and algebraic topology -- references ( homotopy theory and algebraic topology -- references(rev # 37) | history )
  by Urs Schreiber at June 23, 2025 at 11:15:40
• Klaus Lamotke ( Klaus Lamotke(rev # 4) | history )
  by Urs Schreiber at June 23, 2025 at 11:15:00
• semi-simplicial set ( semi-simplicial set(rev # 31) | history )
  by Urs Schreiber at June 23, 2025 at 11:14:26
• ADE singularity ( ADE singularity(rev # 35) | history )
  by Urs Schreiber at June 23, 2025 at 11:07:42
• Peter Slodowy ( Peter Slodowy(rev # 2) | history )
  by Urs Schreiber at June 23, 2025 at 11:05:20
• Miles Reid ( Miles Reid(rev # 3) | history )
  by Urs Schreiber at June 23, 2025 at 10:55:55
• twisted cohomotopy ( twisted cohomotopy(rev # 20) | history )
  by Urs Schreiber at June 23, 2025 at 09:50:14
• confluent relation ( confluent relation(rev # 3) | history )
  by Todd Trimble at June 23, 2025 at 08:58:57
• AdS-QCD correspondence ( AdS-QCD correspondence(rev # 217) | history )
  by Urs Schreiber at June 23, 2025 at 07:07:19
• Matthias Gaberdiel ( Matthias Gaberdiel(rev # 14) | history )
  by Urs Schreiber at June 23, 2025 at 06:56:56
• AdS3-CFT2 and CS-WZW correspondence ( AdS3-CFT2 and CS-WZW correspondence(rev # 52) | history )
  by Urs Schreiber at June 23, 2025 at 06:56:02
• confluent relation ( confluent relation(rev # 2) | history )
  by Urs Schreiber at June 23, 2025 at 06:48:53
• locally confluent relation ( locally confluent relation(rev # 4) | history )
  by Urs Schreiber at June 23, 2025 at 06:47:40
• confluent relation ( confluent relation(rev # 1) | history )
  by Dmitri Pavlov at June 23, 2025 at 03:04:21
• locally confluent relation ( locally confluent relation(rev # 3) | history )
  by Dmitri Pavlov at June 23, 2025 at 03:03:21
• Delta-generated topological space ( Delta-generated topological space(rev # 35) | history )
  by Urs Schreiber at June 22, 2025 at 21:48:44
• D-topology ( D-topology(rev # 11) | history )
  by Urs Schreiber at June 22, 2025 at 20:37:40
• adjunction between topological spaces and diffeological spaces ( adjunction between topological spaces and diffeological spaces(rev # 15) | history )
  by Urs Schreiber at June 22, 2025 at 20:35:22
• synthetic quasi-coherence ( synthetic quasi-coherence(rev # 1) | history )
  by p? at June 22, 2025 at 17:57:03
• fibration of quasi-categories ( fibration of quasi-categories(rev # 28) | history )
  by Dmitri Pavlov at June 22, 2025 at 17:51:18
• final (infinity,1)-functor ( final (infinity,1)-functor(rev # 30) | history )
  by Dmitri Pavlov at June 22, 2025 at 17:47:55
• Graeme Segal ( Graeme Segal(rev # 31) | history )
  by Urs Schreiber at June 22, 2025 at 17:17:13
• Michael Atiyah ( Michael Atiyah(rev # 50) | history )
  by Urs Schreiber at June 22, 2025 at 17:16:55
• twisted equivariant K-theory ( twisted equivariant K-theory(rev # 23) | history )
  by Urs Schreiber at June 22, 2025 at 17:16:34
• equivariant K-theory ( equivariant K-theory(rev # 72) | history )
  by Urs Schreiber at June 22, 2025 at 17:16:12
• twisted K-theory ( twisted K-theory(rev # 79) | history )
  by Urs Schreiber at June 22, 2025 at 17:15:29
• Martin Schottenloher ( Martin Schottenloher(rev # 4) | history )
  by Urs Schreiber at June 22, 2025 at 16:57:47
• mathematical physics ( mathematical physics(rev # 31) | history )
  by Urs Schreiber at June 22, 2025 at 16:56:53
• U(ℋ) ( U(ℋ)(rev # 16) | history )
  by Urs Schreiber at June 22, 2025 at 16:54:28
• conformal field theory ( conformal field theory(rev # 100) | history )
  by Urs Schreiber at June 22, 2025 at 16:39:51
• twisted K-theory ( twisted K-theory(rev # 78) | history )
  by Urs Schreiber at June 22, 2025 at 16:25:08
• simplicial type theory ( simplicial type theory(rev # 55) | history )
  by p? at June 22, 2025 at 16:18:17
• Baire space of sequences ( Baire space of sequences(rev # 8) | history )
  by Todd Trimble at June 22, 2025 at 16:03:04
• Kock-Lawvere axiom ( Kock-Lawvere axiom(rev # 15) | history )
  by p? at June 22, 2025 at 15:57:32
• Phoa's principle ( Phoa's principle(rev # 9) | history )
  by p? at June 22, 2025 at 15:46:37
• supermanifold ( supermanifold(rev # 61) | history )
  by Arun Debray at June 22, 2025 at 15:20:18
• surface ( surface(rev # 31) | history )
  by Arun Debray at June 22, 2025 at 15:17:46
• hyperbolic 3-manifold ( hyperbolic 3-manifold(rev # 9) | history )
  by Arun Debray at June 22, 2025 at 15:15:51
• MU ( MU(rev # 39) | history )
  by Arun Debray at June 22, 2025 at 15:12:40
• Topos Institute ( Topos Institute(rev # 3) | history )
  by Urs Schreiber at June 22, 2025 at 15:12:00
• Topos Institute ( Topos Institute(rev # 2) | history )
  by Todd Trimble at June 22, 2025 at 15:05:01
• Phoa's principle ( Phoa's principle(rev # 8) | history )
  by Urs Schreiber at June 22, 2025 at 15:04:44
• Wesley Phoa ( Wesley Phoa(rev # 2) | history )
  by Urs Schreiber at June 22, 2025 at 15:04:09
• Topos Institute ( Topos Institute(rev # 1) | history )
  by p? at June 22, 2025 at 14:56:46
• networks of category theorists ( networks of category theorists(rev # 15) | history )
  by p? at June 22, 2025 at 14:56:08
• String bordism ( String bordism(rev # 8) | history )
  by Arun Debray at June 22, 2025 at 14:55:13
• Christina Vasilakopoulou ( Christina Vasilakopoulou(rev # 10) | history )
  by p? at June 22, 2025 at 14:53:41
• bordism ring ( bordism ring(rev # 29) | history )
  by Arun Debray at June 22, 2025 at 14:52:55
• doubly indexed category ( doubly indexed category(rev # 2) | history )
  by p? at June 22, 2025 at 14:50:41
• category theory for dynamical systems ( category theory for dynamical systems(rev # 6) | history )
  by p? at June 22, 2025 at 14:50:11
• David Jaz Myers ( David Jaz Myers(rev # 24) | history )
  by p? at June 22, 2025 at 14:49:36
• dynamical system ( dynamical system(rev # 17) | history )
  by p? at June 22, 2025 at 14:49:15
• polynomial functor ( polynomial functor(rev # 50) | history )
  by p? at June 22, 2025 at 14:47:07
• embedding of differentiable manifolds ( embedding of differentiable manifolds(rev # 26) | history )
  by Arun Debray at June 22, 2025 at 14:45:28
• fundamental theorem of calculus ( fundamental theorem of calculus(rev # 19) | history )
  by p? at June 22, 2025 at 14:43:49
• Steve Vickers ( Steve Vickers(rev # 13) | history )
  by p? at June 22, 2025 at 14:43:32
• spin bordism ( spin bordism(rev # 3) | history )
  by Arun Debray at June 22, 2025 at 14:42:32
• synthetic probability theory ( synthetic probability theory(rev # 7) | history )
  by p? at June 22, 2025 at 14:42:00
• Alex Simpson ( Alex Simpson(rev # 12) | history )
  by p? at June 22, 2025 at 14:41:34
• funding of the nLab ( funding of the nLab(rev # 18) | history )
  by p? at June 22, 2025 at 14:31:19
• David Spivak ( David Spivak(rev # 14) | history )
  by p? at June 22, 2025 at 14:30:12
• Brendan Fong ( Brendan Fong(rev # 3) | history )
  by p? at June 22, 2025 at 14:29:49
• Wesley Phoa ( Wesley Phoa(rev # 1) | history )
  by p? at June 22, 2025 at 14:28:51
• realizability topos ( realizability topos(rev # 27) | history )
  by p? at June 22, 2025 at 14:14:18
• Phoa's principle ( Phoa's principle(rev # 7) | history )
  by p? at June 22, 2025 at 14:12:27
• metric space ( metric space(rev # 71) | history )
  by Urs Schreiber at June 22, 2025 at 10:10:07
• operator norm ( operator norm(rev # 3) | history )
  by Urs Schreiber at June 22, 2025 at 09:56:21
• Hopf fibration ( Hopf fibration(rev # 40) | history )
  by Urs Schreiber at June 22, 2025 at 09:17:30
• differential geometry ( differential geometry(rev # 69) | history )
  by Urs Schreiber at June 22, 2025 at 09:16:17
• compact operator ( compact operator(rev # 9) | history )
  by Urs Schreiber at June 22, 2025 at 09:12:32
• The Geometry of Physics - An Introduction ( The Geometry of Physics - An Introduction(rev # 16) | history )
  by Urs Schreiber at June 22, 2025 at 09:05:48
• B-bordism ( B-bordism(rev # 7) | history )
  by Urs Schreiber at June 22, 2025 at 08:07:37