nLab Latest Revisions

• indexed heterogeneous identity type ( indexed heterogeneous identity type(rev # 45) | history )
  by p? at July 2, 2025 at 12:37:03
• higher observational type theory ( higher observational type theory(rev # 33) | history )
  by p? at July 2, 2025 at 12:36:43
• parametric dependent type theory ( parametric dependent type theory(rev # 12) | history )
  by p? at July 2, 2025 at 12:36:07
• two-variable adjunction ( two-variable adjunction(rev # 24) | history )
  by Elías Guisado? at July 2, 2025 at 10:32:48
• tensor triangulated category ( tensor triangulated category(rev # 14) | history )
  by Elías Guisado? at July 2, 2025 at 08:31:26
• Lie algebra cohomology ( Lie algebra cohomology(rev # 40) | history )
  by Urs Schreiber at July 2, 2025 at 07:55:25
• Rainer Verch ( Rainer Verch(rev # 4) | history )
  by Urs Schreiber at July 2, 2025 at 06:37:09
• AQFT ( AQFT(rev # 94) | history )
  by Urs Schreiber at July 2, 2025 at 06:36:29
• differential graded Lie algebra ( differential graded Lie algebra(rev # 37) | history )
  by Urs Schreiber at July 2, 2025 at 06:32:24
• Lie derivative ( Lie derivative(rev # 7) | history )
  by Urs Schreiber at July 2, 2025 at 06:26:42
• covariant derivative ( covariant derivative(rev # 22) | history )
  by Urs Schreiber at July 2, 2025 at 06:26:18
• Grigorios Giotopoulos ( Grigorios Giotopoulos(rev # 13) | history )
  by Urs Schreiber at July 2, 2025 at 06:26:00
• Eric Sharpe ( Eric Sharpe(rev # 12) | history )
  by Urs Schreiber at July 2, 2025 at 06:16:48
• Leonardo C. Mihalcea ( Leonardo C. Mihalcea(rev # 3) | history )
  by Urs Schreiber at July 2, 2025 at 06:16:04
• quantum cohomology ring ( quantum cohomology ring(rev # 30) | history )
  by Urs Schreiber at July 2, 2025 at 06:14:44
• Felix von Oppen ( Felix von Oppen(rev # 3) | history )
  by Urs Schreiber at July 2, 2025 at 05:58:48
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 18) | history )
  by Urs Schreiber at July 2, 2025 at 05:58:02
• topological vector space ( topological vector space(rev # 40) | history )
  by Urs Schreiber at July 2, 2025 at 05:46:53
• diffeological space ( diffeological space(rev # 92) | history )
  by Urs Schreiber at July 2, 2025 at 05:45:47
• diffeological vector space
  by Ben Eltschig? at July 2, 2025 at 05:09:51
• Dirac operator ( Dirac operator(rev # 24) | history )
  by Jesus Lopez? at July 2, 2025 at 01:18:43
• 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