nLab Latest Revisions

• 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
• orthogonality ( orthogonality(rev # 15) | history )
  by Urs Schreiber at June 29, 2025 at 21:11:11
• large site ( large site(rev # 10) | history )
  by Todd Trimble at June 29, 2025 at 21:09:36
• James Hanson ( James Hanson(rev # 3) | history )
  by Todd Trimble at June 29, 2025 at 20:09:36
• framed generalized Morse function ( framed generalized Morse function(rev # 4) | history )
  by Urs Schreiber at June 29, 2025 at 19:50:44
• framed generalized Morse function ( framed generalized Morse function(rev # 3) | history )
  by Dmitri Pavlov at June 29, 2025 at 18:59:24
• framed generalized Morse function ( framed generalized Morse function(rev # 2) | history )
  by Urs Schreiber at June 29, 2025 at 18:01:29
• sheafification ( sheafification(rev # 38) | history )
  by Dmitri Pavlov at June 29, 2025 at 16:37:27
• regular language ( regular language(rev # 7) | history )
  by Todd Trimble at June 29, 2025 at 16:10:28
• locally confluent relation ( locally confluent relation(rev # 6) | history )
  by Todd Trimble at June 29, 2025 at 11:59:05
• The Dirac Electron ( The Dirac Electron(rev # 11) | history )
  by Jesus Lopez? at June 29, 2025 at 01:30:35
• spin group ( spin group(rev # 55) | history )
  by Jesus Lopez? at June 29, 2025 at 00:14:48
• semi-adjunction ( semi-adjunction(rev # 2) | history )
  by Urs Schreiber at June 28, 2025 at 19:09:51
• locally confluent relation ( locally confluent relation(rev # 5) | history )
  by Todd Trimble at June 28, 2025 at 18:55:14
• weak adjoint ( weak adjoint(rev # 5) | history )
  by varkor at June 28, 2025 at 18:30:13
• semi-adjunction ( semi-adjunction(rev # 1) | history )
  by varkor at June 28, 2025 at 18:28:57
• Schur's lemma ( Schur's lemma(rev # 21) | history )
  by Urs Schreiber at June 28, 2025 at 16:13:56
• Grothendieck fibration ( Grothendieck fibration(rev # 120) | history )
  by Todd Trimble at June 28, 2025 at 12:46:51
• resizing axiom ( resizing axiom(rev # 8) | history )
  by p? at June 28, 2025 at 12:43:28
• group extension ( group extension(rev # 63) | history )
  by Todd Trimble at June 28, 2025 at 12:24:34
• category of elements ( category of elements(rev # 48) | history )
  by varkor at June 28, 2025 at 10:05:26
• 2-Grothendieck construction ( 2-Grothendieck construction(rev # 6) | history )
  by varkor at June 28, 2025 at 10:05:18
• multirepresentable functor ( multirepresentable functor(rev # 5) | history )
  by varkor at June 28, 2025 at 07:20:06
• Grothendieck fibration ( Grothendieck fibration(rev # 119) | history )
  by Dmitri Pavlov at June 28, 2025 at 05:20:05
• large cocompleteness ( large cocompleteness(rev # 9) | history )
  by Mamuka Jibladze at June 28, 2025 at 02:42:30
• spin group ( spin group(rev # 54) | history )
  by Jesus Lopez? at June 28, 2025 at 01:20:38
• spatial tensor product ( spatial tensor product(rev # 5) | history )
  by Terinuva? at June 27, 2025 at 22:25:30
• weak representation of a functor ( weak representation of a functor(rev # 2) | history )
  by varkor at June 27, 2025 at 21:28:35
• representable functor ( representable functor(rev # 60) | history )
  by varkor at June 27, 2025 at 21:25:44
• Frederick R. Cohen ( Frederick R. Cohen(rev # 18) | history )
  by Urs Schreiber at June 27, 2025 at 15:29:35
• Alexander S. Sergeev
  by Urs Schreiber at June 27, 2025 at 12:10:08
• topological phase of matter ( topological phase of matter(rev # 63) | history )
  by Urs Schreiber at June 27, 2025 at 12:05:11
• semi-metal ( semi-metal(rev # 32) | history )
  by Urs Schreiber at June 27, 2025 at 12:03:24
• Chern insulator ( Chern insulator(rev # 12) | history )
  by Urs Schreiber at June 27, 2025 at 11:58:46
• topological insulator ( topological insulator(rev # 43) | history )
  by Urs Schreiber at June 27, 2025 at 11:57:42
• Kan extension ( Kan extension(rev # 141) | history )
  by Jonas Frey at June 27, 2025 at 11:50:47
• Pin(2) ( Pin(2)(rev # 11) | history )
  by Urs Schreiber at June 27, 2025 at 11:11:18
• Darrick Lee
  by Urs Schreiber at June 27, 2025 at 10:49:39
• higher parallel transport ( higher parallel transport(rev # 40) | history )
  by Urs Schreiber at June 27, 2025 at 10:47:45
• Sandbox ( Sandbox(rev # 3715) | history )
  by Urs Schreiber at June 27, 2025 at 10:29:17
• Categorical Homotopy Theory ( Categorical Homotopy Theory(rev # 7) | history )
  by Elías Guisado? at June 27, 2025 at 10:26:11
• trigonometric identity ( trigonometric identity(rev # 13) | history )
  by Urs Schreiber at June 27, 2025 at 10:25:07
• large cardinal ( large cardinal(rev # 20) | history )
  by Urs Schreiber at June 27, 2025 at 08:32:05
• vanishing at infinity ( vanishing at infinity(rev # 11) | history )
  by Urs Schreiber at June 27, 2025 at 08:26:43
• C-star-algebra ( C-star-algebra(rev # 75) | history )
  by Urs Schreiber at June 27, 2025 at 08:23:16
• Nima Rasekh ( Nima Rasekh(rev # 10) | history )
  by David Corfield at June 27, 2025 at 08:15:06
• Kathryn Hess ( Kathryn Hess(rev # 10) | history )
  by David Corfield at June 27, 2025 at 08:14:23
• bicategorical trace ( bicategorical trace(rev # 8) | history )
  by David Corfield at June 27, 2025 at 08:12:15
• Sandbox ( Sandbox(rev # 3714) | history )
  by Urs Schreiber at June 27, 2025 at 07:45:08
• Nicholas Manton ( Nicholas Manton(rev # 18) | history )
  by Urs Schreiber at June 27, 2025 at 06:27:19
• CP^N sigma-model ( CP^N sigma-model(rev # 15) | history )
  by Urs Schreiber at June 27, 2025 at 06:24:58
• lepton ( lepton(rev # 8) | history )
  by Urs Schreiber at June 27, 2025 at 06:10:42
• quark ( quark(rev # 26) | history )
  by Urs Schreiber at June 27, 2025 at 06:10:02
• phase space ( phase space(rev # 76) | history )
  by Urs Schreiber at June 27, 2025 at 06:04:23
• Philosophy of Nature ( Philosophy of Nature(rev # 4) | history )
  by Typo Catcher? at June 27, 2025 at 04:51:18
• Stone-Weierstrass theorem ( Stone-Weierstrass theorem(rev # 14) | history )
  by Todd Trimble at June 26, 2025 at 23:24:59
• Haar integral ( Haar integral(rev # 27) | history )
  by Todd Trimble at June 26, 2025 at 22:53:13
• open morphism ( open morphism(rev # 30) | history )
  by Reuben Hillyard? at June 26, 2025 at 21:34:54
• Stone-Weierstrass theorem ( Stone-Weierstrass theorem(rev # 13) | history )
  by Todd Trimble at June 26, 2025 at 19:23:25
• vanishing at infinity ( vanishing at infinity(rev # 10) | history )
  by Todd Trimble at June 26, 2025 at 19:13:08
• homotopy group of a spectrum ( homotopy group of a spectrum(rev # 8) | history )
  by Hyun Jong Kim? at June 26, 2025 at 19:12:36
• parallel transport ( parallel transport(rev # 31) | history )
  by Dmitri Pavlov at June 26, 2025 at 18:10:57
• Sandbox ( Sandbox(rev # 3713) | history )
  by Dmitri Pavlov at June 26, 2025 at 18:07:13
• Liang Fu ( Liang Fu(rev # 7) | history )
  by Urs Schreiber at June 26, 2025 at 17:33:57
• Yoichi Ando ( Yoichi Ando(rev # 2) | history )
  by Urs Schreiber at June 26, 2025 at 17:33:35
• topological crystalline insulator ( topological crystalline insulator(rev # 10) | history )
  by Urs Schreiber at June 26, 2025 at 17:32:40
• cell complex ( cell complex(rev # 21) | history )
  by Urs Schreiber at June 26, 2025 at 17:13:11
• algebraic theory ( algebraic theory(rev # 73) | history )
  by Ben Eltschig? at June 26, 2025 at 16:51:52
• classical model structure on simplicial sets ( classical model structure on simplicial sets(rev # 25) | history )
  by Dmitri Pavlov at June 26, 2025 at 16:36:33
• Sandbox ( Sandbox(rev # 3712) | history )
  by Urs Schreiber at June 26, 2025 at 14:43:37
• commutative square ( commutative square(rev # 12) | history )
  by p? at June 26, 2025 at 14:35:01