nLab Latest Revisions

• Weil group ( Weil group(rev # 4) | history )
  by Urs Schreiber at July 11, 2026 at 14:21:39
• Introduction to Homotopy Theory ( Introduction to Homotopy Theory(rev # 180) | history )
  by Quentin Asparria? at July 10, 2026 at 23:33:33
• induction ( induction(rev # 23) | history )
  by Cosmin? at July 10, 2026 at 22:07:32
• semistandard Young tableau ( semistandard Young tableau(rev # 20) | history )
  by thea miller-priddy? at July 10, 2026 at 14:56:20
• codensity monad ( codensity monad(rev # 52) | history )
  by Urs Schreiber at July 10, 2026 at 13:53:12
• coherence and strictification for monoidal categories ( coherence and strictification for monoidal categories(rev # 25) | history )
  by Evan Cavallo at July 10, 2026 at 12:04:29
• C-field gauge algebra -- references ( C-field gauge algebra -- references(rev # 7) | history )
  by Urs Schreiber at July 10, 2026 at 11:07:26
• codensity monad ( codensity monad(rev # 51) | history )
  by David Corfield at July 10, 2026 at 09:17:06
• Lie-Poisson structure ( Lie-Poisson structure(rev # 19) | history )
  by Urs Schreiber at July 10, 2026 at 08:29:55
• call-by-value ( call-by-value(rev # 3) | history )
  by Victor Sannier? at July 10, 2026 at 07:51:57
• universal principal infinity-bundle ( universal principal infinity-bundle(rev # 10) | history )
  by Urs Schreiber at July 10, 2026 at 07:51:53
• call-by-push-value ( call-by-push-value(rev # 13) | history )
  by Victor Sannier? at July 10, 2026 at 07:51:30
• universal principal infinity-bundle ( universal principal infinity-bundle(rev # 9) | history )
  by Tim Porter at July 10, 2026 at 06:38:04
• category of V-enriched categories ( category of V-enriched categories(rev # 13) | history )
  by Urs Schreiber at July 10, 2026 at 05:42:46
• symmetric monoidal (infinity,1)-category ( symmetric monoidal (infinity,1)-category(rev # 24) | history )
  by kashiwagi? at July 9, 2026 at 15:31:10
• Mathematics Subject Classification ( Mathematics Subject Classification(rev # 3) | history )
  by Leven Poi? at July 9, 2026 at 15:15:34
• E₆ ( E₆(rev # 14) | history )
  by Leven Poi? at July 9, 2026 at 14:49:29
• E₇ ( E₇(rev # 32) | history )
  by Leven Poi? at July 9, 2026 at 14:48:27
• A-infinity-algebra ( A-infinity-algebra(rev # 39) | history )
  by Leven Poi? at July 9, 2026 at 14:43:25
• Mathematics Subject Classification ( Mathematics Subject Classification(rev # 2) | history )
  by Urs Schreiber at July 9, 2026 at 14:32:30
• call-by-value ( call-by-value(rev # 2) | history )
  by Urs Schreiber at July 9, 2026 at 14:29:53
• Mathematics Subject Classification ( Mathematics Subject Classification(rev # 1) | history )
  by Leven Poi? at July 9, 2026 at 14:29:02
• foundations of mathematics ( foundations of mathematics(rev # 118) | history )
  by ~~~~? at July 9, 2026 at 13:49:51
• Sandbox3 ( Sandbox3(rev # 6) | history )
  by Leven Poi? at July 9, 2026 at 13:34:54
• finite mathematics ( finite mathematics(rev # 25) | history )
  by A-hom-ynous? at July 9, 2026 at 13:22:06
• call-by-value ( call-by-value(rev # 1) | history )
  by Victor Sannier? at July 9, 2026 at 13:08:41
• foundations of mathematics ( foundations of mathematics(rev # 117) | history )
  by A-hom-ynous? at July 9, 2026 at 13:01:58
• call-by-push-value ( call-by-push-value(rev # 12) | history )
  by Victor Sannier? at July 9, 2026 at 12:59:55
• Kensuke Arakawa ( Kensuke Arakawa(rev # 7) | history )
  by Urs Schreiber at July 9, 2026 at 10:13:52
• model structure on chain complexes ( model structure on chain complexes(rev # 112) | history )
  by Urs Schreiber at July 9, 2026 at 10:11:57
• Bousfield-Kan formula ( Bousfield-Kan formula(rev # 14) | history )
  by Urs Schreiber at July 9, 2026 at 10:08:38
• Bousfield-Kan formula ( Bousfield-Kan formula(rev # 13) | history )
  by Tim Porter at July 9, 2026 at 09:05:42
• bisimplicial set ( bisimplicial set(rev # 44) | history )
  by Urs Schreiber at July 9, 2026 at 09:00:51
• homotopy limit ( homotopy limit(rev # 119) | history )
  by Urs Schreiber at July 9, 2026 at 08:58:57
• bisimplicial set ( bisimplicial set(rev # 43) | history )
  by Michael? at July 9, 2026 at 07:06:31
• Fridrich Valach ( Fridrich Valach(rev # 8) | history )
  by Urs Schreiber at July 9, 2026 at 04:17:25
• covariant derivative ( covariant derivative(rev # 26) | history )
  by Urs Schreiber at July 9, 2026 at 04:16:32
• Andrei Linde ( Andrei Linde(rev # 7) | history )
  by Urs Schreiber at July 9, 2026 at 04:10:57
• Renata Kallosh ( Renata Kallosh(rev # 14) | history )
  by Urs Schreiber at July 9, 2026 at 04:10:34
• inflationary cosmology in supergravity -- references ( inflationary cosmology in supergravity -- references(rev # 2) | history )
  by Urs Schreiber at July 9, 2026 at 04:10:10
• Bondi-Metzner-Sachs group ( Bondi-Metzner-Sachs group(rev # 13) | history )
  by Urs Schreiber at July 9, 2026 at 04:00:14
• asymptotic symmetry ( asymptotic symmetry(rev # 13) | history )
  by Urs Schreiber at July 9, 2026 at 03:59:33
• quantum field theory ( quantum field theory(rev # 67) | history )
  by Urs Schreiber at July 9, 2026 at 03:55:21
• effective quantum field theory ( effective quantum field theory(rev # 74) | history )
  by Urs Schreiber at July 9, 2026 at 03:54:17
• solid state physics ( solid state physics(rev # 57) | history )
  by Urs Schreiber at July 9, 2026 at 03:53:02
• Michael Boardman ( Michael Boardman(rev # 18) | history )
  by Urs Schreiber at July 8, 2026 at 14:48:44
• Jack Morava ( Jack Morava(rev # 19) | history )
  by Urs Schreiber at July 8, 2026 at 14:46:33
• stable unitary group ( stable unitary group(rev # 15) | history )
  by perezl.alonso at July 8, 2026 at 12:36:57
• extended functorial field theory ( extended functorial field theory(rev # 56) | history )
  by Urs Schreiber at July 8, 2026 at 11:12:53
• list of journals publishing homotopy theory and category theory ( list of journals publishing homotopy theory and category theory(rev # 47) | history )
  by Ivan? at July 8, 2026 at 10:25:39
• pure type system ( pure type system(rev # 27) | history )
  by Mohamed Barakat at July 8, 2026 at 09:37:10
• Beck-Chevalley condition ( Beck-Chevalley condition(rev # 63) | history )
  by Urs Schreiber at July 8, 2026 at 06:07:17
• high energy physics ( high energy physics(rev # 14) | history )
  by Urs Schreiber at July 8, 2026 at 05:58:15
• Seiberg-Witten theory ( Seiberg-Witten theory(rev # 39) | history )
  by Urs Schreiber at July 8, 2026 at 05:56:57
• Michael Douglas ( Michael Douglas(rev # 14) | history )
  by Urs Schreiber at July 8, 2026 at 05:56:02
• supersymmetry ( supersymmetry(rev # 128) | history )
  by Urs Schreiber at July 8, 2026 at 05:50:54
• Ralph Blumenhagen ( Ralph Blumenhagen(rev # 5) | history )
  by Urs Schreiber at July 8, 2026 at 05:45:35
• BFSS matrix model ( BFSS matrix model(rev # 91) | history )
  by Urs Schreiber at July 8, 2026 at 05:44:56
• Giry monad ( Giry monad(rev # 106) | history )
  by kirk_sturtz? at July 8, 2026 at 03:56:52
• category object in an (infinity,1)-category ( category object in an (infinity,1)-category(rev # 65) | history )
  by monoidal category at July 7, 2026 at 23:47:09
• semilattice ( semilattice(rev # 33) | history )
  by monoidal category at July 7, 2026 at 23:25:10
• multiplicatively idempotent semiring ( multiplicatively idempotent semiring(rev # 18) | history )
  by monoidal category at July 7, 2026 at 23:12:52
• Walter Taylor
  by monoidal category at July 7, 2026 at 22:37:04
• semilattice ( semilattice(rev # 32) | history )
  by monoidal category at July 7, 2026 at 22:00:18
• homotopy pushout ( homotopy pushout(rev # 6) | history )
  by jmallo? at July 7, 2026 at 20:30:59
• semilattice ( semilattice(rev # 31) | history )
  by monoidal category at July 7, 2026 at 20:29:21
• semilattice ( semilattice(rev # 30) | history )
  by monoidal category at July 7, 2026 at 19:50:11
• totally ordered abelian group ( totally ordered abelian group(rev # 4) | history )
  by monoidal category at July 7, 2026 at 19:39:06
• total order ( total order(rev # 23) | history )
  by monoidal category at July 7, 2026 at 18:33:47
• total preorder ( total preorder(rev # 6) | history )
  by monoidal category at July 7, 2026 at 18:33:24
• setoid ( setoid(rev # 40) | history )
  by monoidal category at July 7, 2026 at 17:42:37
• (0,1)-category ( (0,1)-category(rev # 20) | history )
  by monoidal category at July 7, 2026 at 17:37:29
• prelattice ( prelattice(rev # 13) | history )
  by monoidal category at July 7, 2026 at 17:29:21
• semilattice ( semilattice(rev # 29) | history )
  by Urs Schreiber at July 7, 2026 at 17:19:58
• semilattice ( semilattice(rev # 28) | history )
  by monoidal category at July 7, 2026 at 16:48:13
• presemilattice ( presemilattice(rev # 2) | history )
  by monoidal category at July 7, 2026 at 16:42:45
• absorption magma ( absorption magma(rev # 6) | history )
  by Urs Schreiber at July 7, 2026 at 16:40:20
• (0,1)-category ( (0,1)-category(rev # 19) | history )
  by monoidal category at July 7, 2026 at 16:40:16
• presemilattice ( presemilattice(rev # 1) | history )
  by monoidal category at July 7, 2026 at 16:07:05
• semilattice ( semilattice(rev # 27) | history )
  by monoidal category at July 7, 2026 at 16:06:01
• absorption monoid ( absorption monoid(rev # 20) | history )
  by monoidal category at July 7, 2026 at 15:41:48
• absorption magma ( absorption magma(rev # 5) | history )
  by monoidal category at July 7, 2026 at 15:41:17
• Norman Reilly ( Norman Reilly(rev # 2) | history )
  by Urs Schreiber at July 7, 2026 at 15:27:07
• opposite poset ( opposite poset(rev # 4) | history )
  by monoidal category at July 7, 2026 at 15:25:21
• (0,1)-category theory - contents ( (0,1)-category theory - contents(rev # 12) | history )
  by monoidal category at July 7, 2026 at 15:20:39
• (0,1)-category ( (0,1)-category(rev # 18) | history )
  by monoidal category at July 7, 2026 at 14:40:52
• (0,1)-category theory - contents ( (0,1)-category theory - contents(rev # 11) | history )
  by monoidal category at July 7, 2026 at 14:39:06
• inverse semigroup ( inverse semigroup(rev # 33) | history )
  by monoidal category at July 7, 2026 at 14:36:52
• Norman Reilly ( Norman Reilly(rev # 1) | history )
  by monoidal category at July 7, 2026 at 14:35:54
• semilattice ( semilattice(rev # 26) | history )
  by monoidal category at July 7, 2026 at 14:31:08
• prelattice ( prelattice(rev # 12) | history )
  by monoidal category at July 7, 2026 at 14:21:28
• setoid ( setoid(rev # 39) | history )
  by monoidal category at July 7, 2026 at 14:18:10
• Andrej Bauer ( Andrej Bauer(rev # 14) | history )
  by Urs Schreiber at July 7, 2026 at 14:16:34
• James Hanson ( James Hanson(rev # 4) | history )
  by Urs Schreiber at July 7, 2026 at 14:15:46
• Dedekind cut ( Dedekind cut(rev # 37) | history )
  by Urs Schreiber at July 7, 2026 at 14:12:25
• real numbers object ( real numbers object(rev # 56) | history )
  by Urs Schreiber at July 7, 2026 at 14:12:05
• extensional function ( extensional function(rev # 6) | history )
  by monoidal category at July 7, 2026 at 14:11:42
• (0,1)-category ( (0,1)-category(rev # 17) | history )
  by monoidal category at July 7, 2026 at 14:06:14
• Heyting prealgebra ( Heyting prealgebra(rev # 11) | history )
  by Urs Schreiber at July 7, 2026 at 14:02:28
• Heyting prealgebra ( Heyting prealgebra(rev # 10) | history )
  by monoidal category at July 7, 2026 at 13:56:19