nLab
Latest Revisions

• groupoid ( groupoid(rev # 61) | history )
  by Daniele Palombi? at December 17, 2018 at 04:04:08
• homotopical category ( homotopical category(rev # 16) | history )
  by Richard Williamson at December 17, 2018 at 02:45:01
• homotopical category ( homotopical category(rev # 15) | history )
  by Tim Porter at December 17, 2018 at 02:28:14
• polymorphism ( polymorphism(rev # 12) | history )
  by Matt Oliveri? at December 17, 2018 at 02:10:21
• tricategory ( tricategory(rev # 15) | history )
  by Anonymous at December 17, 2018 at 01:19:33
• foundation of mathematics ( foundation of mathematics(rev # 91) | history )
  by Richard Williamson at December 16, 2018 at 23:37:01
• universe polymorphism ( universe polymorphism(rev # 4) | history )
  by David Roberts at December 16, 2018 at 22:05:33
• polymorphism ( polymorphism(rev # 11) | history )
  by David Roberts at December 16, 2018 at 22:04:03
• poly-morphism ( poly-morphism(rev # 2) | history )
  by David Roberts at December 16, 2018 at 21:55:11
• poly-morphism ( poly-morphism(rev # 1) | history )
  by David Roberts at December 16, 2018 at 20:49:12
• power set ( power set(rev # 21) | history )
  by David Roberts at December 16, 2018 at 20:21:44
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 21) | history )
  by David Roberts at December 16, 2018 at 19:13:58
• factorization homology ( factorization homology(rev # 14) | history )
  by Anonymous at December 16, 2018 at 15:05:04
• D'Auria-Fre formulation of supergravity ( D'Auria-Fre formulation of supergravity(rev # 79) | history )
  by Urs Schreiber at December 16, 2018 at 08:03:02
• double category ( double category(rev # 54) | history )
  by Anonymous at December 16, 2018 at 06:05:07
• D'Auria-Fre formulation of supergravity ( D'Auria-Fre formulation of supergravity(rev # 78) | history )
  by Urs Schreiber at December 16, 2018 at 05:16:47
• D'Auria-Fre formulation of supergravity ( D'Auria-Fre formulation of supergravity(rev # 77) | history )
  by Urs Schreiber at December 16, 2018 at 04:19:21
• D'Auria-Fre formulation of supergravity ( D'Auria-Fre formulation of supergravity(rev # 76) | history )
  by Urs Schreiber at December 16, 2018 at 03:41:02
• D'Auria-Fre formulation of supergravity ( D'Auria-Fre formulation of supergravity(rev # 75) | history )
  by Urs Schreiber at December 16, 2018 at 02:36:53
• D'Auria-Fre formulation of supergravity ( D'Auria-Fre formulation of supergravity(rev # 74) | history )
  by Urs Schreiber at December 16, 2018 at 01:16:48
• opetope ( opetope(rev # 19) | history )
  by Urs Schreiber at December 16, 2018 at 00:59:23
• relative complement ( relative complement(rev # 4) | history )
  by Toby Bartels at December 15, 2018 at 13:53:09
• perfect dg-module ( perfect dg-module(rev # 4) | history )
  by Anonymous at December 15, 2018 at 08:44:51
• relative complement ( relative complement(rev # 3) | history )
  by Toby Bartels at December 15, 2018 at 08:41:35
• excellent model category ( excellent model category(rev # 3) | history )
  by Mike Shulman at December 15, 2018 at 08:05:31
• D'Auria-Fre formulation of supergravity ( D'Auria-Fre formulation of supergravity(rev # 73) | history )
  by David Corfield at December 15, 2018 at 05:59:10
• Samuel Dobson ( Samuel Dobson(rev # 3) | history )
  by Anonymous at December 15, 2018 at 04:40:50
• D'Auria-Fre formulation of supergravity ( D'Auria-Fre formulation of supergravity(rev # 72) | history )
  by Urs Schreiber at December 15, 2018 at 02:15:15
• Chern-Weil homomorphism ( Chern-Weil homomorphism(rev # 13) | history )
  by Urs Schreiber at December 15, 2018 at 00:21:32
• equivariant stable cohomotopy ( equivariant stable cohomotopy(rev # 11) | history )
  by Urs Schreiber at December 15, 2018 at 00:11:04
• subobject classifier ( subobject classifier(rev # 45) | history )
  by Urs Schreiber at December 14, 2018 at 22:27:51
• Initiality Project ( Initiality Project(rev # 46) | history )
  by Ali Caglayan at December 14, 2018 at 20:18:50
• metaplectic representation ( metaplectic representation(rev # 6) | history )
  by Blazej Ruba? at December 14, 2018 at 18:19:10
• Chern-Weil homomorphism ( Chern-Weil homomorphism(rev # 12) | history )
  by Praphulla Koushik? at December 14, 2018 at 16:52:52
• Chern-Weil homomorphism ( Chern-Weil homomorphism(rev # 11) | history )
  by Anonymous at December 14, 2018 at 16:35:26
• 4-sphere ( 4-sphere(rev # 25) | history )
  by David Corfield at December 14, 2018 at 10:45:28
• twistor space ( twistor space(rev # 36) | history )
  by David Corfield at December 14, 2018 at 10:41:01
• 4-sphere ( 4-sphere(rev # 24) | history )
  by Urs Schreiber at December 14, 2018 at 07:23:20
• landscape of string theory vacua ( landscape of string theory vacua(rev # 54) | history )
  by Urs Schreiber at December 14, 2018 at 04:39:26
• string phenomenology ( string phenomenology(rev # 54) | history )
  by Urs Schreiber at December 14, 2018 at 04:35:28
• intersecting D-brane model ( intersecting D-brane model(rev # 30) | history )
  by Urs Schreiber at December 14, 2018 at 04:25:04
• Dieter Lüst ( Dieter Lüst(rev # 5) | history )
  by Urs Schreiber at December 14, 2018 at 04:22:12
• heterotic string theory ( heterotic string theory(rev # 44) | history )
  by Urs Schreiber at December 14, 2018 at 02:41:57
• string phenomenology ( string phenomenology(rev # 53) | history )
  by Urs Schreiber at December 14, 2018 at 02:29:39
• MSSM ( MSSM(rev # 8) | history )
  by Urs Schreiber at December 14, 2018 at 02:26:08
• BFSS matrix model ( BFSS matrix model(rev # 23) | history )
  by Urs Schreiber at December 14, 2018 at 01:48:48
• Yang-Hui He
  by Urs Schreiber at December 14, 2018 at 01:36:20
• Andre Lukas
  by Urs Schreiber at December 14, 2018 at 01:34:34
• BFSS matrix model ( BFSS matrix model(rev # 22) | history )
  by David Corfield at December 13, 2018 at 10:43:53
• BFSS matrix model ( BFSS matrix model(rev # 21) | history )
  by Urs Schreiber at December 13, 2018 at 09:44:56
• Physical Mathematics and the Future ( Physical Mathematics and the Future(rev # 6) | history )
  by Urs Schreiber at December 13, 2018 at 09:35:40
• BFSS matrix model ( BFSS matrix model(rev # 20) | history )
  by Urs Schreiber at December 12, 2018 at 23:09:26
• random matrix ( random matrix(rev # 7) | history )
  by Urs Schreiber at December 12, 2018 at 23:08:13
• abelian category ( abelian category(rev # 68) | history )
  by Anonymous at December 12, 2018 at 21:23:31
• M-theory on G2-manifolds ( M-theory on G2-manifolds(rev # 74) | history )
  by Urs Schreiber at December 12, 2018 at 12:49:33
• Gordon Kane ( Gordon Kane(rev # 9) | history )
  by Urs Schreiber at December 12, 2018 at 12:42:18
• G2 manifold ( G2 manifold(rev # 50) | history )
  by Urs Schreiber at December 12, 2018 at 12:23:58
• conformal net ( conformal net(rev # 21) | history )
  by Urs Schreiber at December 12, 2018 at 12:07:05
• vertex operator algebra ( vertex operator algebra(rev # 42) | history )
  by Urs Schreiber at December 12, 2018 at 12:04:45
• Riemannian orbifold ( Riemannian orbifold(rev # 7) | history )
  by Urs Schreiber at December 12, 2018 at 11:56:43
• M-theory on G2-manifolds ( M-theory on G2-manifolds(rev # 73) | history )
  by Urs Schreiber at December 12, 2018 at 11:55:39
• G2-orbifold ( G2-orbifold(rev # 2) | history )
  by Urs Schreiber at December 12, 2018 at 11:54:54
• G2 manifold ( G2 manifold(rev # 49) | history )
  by Urs Schreiber at December 12, 2018 at 11:52:38
• orbifold ( orbifold(rev # 54) | history )
  by Urs Schreiber at December 12, 2018 at 11:50:58
• Blakers-Massey theorem ( Blakers-Massey theorem(rev # 40) | history )
  by Ronald Brown at December 12, 2018 at 10:47:50
• G2 manifold ( G2 manifold(rev # 48) | history )
  by David Corfield at December 12, 2018 at 10:08:59
• topological K-theory ( topological K-theory(rev # 96) | history )
  by Anonymous at December 12, 2018 at 07:57:28
• quantification ( quantification(rev # 18) | history )
  by Hieronymous Coward? at December 12, 2018 at 07:40:32
• Riemannian orbifold ( Riemannian orbifold(rev # 6) | history )
  by Urs Schreiber at December 12, 2018 at 07:20:00
• perturbative quantum field theory ( perturbative quantum field theory(rev # 35) | history )
  by Urs Schreiber at December 12, 2018 at 05:28:14
• Riemannian orbifold ( Riemannian orbifold(rev # 5) | history )
  by Urs Schreiber at December 12, 2018 at 05:09:53
• Dieter Lüst ( Dieter Lüst(rev # 4) | history )
  by Urs Schreiber at December 12, 2018 at 05:08:53
• Riemannian orbifold ( Riemannian orbifold(rev # 4) | history )
  by Urs Schreiber at December 12, 2018 at 03:17:55
• Andreas Braun
  by Urs Schreiber at December 12, 2018 at 02:34:28
• G2 manifold ( G2 manifold(rev # 47) | history )
  by Urs Schreiber at December 12, 2018 at 02:32:27
• category of fractions ( category of fractions(rev # 14) | history )
  by Tim Porter at December 12, 2018 at 01:41:43
• composition algebra ( composition algebra(rev # 21) | history )
  by Urs Schreiber at December 11, 2018 at 23:49:56
• string field theory ( string field theory(rev # 56) | history )
  by Urs Schreiber at December 11, 2018 at 20:58:15
• FOLDS ( FOLDS(rev # 6) | history )
  by David Roberts at December 11, 2018 at 20:57:01
• topological string ( topological string(rev # 11) | history )
  by Urs Schreiber at December 11, 2018 at 20:56:06
• Gopakumar-Vafa invariant ( Gopakumar-Vafa invariant(rev # 3) | history )
  by Urs Schreiber at December 11, 2018 at 20:54:46
• Julian Schwinger ( Julian Schwinger(rev # 5) | history )
  by Urs Schreiber at December 11, 2018 at 20:52:43
• de Sitter spacetime ( de Sitter spacetime(rev # 24) | history )
  by Urs Schreiber at December 11, 2018 at 20:47:44
• Clay Cordova ( Clay Cordova(rev # 4) | history )
  by Urs Schreiber at December 11, 2018 at 20:47:39
• NS5-brane ( NS5-brane(rev # 32) | history )
  by Urs Schreiber at December 11, 2018 at 12:18:35
• multicategory ( multicategory(rev # 31) | history )
  by Anonymous at December 11, 2018 at 11:16:48
• multicategory ( multicategory(rev # 30) | history )
  by Anonymous at December 11, 2018 at 11:16:03
• NS5-brane ( NS5-brane(rev # 31) | history )
  by Urs Schreiber at December 11, 2018 at 11:01:07
• branched cover ( branched cover(rev # 7) | history )
  by Urs Schreiber at December 11, 2018 at 10:15:00
• 4-manifold ( 4-manifold(rev # 2) | history )
  by Urs Schreiber at December 11, 2018 at 10:13:15
• Riccardo Piergallini
  by Urs Schreiber at December 11, 2018 at 09:56:30
• slope filtration ( slope filtration(rev # 3) | history )
  by Hieronymous Coward? at December 11, 2018 at 08:08:26
• lattice (in a vector space, etc.) ( lattice (in a vector space, etc.)(rev # 8) | history )
  by David Corfield at December 11, 2018 at 07:58:21
• symmetry ( symmetry(rev # 8) | history )
  by Urs Schreiber at December 11, 2018 at 07:44:00
• Galilean group ( Galilean group(rev # 5) | history )
  by Urs Schreiber at December 11, 2018 at 07:42:55
• space group ( space group(rev # 2) | history )
  by Urs Schreiber at December 11, 2018 at 07:41:59
• brane intersection ( brane intersection(rev # 12) | history )
  by Urs Schreiber at December 11, 2018 at 07:25:18
• string network ( string network(rev # 2) | history )
  by Urs Schreiber at December 11, 2018 at 07:19:27
• wallpaper group ( wallpaper group(rev # 3) | history )
  by Urs Schreiber at December 11, 2018 at 07:00:58
• space group ( space group(rev # 1) | history )
  by David Corfield at December 11, 2018 at 07:00:30