nLab Latest Revisions

• Giry monad ( Giry monad(rev # 110) | history )
  by Kirksturtz? at August 16, 2026 at 23:15:17
• Boolean topos ( Boolean topos(rev # 40) | history )
  by Mohamed Barakat at August 16, 2026 at 14:44:44
• affine scheme ( affine scheme(rev # 17) | history )
  by Starlings? at August 16, 2026 at 08:04:25
• infinitary tensor product ( infinitary tensor product(rev # 7) | history )
  by Peng Du? at August 16, 2026 at 01:50:12
• factorization algebra ( factorization algebra(rev # 57) | history )
  by Peng Du? at August 16, 2026 at 01:01:01
• nonstandard model of arithmetic ( nonstandard model of arithmetic(rev # 7) | history )
  by Axel Boldt? at August 15, 2026 at 19:42:39
• T-duality ( T-duality(rev # 72) | history )
  by Sln? at August 14, 2026 at 19:50:35
• MTSO ( MTSO(rev # 2) | history )
  by Dmitri Pavlov at August 14, 2026 at 19:20:54
• semi-simplicial set ( semi-simplicial set(rev # 32) | history )
  by varkor at August 14, 2026 at 14:08:32
• Coquand universe ( Coquand universe(rev # 8) | history )
  by Vincent R.B. Blazy? at August 14, 2026 at 12:31:18
• reflexive coequalizer ( reflexive coequalizer(rev # 19) | history )
  by varkor at August 14, 2026 at 10:12:33
• Peripatetic Seminar on Sheaves and Logic ( Peripatetic Seminar on Sheaves and Logic(rev # 21) | history )
  by Andreas Nuyts at August 14, 2026 at 09:26:12
• dependent product type ( dependent product type(rev # 43) | history )
  by Reuben Hillyard? at August 14, 2026 at 08:40:07
• Maxwell-Chern-Simons theory ( Maxwell-Chern-Simons theory(rev # 32) | history )
  by Urs Schreiber at August 14, 2026 at 05:49:43
• H-space ( H-space(rev # 59) | history )
  by Urs Schreiber at August 14, 2026 at 05:42:25
• central product of groups ( central product of groups(rev # 10) | history )
  by Urs Schreiber at August 14, 2026 at 05:17:21
• parametric right adjoint ( parametric right adjoint(rev # 25) | history )
  by Bálint Kocsis? at August 13, 2026 at 19:52:09
• parametric right adjoint ( parametric right adjoint(rev # 24) | history )
  by Bálint Kocsis? at August 13, 2026 at 16:14:56
• proper model category ( proper model category(rev # 59) | history )
  by Frank? at August 13, 2026 at 13:01:52
• zero morphism ( zero morphism(rev # 16) | history )
  by Martin Brandenburg at August 13, 2026 at 11:56:37
• constant morphism ( constant morphism(rev # 21) | history )
  by Martin Brandenburg at August 13, 2026 at 11:55:48
• fundamental theorem of dg-algebraic rational homotopy theory ( fundamental theorem of dg-algebraic rational homotopy theory(rev # 18) | history )
  by Ben Eltschig? at August 13, 2026 at 11:55:25
• constant morphism ( constant morphism(rev # 20) | history )
  by Martin Brandenburg at August 13, 2026 at 09:12:51
• locally cartesian closed category ( locally cartesian closed category(rev # 54) | history )
  by varkor at August 13, 2026 at 06:32:11
• Sandbox2 ( Sandbox2(rev # 152) | history )
  by R.D.? at August 13, 2026 at 04:29:46
• 2009 July changes ( 2009 July changes(rev # 342) | history )
  by Tike? at August 13, 2026 at 03:18:49
• cone ( cone(rev # 31) | history )
  by Jake? at August 12, 2026 at 23:37:50
• differential cohomology diagram ( differential cohomology diagram(rev # 66) | history )
  by Ben Eltschig? at August 12, 2026 at 23:33:15
• circle n-bundle with connection ( circle n-bundle with connection(rev # 44) | history )
  by Ben Eltschig? at August 12, 2026 at 23:30:41
• CatDat ( CatDat(rev # 4) | history )
  by Martin Brandenburg at August 12, 2026 at 20:54:10
• relation between adjunctions and monads -- section ( relation between adjunctions and monads -- section(rev # 2) | history )
  by nadat12? at August 12, 2026 at 16:40:29
• CatDat ( CatDat(rev # 3) | history )
  by Martin Brandenburg at August 12, 2026 at 16:35:47
• comprehensive factorization system ( comprehensive factorization system(rev # 20) | history )
  by Bálint Kocsis? at August 12, 2026 at 14:31:26
• multi-adjoint ( multi-adjoint(rev # 33) | history )
  by Bálint Kocsis? at August 12, 2026 at 13:47:28
• multi-adjoint ( multi-adjoint(rev # 32) | history )
  by Bálint Kocsis? at August 12, 2026 at 12:59:59
• gaunt category ( gaunt category(rev # 23) | history )
  by Martin Brandenburg at August 12, 2026 at 11:18:40
• essentially gaunt category ( essentially gaunt category(rev # 3) | history )
  by Martin Brandenburg at August 12, 2026 at 11:17:19
• CatDat ( CatDat(rev # 2) | history )
  by Martin Brandenburg at August 12, 2026 at 10:57:24
• central product of groups ( central product of groups(rev # 9) | history )
  by Urs Schreiber at August 12, 2026 at 09:47:42
• finite group ( finite group(rev # 30) | history )
  by Urs Schreiber at August 12, 2026 at 09:39:57
• group theory ( group theory(rev # 30) | history )
  by Urs Schreiber at August 12, 2026 at 09:39:12
• D=3 TQFT ( D=3 TQFT(rev # 16) | history )
  by Urs Schreiber at August 12, 2026 at 08:45:44
• Nicholas Manton ( Nicholas Manton(rev # 19) | history )
  by Urs Schreiber at August 12, 2026 at 08:38:40
• vortex ( vortex(rev # 14) | history )
  by Urs Schreiber at August 12, 2026 at 08:38:00
• Higgs bundle ( Higgs bundle(rev # 30) | history )
  by Urs Schreiber at August 12, 2026 at 08:36:53
• Loriano Bonora ( Loriano Bonora(rev # 4) | history )
  by Urs Schreiber at August 12, 2026 at 08:32:30
• fermion ( fermion(rev # 27) | history )
  by Urs Schreiber at August 12, 2026 at 08:31:59
• Yang-Mills mass gap ( Yang-Mills mass gap(rev # 65) | history )
  by Urs Schreiber at August 12, 2026 at 08:28:05
• Velayudhan Parameswaran Nair ( Velayudhan Parameswaran Nair(rev # 12) | history )
  by Urs Schreiber at August 12, 2026 at 08:27:09
• D=3 Yang-Mills theory ( D=3 Yang-Mills theory(rev # 10) | history )
  by Urs Schreiber at August 12, 2026 at 08:26:20
• essentially gaunt category ( essentially gaunt category(rev # 2) | history )
  by Urs Schreiber at August 12, 2026 at 08:18:52
• gaunt category ( gaunt category(rev # 22) | history )
  by varkor at August 12, 2026 at 07:59:15
• essentially gaunt category ( essentially gaunt category(rev # 1) | history )
  by varkor at August 12, 2026 at 07:57:17
• direct category ( direct category(rev # 17) | history )
  by varkor at August 12, 2026 at 07:53:59
• skeletal category ( skeletal category(rev # 48) | history )
  by varkor at August 12, 2026 at 07:52:50
• EI-category ( EI-category(rev # 20) | history )
  by varkor at August 12, 2026 at 07:43:08
• subalgebra ( subalgebra(rev # 4) | history )
  by Semicolon;Entity-003? at August 12, 2026 at 07:32:56
• commutative diagram ( commutative diagram(rev # 13) | history )
  by Mike? at August 12, 2026 at 01:06:14
• internal hom ( internal hom(rev # 79) | history )
  by perezl.alonso at August 11, 2026 at 23:45:23
• geometric embedding ( geometric embedding(rev # 26) | history )
  by Tanner? at August 11, 2026 at 22:47:46
• central product of groups ( central product of groups(rev # 8) | history )
  by Urs Schreiber at August 11, 2026 at 19:41:50
• sieve ( sieve(rev # 55) | history )
  by Urs Schreiber at August 11, 2026 at 17:23:01
• Sandbox ( Sandbox(rev # 4059) | history )
  by Urs Schreiber at August 11, 2026 at 17:21:32
• grMod ( grMod(rev # 2) | history )
  by Urs Schreiber at August 11, 2026 at 17:19:28
• graded vector space ( graded vector space(rev # 37) | history )
  by Urs Schreiber at August 11, 2026 at 17:16:45
• graded abelian group ( graded abelian group(rev # 3) | history )
  by Urs Schreiber at August 11, 2026 at 16:54:31
• cofibration ( cofibration(rev # 9) | history )
  by varkor at August 11, 2026 at 16:54:30
• sieve ( sieve(rev # 54) | history )
  by varkor at August 11, 2026 at 16:52:56
• enriched functor category ( enriched functor category(rev # 29) | history )
  by Urs Schreiber at August 11, 2026 at 16:50:56
• grMod ( grMod(rev # 1) | history )
  by Martin Brandenburg at August 11, 2026 at 16:05:12
• graded set ( graded set(rev # 14) | history )
  by Martin Brandenburg at August 11, 2026 at 15:50:51
• graded vector space ( graded vector space(rev # 36) | history )
  by Martin Brandenburg at August 11, 2026 at 15:38:36
• multi-adjoint ( multi-adjoint(rev # 31) | history )
  by Bálint Kocsis? at August 11, 2026 at 15:00:34
• Mod ( Mod(rev # 36) | history )
  by Martin Brandenburg at August 11, 2026 at 14:39:43
• third stable homotopy group of spheres ( third stable homotopy group of spheres(rev # 22) | history )
  by Urs Schreiber at August 11, 2026 at 14:27:27
• seventh stable homotopy group of spheres ( seventh stable homotopy group of spheres(rev # 4) | history )
  by Urs Schreiber at August 11, 2026 at 14:15:26
• seventh stable homotopy group of spheres ( seventh stable homotopy group of spheres(rev # 3) | history )
  by Urs Schreiber at August 11, 2026 at 13:28:41
• third stable homotopy group of spheres ( third stable homotopy group of spheres(rev # 21) | history )
  by Urs Schreiber at August 11, 2026 at 13:27:31
• Street fibration ( Street fibration(rev # 18) | history )
  by varkor at August 11, 2026 at 13:20:59
• seventh stable homotopy group of spheres ( seventh stable homotopy group of spheres(rev # 2) | history )
  by Urs Schreiber at August 11, 2026 at 12:20:00
• Oscar Randal-Williams ( Oscar Randal-Williams(rev # 12) | history )
  by Urs Schreiber at August 11, 2026 at 12:18:32
• mapping class group ( mapping class group(rev # 48) | history )
  by Urs Schreiber at August 11, 2026 at 12:17:36
• Complex cobordism and stable homotopy groups of spheres ( Complex cobordism and stable homotopy groups of spheres(rev # 25) | history )
  by Urs Schreiber at August 11, 2026 at 12:15:47
• homotopy groups of spheres ( homotopy groups of spheres(rev # 65) | history )
  by Urs Schreiber at August 11, 2026 at 11:23:12
• cohomology ( cohomology(rev # 136) | history )
  by Victor? at August 11, 2026 at 11:20:20
• cohomology ( cohomology(rev # 135) | history )
  by Victor? at August 11, 2026 at 11:20:12
• third stable homotopy group of spheres ( third stable homotopy group of spheres(rev # 20) | history )
  by Urs Schreiber at August 11, 2026 at 11:10:34
• Verdier duality ( Verdier duality(rev # 19) | history )
  by John Dougherty at August 11, 2026 at 11:10:22
• seventh stable homotopy group of spheres ( seventh stable homotopy group of spheres(rev # 1) | history )
  by Urs Schreiber at August 11, 2026 at 11:09:36
• quaternionic Hopf fibration ( quaternionic Hopf fibration(rev # 37) | history )
  by Urs Schreiber at August 11, 2026 at 11:04:08
• octonionic Hopf fibration ( octonionic Hopf fibration(rev # 22) | history )
  by Urs Schreiber at August 11, 2026 at 11:02:14
• second stable homotopy group of spheres ( second stable homotopy group of spheres(rev # 11) | history )
  by Urs Schreiber at August 11, 2026 at 10:59:22
• first stable homotopy group of spheres ( first stable homotopy group of spheres(rev # 12) | history )
  by Urs Schreiber at August 11, 2026 at 10:58:54
• third stable homotopy group of spheres ( third stable homotopy group of spheres(rev # 19) | history )
  by Urs Schreiber at August 11, 2026 at 10:37:57
• third stable homotopy group of spheres ( third stable homotopy group of spheres(rev # 18) | history )
  by Urs Schreiber at August 11, 2026 at 10:06:19
• Sandbox2 ( Sandbox2(rev # 151) | history )
  by Dean Young? at August 11, 2026 at 09:58:13
• J-homomorphism ( J-homomorphism(rev # 52) | history )
  by Urs Schreiber at August 11, 2026 at 09:49:56
• Complex cobordism and stable homotopy groups of spheres ( Complex cobordism and stable homotopy groups of spheres(rev # 24) | history )
  by Urs Schreiber at August 11, 2026 at 09:31:42
• Doug Ravenel ( Doug Ravenel(rev # 16) | history )
  by Urs Schreiber at August 11, 2026 at 09:31:19
• triangulated category ( triangulated category(rev # 66) | history )
  by Urs Schreiber at August 11, 2026 at 05:22:04