nLab Latest Revisions

• Cantor space ( Cantor space(rev # 30) | history )
  by Urs Schreiber at August 18, 2025 at 09:23:44
• dyadic space ( dyadic space(rev # 3) | history )
  by Urs Schreiber at August 18, 2025 at 09:13:34
• compactum ( compactum(rev # 8) | history )
  by Urs Schreiber at August 18, 2025 at 09:09:41
• Ryszard Engelking ( Ryszard Engelking(rev # 6) | history )
  by Urs Schreiber at August 18, 2025 at 08:59:11
• Fox's theorem ( Fox's theorem(rev # 10) | history )
  by varkor at August 18, 2025 at 08:52:12
• cartesian monoidal category ( cartesian monoidal category(rev # 40) | history )
  by varkor at August 18, 2025 at 08:51:25
• topology -- references ( topology -- references(rev # 8) | history )
  by Urs Schreiber at August 18, 2025 at 08:29:52
• product topological space ( product topological space(rev # 21) | history )
  by Urs Schreiber at August 18, 2025 at 07:56:02
• Mod ( Mod(rev # 34) | history )
  by varkor at August 18, 2025 at 07:36:54
• John Barrett ( John Barrett(rev # 4) | history )
  by Anon? at August 17, 2025 at 21:41:53
• sigma-model ( sigma-model(rev # 83) | history )
  by Jesus Lopez? at August 17, 2025 at 19:00:05
• knot ( knot(rev # 61) | history )
  by Urs Schreiber at August 17, 2025 at 18:17:20
• Pontryagin-Thom construction -- references ( Pontryagin-Thom construction -- references(rev # 26) | history )
  by Urs Schreiber at August 17, 2025 at 18:02:22
• differential topology ( differential topology(rev # 27) | history )
  by Urs Schreiber at August 17, 2025 at 17:57:34
• pro-object ( pro-object(rev # 78) | history )
  by ʇɐ? at August 17, 2025 at 17:43:21
• ind-object ( ind-object(rev # 79) | history )
  by ʇɐ? at August 17, 2025 at 17:31:47
• ind-object ( ind-object(rev # 78) | history )
  by Urs Schreiber at August 17, 2025 at 16:41:12
• ind-object ( ind-object(rev # 77) | history )
  by ʇɐ? at August 17, 2025 at 16:23:17
• compactum ( compactum(rev # 7) | history )
  by Urs Schreiber at August 17, 2025 at 15:40:06
• compactum ( compactum(rev # 6) | history )
  by Urs Schreiber at August 17, 2025 at 13:46:10
• Clifford Cheung ( Clifford Cheung(rev # 2) | history )
  by Urs Schreiber at August 17, 2025 at 11:31:39
• string scattering amplitude ( string scattering amplitude(rev # 43) | history )
  by Urs Schreiber at August 17, 2025 at 11:31:11
• Archive for Mathematical Sciences & Philosophy ( Archive for Mathematical Sciences & Philosophy(rev # 3) | history )
  by Urs Schreiber at August 17, 2025 at 11:12:54
• compactum ( compactum(rev # 5) | history )
  by Urs Schreiber at August 17, 2025 at 11:03:46
• locally compact topological space ( locally compact topological space(rev # 55) | history )
  by Urs Schreiber at August 17, 2025 at 10:55:28
• metric spaces are paracompact ( metric spaces are paracompact(rev # 3) | history )
  by Urs Schreiber at August 17, 2025 at 10:55:18
• paracompact topological space ( paracompact topological space(rev # 73) | history )
  by Urs Schreiber at August 17, 2025 at 10:43:47
• CW-complexes are paracompact Hausdorff spaces ( CW-complexes are paracompact Hausdorff spaces(rev # 30) | history )
  by Urs Schreiber at August 17, 2025 at 10:39:24
• paracompact Hausdorff space ( paracompact Hausdorff space(rev # 6) | history )
  by Urs Schreiber at August 17, 2025 at 10:38:52
• colimits of paracompact Hausdorff spaces ( colimits of paracompact Hausdorff spaces(rev # 15) | history )
  by Urs Schreiber at August 17, 2025 at 10:38:04
• Tychonoff space ( Tychonoff space(rev # 10) | history )
  by Urs Schreiber at August 17, 2025 at 10:24:57
• pure state ( pure state(rev # 13) | history )
  by Urs Schreiber at August 17, 2025 at 10:22:19
• independent family of sets ( independent family of sets(rev # 6) | history )
  by Urs Schreiber at August 17, 2025 at 10:21:50
• Dedekind completion ( Dedekind completion(rev # 27) | history )
  by Urs Schreiber at August 17, 2025 at 10:19:47
• Stone-Čech compactification ( Stone-Čech compactification(rev # 10) | history )
  by Urs Schreiber at August 17, 2025 at 10:19:09
• JBW-algebraic quantum mechanics ( JBW-algebraic quantum mechanics(rev # 8) | history )
  by Urs Schreiber at August 17, 2025 at 10:18:00
• pyknotic set ( pyknotic set(rev # 16) | history )
  by Urs Schreiber at August 17, 2025 at 10:17:13
• sequence space ( sequence space(rev # 12) | history )
  by Urs Schreiber at August 17, 2025 at 10:15:51
• Jordan-Banach algebra ( Jordan-Banach algebra(rev # 28) | history )
  by Urs Schreiber at August 17, 2025 at 10:14:39
• Riesz representation theorem ( Riesz representation theorem(rev # 10) | history )
  by Urs Schreiber at August 17, 2025 at 10:10:36
• relational beta-module ( relational beta-module(rev # 39) | history )
  by Urs Schreiber at August 17, 2025 at 10:10:03
• Stone-Weierstrass theorem ( Stone-Weierstrass theorem(rev # 15) | history )
  by Urs Schreiber at August 17, 2025 at 10:09:16
• compact ordered space ( compact ordered space(rev # 6) | history )
  by Urs Schreiber at August 17, 2025 at 10:08:52
• compactification ( compactification(rev # 17) | history )
  by Urs Schreiber at August 17, 2025 at 10:07:57
• one-point compactification ( one-point compactification(rev # 56) | history )
  by Urs Schreiber at August 17, 2025 at 10:06:47
• locally compact topological space ( locally compact topological space(rev # 54) | history )
  by Urs Schreiber at August 17, 2025 at 10:06:18
• compact space ( compact space(rev # 101) | history )
  by Urs Schreiber at August 17, 2025 at 10:04:24
• Eberlein compactum ( Eberlein compactum(rev # 1) | history )
  by Urs Schreiber at August 17, 2025 at 10:02:35
• compactum ( compactum(rev # 4) | history )
  by Urs Schreiber at August 17, 2025 at 10:01:03
• dyadic space ( dyadic space(rev # 2) | history )
  by Urs Schreiber at August 17, 2025 at 09:56:52
• compact metrizable space ( compact metrizable space(rev # 3) | history )
  by Urs Schreiber at August 17, 2025 at 09:51:57
• weak topology ( weak topology(rev # 15) | history )
  by Urs Schreiber at August 17, 2025 at 09:43:51
• compact Hausdorff space ( compact Hausdorff space(rev # 34) | history )
  by Urs Schreiber at August 17, 2025 at 09:40:07
• compactum ( compactum(rev # 3) | history )
  by Urs Schreiber at August 17, 2025 at 09:06:03
• colimits in categories of algebras ( colimits in categories of algebras(rev # 39) | history )
  by Aaron David Fairbanks? at August 17, 2025 at 04:42:26
• compactum ( compactum(rev # 2) | history )
  by Todd Trimble at August 17, 2025 at 00:47:35
• Lie infinity-algebroid ( Lie infinity-algebroid(rev # 66) | history )
  by Jesus Lopez? at August 16, 2025 at 23:43:57
• action functional ( action functional(rev # 32) | history )
  by Jesus Lopez? at August 16, 2025 at 23:37:33
• derived geometry ( derived geometry(rev # 8) | history )
  by Jesus Lopez? at August 16, 2025 at 23:13:17
• compact metrizable space ( compact metrizable space(rev # 2) | history )
  by Todd Trimble at August 16, 2025 at 19:27:02
• compact Hausdorff space ( compact Hausdorff space(rev # 33) | history )
  by Todd Trimble at August 16, 2025 at 17:33:08
• compact metrizable space ( compact metrizable space(rev # 1) | history )
  by Dmitri Pavlov at August 16, 2025 at 13:15:52
• compactum ( compactum(rev # 1) | history )
  by Dmitri Pavlov at August 16, 2025 at 13:09:46
• compact Hausdorff space ( compact Hausdorff space(rev # 32) | history )
  by Dmitri Pavlov at August 16, 2025 at 13:08:22
• polynomial monad ( polynomial monad(rev # 14) | history )
  by varkor at August 16, 2025 at 10:58:35
• measure space ( measure space(rev # 53) | history )
  by Tomas? at August 16, 2025 at 10:58:32
• Whitehead theorem ( Whitehead theorem(rev # 31) | history )
  by Urs Schreiber at August 16, 2025 at 10:40:12
• radix notation ( radix notation(rev # 13) | history )
  by Toby Bartels at August 16, 2025 at 01:13:20
• compactification ( compactification(rev # 16) | history )
  by Todd Trimble at August 16, 2025 at 00:10:13
• distributivity pullback ( distributivity pullback(rev # 7) | history )
  by varkor at August 15, 2025 at 20:18:28
• Mohammad Garousi ( Mohammad Garousi(rev # 5) | history )
  by Urs Schreiber at August 15, 2025 at 15:48:10
• higher curvature corrections to D=11 supergravity -- references ( higher curvature corrections to D=11 supergravity -- references(rev # 14) | history )
  by Urs Schreiber at August 15, 2025 at 15:46:53
• geometry of physics -- principal bundles ( geometry of physics -- principal bundles(rev # 6) | history )
  by Ben Eltschig? at August 15, 2025 at 14:56:57
• Thibault Decoppet ( Thibault Decoppet(rev # 3) | history )
  by Decoppet? at August 15, 2025 at 14:18:17
• fusion 2-category ( fusion 2-category(rev # 7) | history )
  by Decoppet? at August 15, 2025 at 14:17:19
• generalized global symmetry ( generalized global symmetry(rev # 32) | history )
  by Decoppet? at August 15, 2025 at 14:10:17
• enriched monad ( enriched monad(rev # 18) | history )
  by varkor at August 15, 2025 at 09:26:18
• intersecting D-brane model ( intersecting D-brane model(rev # 58) | history )
  by minor person? at August 15, 2025 at 05:20:01
• Chern-Simons gravity ( Chern-Simons gravity(rev # 24) | history )
  by Jesus Lopez? at August 14, 2025 at 19:54:47
• graded modality ( graded modality(rev # 22) | history )
  by Valeria de Paiva at August 14, 2025 at 17:52:54
• dependent product type ( dependent product type(rev # 40) | history )
  by Max S. New at August 14, 2025 at 16:23:38
• first-order formulation of gravity ( first-order formulation of gravity(rev # 30) | history )
  by Jesus Lopez? at August 14, 2025 at 15:47:49
• monoidal category ( monoidal category(rev # 174) | history )
  by Naïm Favier? at August 14, 2025 at 09:35:24
• classifying space ( classifying space(rev # 87) | history )
  by Urs Schreiber at August 14, 2025 at 08:02:19
• Dirac-Born-Infeld action ( Dirac-Born-Infeld action(rev # 52) | history )
  by Urs Schreiber at August 14, 2025 at 06:53:19
• hypercomplete (infinity,1)-topos ( hypercomplete (infinity,1)-topos(rev # 22) | history )
  by Jonas Frey at August 13, 2025 at 18:08:54
• sectional category
  by ʇɐ? at August 13, 2025 at 14:57:04
• contractible space ( contractible space(rev # 22) | history )
  by ʇɐ? at August 13, 2025 at 12:58:40
• star domain ( star domain(rev # 7) | history )
  by ʇɐ? at August 13, 2025 at 12:56:37
• principal SU(2)-bundle ( principal SU(2)-bundle(rev # 2) | history )
  by Dmitri Pavlov at August 13, 2025 at 11:38:02
• principal U(1)-bundle ( principal U(1)-bundle(rev # 2) | history )
  by Dmitri Pavlov at August 13, 2025 at 11:37:00
• twisted arrow category ( twisted arrow category(rev # 21) | history )
  by Dmitri Pavlov at August 13, 2025 at 11:35:46
• twisted arrow (∞,1)-category ( twisted arrow (∞,1)-category(rev # 9) | history )
  by Dmitri Pavlov at August 13, 2025 at 11:34:21
• Philip Higgins ( Philip Higgins(rev # 13) | history )
  by Urs Schreiber at August 13, 2025 at 08:21:28
• Philip Higgins ( Philip Higgins(rev # 12) | history )
  by Tim Porter at August 13, 2025 at 06:33:24
• supergravity ( supergravity(rev # 107) | history )
  by Urs Schreiber at August 13, 2025 at 06:17:09
• twisted arrow (∞,1)-category ( twisted arrow (∞,1)-category(rev # 8) | history )
  by Samuel Adrian Antz at August 13, 2025 at 02:40:43
• twisted arrow category ( twisted arrow category(rev # 20) | history )
  by Samuel Adrian Antz at August 13, 2025 at 02:39:51
• Donaldson's theorem ( Donaldson's theorem(rev # 5) | history )
  by Samuel Adrian Antz at August 13, 2025 at 02:18:05
• principal SU(2)-bundle ( principal SU(2)-bundle(rev # 1) | history )
  by Samuel Adrian Antz at August 13, 2025 at 01:51:51