nLab Latest Revisions

• group of ideles ( group of ideles(rev # 16) | history )
  by perezl.alonso at July 1, 2025 at 22:44:45
• p-adic string theory ( p-adic string theory(rev # 22) | history )
  by perezl.alonso at July 1, 2025 at 20:02:15
• ring of adeles ( ring of adeles(rev # 32) | history )
  by perezl.alonso at July 1, 2025 at 19:52:39
• G-CW complex ( G-CW complex(rev # 32) | history )
  by Urs Schreiber at July 1, 2025 at 19:44:24
• reflection at a hyperplane ( reflection at a hyperplane(rev # 2) | history )
  by Urs Schreiber at July 1, 2025 at 19:31:01
• profinite group ( profinite group(rev # 38) | history )
  by Urs Schreiber at July 1, 2025 at 18:41:09
• profinite completion of the integers ( profinite completion of the integers(rev # 10) | history )
  by perezl.alonso at July 1, 2025 at 18:19:41
• Mark Krein ( Mark Krein(rev # 3) | history )
  by Dmitri Pavlov at July 1, 2025 at 16:43:56
• G-CW complex ( G-CW complex(rev # 31) | history )
  by Urs Schreiber at July 1, 2025 at 15:51:56
• regular language ( regular language(rev # 8) | history )
  by Todd Trimble at July 1, 2025 at 15:04:44
• Israel Gelfand ( Israel Gelfand(rev # 13) | history )
  by Urs Schreiber at July 1, 2025 at 13:46:07
• weak topology ( weak topology(rev # 14) | history )
  by Urs Schreiber at July 1, 2025 at 13:25:53
• topological vector space ( topological vector space(rev # 39) | history )
  by Urs Schreiber at July 1, 2025 at 13:21:45
• weak topology of a topological vector space
  by Urs Schreiber at July 1, 2025 at 13:21:01
• Mark Krein ( Mark Krein(rev # 2) | history )
  by Urs Schreiber at July 1, 2025 at 13:13:24
• Krein-Smulian theorem
  by Urs Schreiber at July 1, 2025 at 13:12:47
• John Horton Conway ( John Horton Conway(rev # 12) | history )
  by Urs Schreiber at July 1, 2025 at 13:07:11
• John B. Conway
  by Urs Schreiber at July 1, 2025 at 13:06:19
• Banach space ( Banach space(rev # 66) | history )
  by Urs Schreiber at July 1, 2025 at 13:00:27
• Sandbox ( Sandbox(rev # 3716) | history )
  by Urs Schreiber at July 1, 2025 at 12:59:26
• Krein-Milman theorem ( Krein-Milman theorem(rev # 2) | history )
  by Urs Schreiber at July 1, 2025 at 12:58:41
• functional analysis ( functional analysis(rev # 17) | history )
  by Urs Schreiber at July 1, 2025 at 12:57:22
• weak topology ( weak topology(rev # 13) | history )
  by Urs Schreiber at July 1, 2025 at 12:41:43
• metric space ( metric space(rev # 74) | history )
  by Todd Trimble at July 1, 2025 at 11:57:52
• Model Categories ( Model Categories(rev # 6) | history )
  by Elías Guisado? at July 1, 2025 at 09:28:21
• two-variable adjunction ( two-variable adjunction(rev # 23) | history )
  by Elías Guisado? at July 1, 2025 at 09:27:04
• locally convex topological vector space ( locally convex topological vector space(rev # 27) | history )
  by Urs Schreiber at July 1, 2025 at 09:23:58
• Mark Krein ( Mark Krein(rev # 1) | history )
  by Urs Schreiber at July 1, 2025 at 09:21:04
• Tannaka-Krein theorem ( Tannaka-Krein theorem(rev # 4) | history )
  by Urs Schreiber at July 1, 2025 at 09:20:16
• Tannaka duality ( Tannaka duality(rev # 62) | history )
  by Urs Schreiber at July 1, 2025 at 09:19:25
• Krein-Milman theorem ( Krein-Milman theorem(rev # 1) | history )
  by Urs Schreiber at July 1, 2025 at 09:15:04
• extreme point
  by Urs Schreiber at July 1, 2025 at 09:11:01
• convex set ( convex set(rev # 10) | history )
  by Urs Schreiber at July 1, 2025 at 09:09:27
• functional analysis ( functional analysis(rev # 16) | history )
  by Urs Schreiber at July 1, 2025 at 09:05:26
• functional analysis bibliography ( functional analysis bibliography(rev # 7) | history )
  by Urs Schreiber at July 1, 2025 at 09:04:23
• Walter Rudin ( Walter Rudin(rev # 3) | history )
  by Urs Schreiber at July 1, 2025 at 09:00:33
• locally convex topological vector space ( locally convex topological vector space(rev # 26) | history )
  by Urs Schreiber at July 1, 2025 at 08:52:00
• Rune Haugseng ( Rune Haugseng(rev # 6) | history )
  by Urs Schreiber at July 1, 2025 at 08:49:25
• Ieke Moerdijk ( Ieke Moerdijk(rev # 19) | history )
  by Urs Schreiber at July 1, 2025 at 08:39:24
• abelian sheaf cohomology ( abelian sheaf cohomology(rev # 42) | history )
  by Urs Schreiber at July 1, 2025 at 08:36:55
• Verdier duality ( Verdier duality(rev # 18) | history )
  by Urs Schreiber at July 1, 2025 at 08:28:52
• Rune Haugseng ( Rune Haugseng(rev # 5) | history )
  by David Corfield at July 1, 2025 at 08:23:14
• ultracategory ( ultracategory(rev # 14) | history )
  by David Corfield at July 1, 2025 at 07:49:37
• Giry monad ( Giry monad(rev # 88) | history )
  by Kirk Sturtz at July 1, 2025 at 07:17:04
• quantum Hall effect ( quantum Hall effect(rev # 96) | history )
  by Urs Schreiber at July 1, 2025 at 07:05:38
• fusion 2-category ( fusion 2-category(rev # 6) | history )
  by Urs Schreiber at July 1, 2025 at 06:47:50
• spinᶜ ( spinᶜ(rev # 34) | history )
  by Jesus Lopez? at July 1, 2025 at 01:46:45
• convenient vector space ( convenient vector space(rev # 13) | history )
  by Ben Eltschig? at June 30, 2025 at 20:56:22
• context-free grammar ( context-free grammar(rev # 9) | history )
  by Todd Trimble at June 30, 2025 at 19:01:53
• Rune Haugseng ( Rune Haugseng(rev # 4) | history )
  by Urs Schreiber at June 30, 2025 at 18:40:27
• (infinity,1)-category ( (infinity,1)-category(rev # 107) | history )
  by Urs Schreiber at June 30, 2025 at 18:39:09
• quasi-category ( quasi-category(rev # 83) | history )
  by Urs Schreiber at June 30, 2025 at 18:37:37
• confluent (∞,1)-category ( confluent (∞,1)-category(rev # 2) | history )
  by Urs Schreiber at June 30, 2025 at 18:36:16
• Pavel Putrov ( Pavel Putrov(rev # 6) | history )
  by Urs Schreiber at June 30, 2025 at 18:33:47
• profinite completion of the integers ( profinite completion of the integers(rev # 9) | history )
  by Urs Schreiber at June 30, 2025 at 18:31:04
• profinite group ( profinite group(rev # 37) | history )
  by Urs Schreiber at June 30, 2025 at 18:30:18
• filtered (infinity,1)-category ( filtered (infinity,1)-category(rev # 16) | history )
  by Dmitri Pavlov at June 30, 2025 at 16:48:41
• confluent (∞,1)-category ( confluent (∞,1)-category(rev # 1) | history )
  by Dmitri Pavlov at June 30, 2025 at 16:46:16
• profinite group ( profinite group(rev # 36) | history )
  by perezl.alonso at June 30, 2025 at 15:23:46
• metric space ( metric space(rev # 73) | history )
  by Urs Schreiber at June 30, 2025 at 15:22:49
• cocomplete category ( cocomplete category(rev # 21) | history )
  by Urs Schreiber at June 30, 2025 at 15:14:39
• Emily Riehl ( Emily Riehl(rev # 46) | history )
  by Elías Guisado? at June 30, 2025 at 12:54:05
• metric space ( metric space(rev # 72) | history )
  by Todd Trimble at June 30, 2025 at 12:53:19
• symmetry protected topological phase ( symmetry protected topological phase(rev # 53) | history )
  by Urs Schreiber at June 30, 2025 at 11:58:14
• topological crystalline insulator ( topological crystalline insulator(rev # 11) | history )
  by Urs Schreiber at June 30, 2025 at 11:54:39
• Tannaka duality ( Tannaka duality(rev # 61) | history )
  by Qin Yuxuan? at June 30, 2025 at 10:53:11
• cocomplete category ( cocomplete category(rev # 20) | history )
  by varkor at June 30, 2025 at 09:54:55
• null system ( null system(rev # 7) | history )
  by Todd Trimble at June 30, 2025 at 09:50:16
• flexible limit ( flexible limit(rev # 18) | history )
  by varkor at June 30, 2025 at 09:06:57
• Emil Martinec ( Emil Martinec(rev # 9) | history )
  by Urs Schreiber at June 30, 2025 at 07:15:21
• little string theory ( little string theory(rev # 21) | history )
  by Urs Schreiber at June 30, 2025 at 07:14:47
• Bondi-Metzner-Sachs group ( Bondi-Metzner-Sachs group(rev # 4) | history )
  by Urs Schreiber at June 30, 2025 at 07:06:56
• list of theses in category theory ( list of theses in category theory(rev # 68) | history )
  by David Roberts? at June 30, 2025 at 05:20:04
• pointed set ( pointed set(rev # 14) | history )
  by David Roberts? at June 30, 2025 at 05:19:33
• Whitehead tower in an (infinity,1)-topos ( Whitehead tower in an (infinity,1)-topos(rev # 14) | history )
  by David Roberts? at June 30, 2025 at 05:18:50
• Whitney extension theorem ( Whitney extension theorem(rev # 11) | history )
  by David Roberts? at June 30, 2025 at 05:17:12
• D-topological infinity-groupoid ( D-topological infinity-groupoid(rev # 55) | history )
  by David Roberts? at June 30, 2025 at 05:16:55
• Danny Stevenson ( Danny Stevenson(rev # 8) | history )
  by David Roberts? at June 30, 2025 at 05:16:14
• principal infinity-bundle ( principal infinity-bundle(rev # 69) | history )
  by David Roberts? at June 30, 2025 at 05:15:29
• principal 2-bundle ( principal 2-bundle(rev # 32) | history )
  by David Roberts? at June 30, 2025 at 05:15:06
• null system ( null system(rev # 6) | history )
  by David Roberts? at June 30, 2025 at 05:13:29
• moduli space ( moduli space(rev # 37) | history )
  by David Roberts? at June 30, 2025 at 05:11:27
• G₂ manifold ( G₂ manifold(rev # 75) | history )
  by Cat Is Fluffy? at June 30, 2025 at 05:10:50
• Dold fibration ( Dold fibration(rev # 15) | history )
  by David Roberts? at June 30, 2025 at 05:09:59
• manifold structure of mapping spaces ( manifold structure of mapping spaces(rev # 21) | history )
  by David Roberts? at June 30, 2025 at 05:04:24
• predicative topos ( predicative topos(rev # 13) | history )
  by David Roberts? at June 30, 2025 at 05:02:06
• weak equivalence of internal categories ( weak equivalence of internal categories(rev # 10) | history )
  by David Roberts? at June 30, 2025 at 05:01:33
• string 2-group ( string 2-group(rev # 52) | history )
  by David Roberts? at June 30, 2025 at 05:01:07
• mapping stack ( mapping stack(rev # 10) | history )
  by David Roberts? at June 30, 2025 at 05:00:44
• magmoidal category ( magmoidal category(rev # 11) | history )
  by David Roberts? at June 30, 2025 at 05:00:18
• WISC ( WISC(rev # 29) | history )
  by David Roberts? at June 30, 2025 at 04:58:17
• large site ( large site(rev # 13) | history )
  by David Roberts? at June 30, 2025 at 04:58:02
• large site ( large site(rev # 12) | history )
  by Dmitri Pavlov at June 30, 2025 at 03:41:16
• Jacobi symbol ( Jacobi symbol(rev # 3) | history )
  by Todd Trimble at June 29, 2025 at 22:17:46
• signature of a permutation ( signature of a permutation(rev # 8) | history )
  by Todd Trimble at June 29, 2025 at 21:59:42
• large site ( large site(rev # 11) | history )
  by Urs Schreiber at June 29, 2025 at 21:20:21
• model structure on simplicial presheaves ( model structure on simplicial presheaves(rev # 158) | history )
  by Urs Schreiber at June 29, 2025 at 21:19:08
• simplicial presheaf ( simplicial presheaf(rev # 24) | history )
  by Urs Schreiber at June 29, 2025 at 21:18:44
• John Frederick Jardine ( John Frederick Jardine(rev # 18) | history )
  by Urs Schreiber at June 29, 2025 at 21:18:32
• Benjamin Blander ( Benjamin Blander(rev # 3) | history )
  by Urs Schreiber at June 29, 2025 at 21:15:51