nLab Latest Revisions

• isometry group ( isometry group(rev # 6) | history )
  by Urs Schreiber at May 17, 2026 at 14:22:57
• volume preserving diffeomorphism ( volume preserving diffeomorphism(rev # 35) | history )
  by Urs Schreiber at May 17, 2026 at 14:22:33
• Jeffrey M. Cohen
  by Samuel Adrian Antz at May 17, 2026 at 14:22:07
• Kay R. Pechenick
  by Samuel Adrian Antz at May 17, 2026 at 14:22:05
• quantomorphism group ( quantomorphism group(rev # 30) | history )
  by Urs Schreiber at May 17, 2026 at 14:21:59
• symplectomorphism group ( symplectomorphism group(rev # 7) | history )
  by Urs Schreiber at May 17, 2026 at 14:21:22
• homeomorphism group ( homeomorphism group(rev # 2) | history )
  by Urs Schreiber at May 17, 2026 at 14:21:13
• Einstein-Dirac theory
  by Samuel Adrian Antz at May 17, 2026 at 14:20:55
• Shing-Tung Yau ( Shing-Tung Yau(rev # 13) | history )
  by Samuel Adrian Antz at May 17, 2026 at 14:20:21
• Joel Smoller ( Joel Smoller(rev # 3) | history )
  by Samuel Adrian Antz at May 17, 2026 at 14:20:19
• Felix Finster ( Felix Finster(rev # 3) | history )
  by Samuel Adrian Antz at May 17, 2026 at 14:20:17
• diffeomorphism group ( diffeomorphism group(rev # 24) | history )
  by Urs Schreiber at May 17, 2026 at 14:18:03
• Serre finiteness theorem ( Serre finiteness theorem(rev # 7) | history )
  by Urs Schreiber at May 17, 2026 at 14:15:09
• Einstein-Cartan-Dirac theory
  by Samuel Adrian Antz at May 17, 2026 at 14:10:53
• Einstein-Cartan theory
  by Samuel Adrian Antz at May 17, 2026 at 14:10:47
• Einstein-Dirac-Maxwell theory
  by Samuel Adrian Antz at May 17, 2026 at 14:10:40
• piecewise-linear homeomorphism
  by Samuel Adrian Antz at May 17, 2026 at 13:49:16
• homeomorphism group ( homeomorphism group(rev # 1) | history )
  by Samuel Adrian Antz at May 17, 2026 at 13:49:07
• piecewise-linear function
  by Samuel Adrian Antz at May 17, 2026 at 13:49:01
• simplicial complex ( simplicial complex(rev # 49) | history )
  by Samuel Adrian Antz at May 17, 2026 at 13:47:34
• manifold ( manifold(rev # 52) | history )
  by Samuel Adrian Antz at May 17, 2026 at 13:46:59
• basis in functional analysis ( basis in functional analysis(rev # 11) | history )
  by Samuel Adrian Antz at May 17, 2026 at 13:45:45
• Serre long exact sequence ( Serre long exact sequence(rev # 12) | history )
  by Urs Schreiber at May 17, 2026 at 13:40:53
• Haynes Miller ( Haynes Miller(rev # 5) | history )
  by Urs Schreiber at May 17, 2026 at 13:39:50
• homotopy theory and algebraic topology -- references ( homotopy theory and algebraic topology -- references(rev # 47) | history )
  by Urs Schreiber at May 17, 2026 at 13:38:43
• cellular approximation theorem ( cellular approximation theorem(rev # 16) | history )
  by Urs Schreiber at May 17, 2026 at 13:27:55
• Hurewicz theorem ( Hurewicz theorem(rev # 31) | history )
  by Urs Schreiber at May 17, 2026 at 13:20:20
• Serre long exact sequence ( Serre long exact sequence(rev # 11) | history )
  by Urs Schreiber at May 17, 2026 at 13:08:36
• spectral sequence ( spectral sequence(rev # 79) | history )
  by Urs Schreiber at May 17, 2026 at 12:21:19
• Serre long exact sequence ( Serre long exact sequence(rev # 10) | history )
  by Urs Schreiber at May 17, 2026 at 11:40:40
• Hirzebruch signature theorem ( Hirzebruch signature theorem(rev # 3) | history )
  by Samuel Adrian Antz at May 17, 2026 at 09:26:37
• Dolgachev surface ( Dolgachev surface(rev # 4) | history )
  by Urs Schreiber at May 17, 2026 at 04:24:52
• interval type ( interval type(rev # 45) | history )
  by Matthew Rumizen? at May 17, 2026 at 01:48:29
• interval object ( interval object(rev # 69) | history )
  by Matthew Rumizen? at May 17, 2026 at 01:26:11
• Robert Gompf ( Robert Gompf(rev # 4) | history )
  by Samuel Adrian Antz at May 16, 2026 at 23:06:43
• exotic R^4 ( exotic R^4(rev # 4) | history )
  by Samuel Adrian Antz at May 16, 2026 at 23:06:07
• Selman Akbulut ( Selman Akbulut(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 22:48:23
• Dolgachev surface ( Dolgachev surface(rev # 3) | history )
  by Samuel Adrian Antz at May 16, 2026 at 22:47:54
• fake second complex projective space ( fake second complex projective space(rev # 3) | history )
  by Urs Schreiber at May 16, 2026 at 20:58:28
• Serre long exact sequence ( Serre long exact sequence(rev # 9) | history )
  by Urs Schreiber at May 16, 2026 at 20:49:17
• Serre long exact sequence ( Serre long exact sequence(rev # 8) | history )
  by Urs Schreiber at May 16, 2026 at 18:38:38
• C^∞-scheme ( C^∞-scheme(rev # 2) | history )
  by J-B Vienney at May 16, 2026 at 17:33:17
• C^∞-ring ( C^∞-ring(rev # 66) | history )
  by J-B Vienney at May 16, 2026 at 17:31:55
• Blakers-Massey theorem ( Blakers-Massey theorem(rev # 51) | history )
  by Urs Schreiber at May 16, 2026 at 16:52:44
• generalized filter space ( generalized filter space(rev # 6) | history )
  by ＩＱ２? at May 16, 2026 at 16:29:11
• homotopy theory and algebraic topology -- references ( homotopy theory and algebraic topology -- references(rev # 46) | history )
  by Urs Schreiber at May 16, 2026 at 16:00:46
• long exact sequence of homotopy groups ( long exact sequence of homotopy groups(rev # 18) | history )
  by Urs Schreiber at May 16, 2026 at 15:55:44
• bulk-boundary correspondence ( bulk-boundary correspondence(rev # 10) | history )
  by Urs Schreiber at May 16, 2026 at 15:55:03
• Terence Wall ( Terence Wall(rev # 10) | history )
  by Urs Schreiber at May 16, 2026 at 15:09:59
• four-dimensional geometry and topology -- table ( four-dimensional geometry and topology -- table(rev # 2) | history )
  by Urs Schreiber at May 16, 2026 at 14:46:26
• primitive recursive arithmetic ( primitive recursive arithmetic(rev # 8) | history )
  by Victor Sannier? at May 16, 2026 at 14:33:59
• Rokhlin theorem ( Rokhlin theorem(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:33:36
• four-dimensional geometry and topology -- table ( four-dimensional geometry and topology -- table(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:32:08
• Kirby-Siebenmann invariant ( Kirby-Siebenmann invariant(rev # 5) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:31:00
• intersection pairing ( intersection pairing(rev # 18) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:30:34
• Seiberg-Witten theory ( Seiberg-Witten theory(rev # 38) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:30:17
• Donaldson theory ( Donaldson theory(rev # 7) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:29:58
• Poincaré conjecture ( Poincaré conjecture(rev # 12) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:29:50
• simple type conjecture ( simple type conjecture(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:29:20
• 11/8 conjecture ( 11/8 conjecture(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:29:03
• 3/2 conjecture ( 3/2 conjecture(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:28:54
• Wu formula ( Wu formula(rev # 3) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:28:41
• Wall theorems ( Wall theorems(rev # 3) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:28:15
• van der Blij lemma ( van der Blij lemma(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:28:03
• Quinn theorem ( Quinn theorem(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:27:53
• Hitchin-Thorpe inequality ( Hitchin-Thorpe inequality(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:27:45
• Hirzebruch signature theorem ( Hirzebruch signature theorem(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:27:37
• Furuta theorem ( Furuta theorem(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:27:17
• Freedman classification ( Freedman classification(rev # 3) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:27:09
• Donaldson's theorem ( Donaldson's theorem(rev # 6) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:25:53
• fake second complex projective space ( fake second complex projective space(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:25:33
• exotic R^4 ( exotic R^4(rev # 3) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:25:15
• E₈ manifold ( E₈ manifold(rev # 6) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:25:05
• Dolgachev surface ( Dolgachev surface(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 14:24:27
• Frank Quinn ( Frank Quinn(rev # 11) | history )
  by Urs Schreiber at May 16, 2026 at 14:18:53
• Michael Freedman ( Michael Freedman(rev # 18) | history )
  by Urs Schreiber at May 16, 2026 at 14:18:02
• h-cobordism ( h-cobordism(rev # 3) | history )
  by Urs Schreiber at May 16, 2026 at 14:15:46
• h-cobordism theorem ( h-cobordism theorem(rev # 8) | history )
  by Urs Schreiber at May 16, 2026 at 14:15:12
• 4-manifold ( 4-manifold(rev # 12) | history )
  by Urs Schreiber at May 16, 2026 at 14:14:38
• Terence Wall ( Terence Wall(rev # 9) | history )
  by Urs Schreiber at May 16, 2026 at 14:14:05
• Wall theorems ( Wall theorems(rev # 2) | history )
  by Urs Schreiber at May 16, 2026 at 14:13:18
• Freedman classification ( Freedman classification(rev # 2) | history )
  by Urs Schreiber at May 16, 2026 at 14:06:00
• Wu formula ( Wu formula(rev # 2) | history )
  by Urs Schreiber at May 16, 2026 at 14:05:07
• Wen-Tsun Wu ( Wen-Tsun Wu(rev # 2) | history )
  by Urs Schreiber at May 16, 2026 at 14:04:39
• Wu class ( Wu class(rev # 21) | history )
  by Urs Schreiber at May 16, 2026 at 14:04:01
• Phoa's principle ( Phoa's principle(rev # 11) | history )
  by p? at May 16, 2026 at 12:40:31
• synthetic quasi-coherence ( synthetic quasi-coherence(rev # 3) | history )
  by p? at May 16, 2026 at 12:40:09
• formal (infinity,1)-category theory ( formal (infinity,1)-category theory(rev # 17) | history )
  by p? at May 16, 2026 at 12:39:38
• synthetic domain theory ( synthetic domain theory(rev # 14) | history )
  by p? at May 16, 2026 at 12:38:37
• partial map classifier ( partial map classifier(rev # 24) | history )
  by p? at May 16, 2026 at 12:37:47
• Wall theorems ( Wall theorems(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:20:59
• Dolgachev surface ( Dolgachev surface(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:16:34
• fake second complex projective space ( fake second complex projective space(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:15:10
• Huan's inertia orbifold ( Huan's inertia orbifold(rev # 12) | history )
  by Urs Schreiber at May 16, 2026 at 11:14:28
• Selman Akbulut ( Selman Akbulut(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:13:46
• 3/2 conjecture ( 3/2 conjecture(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:10:01
• 11/8 conjecture ( 11/8 conjecture(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:09:37
• Wu formula ( Wu formula(rev # 1) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:09:09
• h-cobordism ( h-cobordism(rev # 2) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:08:01
• simply connected space ( simply connected space(rev # 10) | history )
  by Samuel Adrian Antz at May 16, 2026 at 11:05:13