nLab
Latest Revisions

• Reedy category ( Reedy category(rev # 23) | history )
  by Anonymous at September 30, 2020 at 09:19:27
• quark bag model ( quark bag model(rev # 8) | history )
  by Urs Schreiber at September 30, 2020 at 03:19:27
• Marek Golasiński ( Marek Golasiński(rev # 6) | history )
  by Tim Porter at September 30, 2020 at 01:52:09
• vertical transformation ( vertical transformation(rev # 3) | history )
  by John Baez at September 29, 2020 at 21:00:57
• VitalyR ( VitalyR(rev # 2) | history )
  by Vitaly R at September 29, 2020 at 15:14:29
• Hopf monoid ( Hopf monoid(rev # 9) | history )
  by Daniele Palombi? at September 29, 2020 at 14:15:51
• mereology ( mereology(rev # 7) | history )
  by Thomas Holder at September 29, 2020 at 11:13:26
• equivariant rational homotopy theory ( equivariant rational homotopy theory(rev # 15) | history )
  by Urs Schreiber at September 29, 2020 at 08:37:10
• Elmendorf's theorem ( Elmendorf's theorem(rev # 29) | history )
  by Urs Schreiber at September 29, 2020 at 08:22:11
• Elmendorf's theorem ( Elmendorf's theorem(rev # 28) | history )
  by Urs Schreiber at September 29, 2020 at 07:24:18
• vector G-space ( vector G-space(rev # 9) | history )
  by Urs Schreiber at September 29, 2020 at 06:36:35
• vector G-space ( vector G-space(rev # 8) | history )
  by Urs Schreiber at September 29, 2020 at 05:58:33
• equivariant dgc-algebra ( equivariant dgc-algebra(rev # 3) | history )
  by Urs Schreiber at September 29, 2020 at 05:57:52
• Marek Golasiński ( Marek Golasiński(rev # 5) | history )
  by Urs Schreiber at September 29, 2020 at 05:56:56
• simplicial principal bundle ( simplicial principal bundle(rev # 10) | history )
  by Urs Schreiber at September 29, 2020 at 04:35:56
• model structure for L-infinity algebras ( model structure for L-infinity algebras(rev # 45) | history )
  by Urs Schreiber at September 29, 2020 at 03:52:45
• effective quantum field theory ( effective quantum field theory(rev # 64) | history )
  by Urs Schreiber at September 29, 2020 at 02:49:42
• A. P. Balachandran ( A. P. Balachandran(rev # 3) | history )
  by Valeria de Paiva at September 28, 2020 at 17:46:38
• simplicial principal bundle ( simplicial principal bundle(rev # 9) | history )
  by Dmitri Pavlov at September 28, 2020 at 13:39:28
• algebraic geometry ( algebraic geometry(rev # 24) | history )
  by Urs Schreiber at September 28, 2020 at 13:01:20
• cofiber sequence ( cofiber sequence(rev # 6) | history )
  by Mark John Hopkins? at September 28, 2020 at 08:23:47
• rank of a Lie group ( rank of a Lie group(rev # 3) | history )
  by Anonymous at September 28, 2020 at 05:30:17
• model structure for L-infinity algebras ( model structure for L-infinity algebras(rev # 44) | history )
  by Urs Schreiber at September 28, 2020 at 04:46:29
• internal category ( internal category(rev # 63) | history )
  by Anonymous at September 28, 2020 at 03:15:30
• hierarchy problem ( hierarchy problem(rev # 7) | history )
  by Urs Schreiber at September 27, 2020 at 21:18:43
• convenient category of topological spaces ( convenient category of topological spaces(rev # 47) | history )
  by David Roberts at September 27, 2020 at 20:02:57
• modified Bernoulli number ( modified Bernoulli number(rev # 3) | history )
  by Anonymous at September 27, 2020 at 15:28:07
• Kan extension ( Kan extension(rev # 120) | history )
  by Dmitri Pavlov at September 27, 2020 at 12:56:49
• injective object ( injective object(rev # 60) | history )
  by Urs Schreiber at September 27, 2020 at 12:00:06
• projective variety ( projective variety(rev # 4) | history )
  by Anodyne Howard at September 27, 2020 at 11:09:47
• effective quantum field theory ( effective quantum field theory(rev # 63) | history )
  by Urs Schreiber at September 27, 2020 at 09:40:29
• projective resolution ( projective resolution(rev # 63) | history )
  by Urs Schreiber at September 27, 2020 at 09:24:00
• injective envelope ( injective envelope(rev # 14) | history )
  by Urs Schreiber at September 27, 2020 at 07:33:59
• homological algebra ( homological algebra(rev # 38) | history )
  by Urs Schreiber at September 27, 2020 at 07:33:24
• Urs Stammbach
  by Urs Schreiber at September 27, 2020 at 07:33:07
• Samuel Eilenberg ( Samuel Eilenberg(rev # 11) | history )
  by Urs Schreiber at September 27, 2020 at 07:23:27
• Henri Cartan ( Henri Cartan(rev # 7) | history )
  by Urs Schreiber at September 27, 2020 at 07:23:02
• An Introduction to Homological Algebra ( An Introduction to Homological Algebra(rev # 22) | history )
  by Urs Schreiber at September 27, 2020 at 07:20:49
• The Joy of Cats ( The Joy of Cats(rev # 5) | history )
  by Urs Schreiber at September 27, 2020 at 07:13:45
• injective envelope ( injective envelope(rev # 13) | history )
  by Urs Schreiber at September 27, 2020 at 06:54:30
• vector G-space ( vector G-space(rev # 7) | history )
  by Urs Schreiber at September 27, 2020 at 05:13:17
• Kan extension ( Kan extension(rev # 119) | history )
  by Urs Schreiber at September 27, 2020 at 05:11:44
• equivariant rational homotopy theory ( equivariant rational homotopy theory(rev # 14) | history )
  by Urs Schreiber at September 26, 2020 at 14:20:11
• model structure on equivariant dgc-algebras ( model structure on equivariant dgc-algebras(rev # 5) | history )
  by Urs Schreiber at September 26, 2020 at 14:19:37
• equivariant Sullivan model
  by Urs Schreiber at September 26, 2020 at 14:16:05
• equivariant dgc-algebra ( equivariant dgc-algebra(rev # 2) | history )
  by Urs Schreiber at September 26, 2020 at 14:13:53
• Sullivan model ( Sullivan model(rev # 36) | history )
  by Urs Schreiber at September 26, 2020 at 14:02:36
• higher-order logic ( higher-order logic(rev # 56) | history )
  by David Corfield at September 26, 2020 at 11:58:17
• vector G-space ( vector G-space(rev # 6) | history )
  by Urs Schreiber at September 26, 2020 at 11:25:23
• Sandbox ( Sandbox(rev # 2059) | history )
  by Urs Schreiber at September 26, 2020 at 11:06:40
• projective cover ( projective cover(rev # 4) | history )
  by Urs Schreiber at September 26, 2020 at 10:55:49
• injective envelope ( injective envelope(rev # 12) | history )
  by Urs Schreiber at September 26, 2020 at 10:55:13
• moduli stack of elliptic curves ( moduli stack of elliptic curves(rev # 32) | history )
  by Anonymous at September 26, 2020 at 10:15:20
• vector G-space ( vector G-space(rev # 5) | history )
  by Urs Schreiber at September 26, 2020 at 08:19:13
• orbit category ( orbit category(rev # 24) | history )
  by Urs Schreiber at September 26, 2020 at 08:03:05
• Sandbox ( Sandbox(rev # 2058) | history )
  by Urs Schreiber at September 26, 2020 at 07:54:48
• vector G-space ( vector G-space(rev # 4) | history )
  by Urs Schreiber at September 26, 2020 at 07:11:32
• group of order 2 ( group of order 2(rev # 9) | history )
  by Urs Schreiber at September 26, 2020 at 06:44:21
• equivariant PL de Rham theorem ( equivariant PL de Rham theorem(rev # 2) | history )
  by Urs Schreiber at September 26, 2020 at 06:20:22
• Kähler manifold ( Kähler manifold(rev # 39) | history )
  by Anonymous at September 26, 2020 at 02:36:35
• equivariant de Rham cohomology ( equivariant de Rham cohomology(rev # 27) | history )
  by Urs Schreiber at September 25, 2020 at 15:42:38
• equivariant PL de Rham theorem ( equivariant PL de Rham theorem(rev # 1) | history )
  by Urs Schreiber at September 25, 2020 at 15:41:10
• de Rham theorem ( de Rham theorem(rev # 26) | history )
  by Urs Schreiber at September 25, 2020 at 15:40:24
• equivariant PL de Rham complex ( equivariant PL de Rham complex(rev # 3) | history )
  by Urs Schreiber at September 25, 2020 at 15:38:38
• PL de Rham theorem ( PL de Rham theorem(rev # 2) | history )
  by Urs Schreiber at September 25, 2020 at 15:34:18
• substitution ( substitution(rev # 13) | history )
  by Anonymous at September 25, 2020 at 15:20:16
• Laura Scull ( Laura Scull(rev # 4) | history )
  by Urs Schreiber at September 25, 2020 at 14:11:03
• fundamental theorem of dg-algebraic equivariant rational homotopy theory
  by Urs Schreiber at September 25, 2020 at 14:10:47
• On PL deRham theory and rational homotopy type ( On PL deRham theory and rational homotopy type(rev # 6) | history )
  by Urs Schreiber at September 25, 2020 at 13:53:31
• fundamental theorem of dg-algebraic rational homotopy theory ( fundamental theorem of dg-algebraic rational homotopy theory(rev # 3) | history )
  by Urs Schreiber at September 25, 2020 at 13:51:53
• equivariant rational homotopy theory ( equivariant rational homotopy theory(rev # 13) | history )
  by Urs Schreiber at September 25, 2020 at 13:49:53
• modal homotopy type theory ( modal homotopy type theory(rev # 15) | history )
  by Urs Schreiber at September 25, 2020 at 13:44:17
• stable homotopy type ( stable homotopy type(rev # 8) | history )
  by Urs Schreiber at September 25, 2020 at 13:43:48
• equivariant homotopy type
  by Urs Schreiber at September 25, 2020 at 13:43:25
• homotopy type ( homotopy type(rev # 32) | history )
  by Urs Schreiber at September 25, 2020 at 13:41:32
• Sandbox ( Sandbox(rev # 2057) | history )
  by Urs Schreiber at September 25, 2020 at 13:37:33
• model structure on equivariant dgc-algebras ( model structure on equivariant dgc-algebras(rev # 4) | history )
  by Urs Schreiber at September 25, 2020 at 13:20:16
• equivariant PL de Rham complex ( equivariant PL de Rham complex(rev # 2) | history )
  by Urs Schreiber at September 25, 2020 at 13:19:31
• Elmendorf's theorem ( Elmendorf's theorem(rev # 27) | history )
  by Urs Schreiber at September 25, 2020 at 13:17:56
• Quillen adjunction between equivariant simplicial sets and equivariant connective dgc-algebras
  by Urs Schreiber at September 25, 2020 at 13:16:12
• Quillen adjunction between simplicial sets and connective dgc-algebras ( Quillen adjunction between simplicial sets and connective dgc-algebras(rev # 3) | history )
  by Urs Schreiber at September 25, 2020 at 13:11:34
• vector G-space ( vector G-space(rev # 3) | history )
  by Urs Schreiber at September 25, 2020 at 12:54:58
• model structure on equivariant chain complexes ( model structure on equivariant chain complexes(rev # 2) | history )
  by Urs Schreiber at September 25, 2020 at 12:42:05
• model structure on equivariant chain complexes ( model structure on equivariant chain complexes(rev # 1) | history )
  by Urs Schreiber at September 25, 2020 at 11:41:54
• model category theory - contents ( model category theory - contents(rev # 65) | history )
  by Urs Schreiber at September 25, 2020 at 11:33:18
• model category theory - contents ( model category theory - contents(rev # 64) | history )
  by Urs Schreiber at September 25, 2020 at 11:30:36
• model structure on chain complexes ( model structure on chain complexes(rev # 70) | history )
  by Urs Schreiber at September 25, 2020 at 11:27:21
• equivariant chain complex
  by Urs Schreiber at September 25, 2020 at 11:16:01
• chain complex ( chain complex(rev # 34) | history )
  by Urs Schreiber at September 25, 2020 at 11:08:00
• category of chain complexes ( category of chain complexes(rev # 17) | history )
  by Urs Schreiber at September 25, 2020 at 11:07:32
• model structure on equivariant dgc-algebras ( model structure on equivariant dgc-algebras(rev # 3) | history )
  by Urs Schreiber at September 25, 2020 at 11:06:57
• vector G-space ( vector G-space(rev # 2) | history )
  by Urs Schreiber at September 25, 2020 at 11:01:25
• orbit category ( orbit category(rev # 23) | history )
  by Urs Schreiber at September 25, 2020 at 10:59:18
• differential graded-commutative algebra ( differential graded-commutative algebra(rev # 17) | history )
  by Urs Schreiber at September 25, 2020 at 10:57:08
• equivariant dgc-algebra ( equivariant dgc-algebra(rev # 1) | history )
  by Urs Schreiber at September 25, 2020 at 10:55:34
• equivariant PL de Rham complex ( equivariant PL de Rham complex(rev # 1) | history )
  by Urs Schreiber at September 25, 2020 at 10:51:18
• PL de Rham complex ( PL de Rham complex(rev # 8) | history )
  by Urs Schreiber at September 25, 2020 at 10:49:15
• choice object ( choice object(rev # 12) | history )
  by Anonymous at September 25, 2020 at 10:48:01
• projective object ( projective object(rev # 30) | history )
  by Anonymous at September 25, 2020 at 10:47:30
• equivariant rational homotopy theory ( equivariant rational homotopy theory(rev # 12) | history )
  by Urs Schreiber at September 25, 2020 at 10:43:20