nLab
Latest Revisions

• self-dual Yang-Mills theory ( self-dual Yang-Mills theory(rev # 7) | history )
  by Urs Schreiber at October 14, 2019 at 10:26:30
• monopole ( monopole(rev # 15) | history )
  by Urs Schreiber at October 14, 2019 at 10:23:45
• Nahm transform ( Nahm transform(rev # 2) | history )
  by Urs Schreiber at October 14, 2019 at 10:22:00
• Yang-Mills instanton ( Yang-Mills instanton(rev # 27) | history )
  by Urs Schreiber at October 14, 2019 at 10:21:04
• Nigel Hitchin ( Nigel Hitchin(rev # 6) | history )
  by Urs Schreiber at October 14, 2019 at 10:11:34
• Michael Atiyah ( Michael Atiyah(rev # 14) | history )
  by Urs Schreiber at October 14, 2019 at 10:10:35
• moduli space of monopoles ( moduli space of monopoles(rev # 1) | history )
  by Urs Schreiber at October 14, 2019 at 10:08:58
• comma double category ( comma double category(rev # 9) | history )
  by Mike Shulman at October 14, 2019 at 09:41:33
• dualizable object ( dualizable object(rev # 42) | history )
  by Mike Shulman at October 14, 2019 at 09:37:48
• contact instanton
  by Lemuel Strub? at October 14, 2019 at 08:53:44
• Simon Donaldson ( Simon Donaldson(rev # 4) | history )
  by Urs Schreiber at October 14, 2019 at 07:29:01
• Nahm transform ( Nahm transform(rev # 1) | history )
  by Urs Schreiber at October 14, 2019 at 07:27:51
• Werner Nahm ( Werner Nahm(rev # 4) | history )
  by Urs Schreiber at October 14, 2019 at 07:17:14
• caloron correspondence ( caloron correspondence(rev # 6) | history )
  by Urs Schreiber at October 14, 2019 at 07:07:24
• monopole ( monopole(rev # 14) | history )
  by Urs Schreiber at October 14, 2019 at 07:06:28
• ADHM construction ( ADHM construction(rev # 2) | history )
  by Urs Schreiber at October 14, 2019 at 07:05:35
• Yang-Mills instanton ( Yang-Mills instanton(rev # 26) | history )
  by Urs Schreiber at October 14, 2019 at 06:47:11
• AGT correspondence ( AGT correspondence(rev # 17) | history )
  by Urs Schreiber at October 14, 2019 at 06:19:28
• D=7 supergravity ( D=7 supergravity(rev # 13) | history )
  by Urs Schreiber at October 14, 2019 at 03:50:18
• Peter van Nieuwenhuizen ( Peter van Nieuwenhuizen(rev # 6) | history )
  by Urs Schreiber at October 14, 2019 at 03:24:47
• Paul Townsend ( Paul Townsend(rev # 7) | history )
  by Urs Schreiber at October 14, 2019 at 03:18:56
• D=7 supergravity ( D=7 supergravity(rev # 12) | history )
  by Urs Schreiber at October 14, 2019 at 03:17:05
• Sandbox ( Sandbox(rev # 1895) | history )
  by Alexis Hazell? at October 14, 2019 at 02:59:01
• torsion ( torsion(rev # 11) | history )
  by Elves? at October 13, 2019 at 21:27:27
• Chu construction ( Chu construction(rev # 34) | history )
  by Mike Shulman at October 13, 2019 at 20:18:32
• Chu construction ( Chu construction(rev # 33) | history )
  by Mike Shulman at October 13, 2019 at 18:13:01
• E-string ( E-string(rev # 6) | history )
  by Urs Schreiber at October 13, 2019 at 14:18:05
• valuation (measure theory) ( valuation (measure theory)(rev # 15) | history )
  by Dmitri Pavlov at October 13, 2019 at 14:06:47
• Jeff Giansiracusa ( Jeff Giansiracusa(rev # 10) | history )
  by Tim Porter at October 13, 2019 at 12:49:43
• relative monad ( relative monad(rev # 4) | history )
  by Daniele Palombi? at October 13, 2019 at 08:53:20
• geometric realization of simplicial topological spaces ( geometric realization of simplicial topological spaces(rev # 61) | history )
  by Urs Schreiber at October 13, 2019 at 08:51:52
• Yukawa coupling ( Yukawa coupling(rev # 12) | history )
  by Urs Schreiber at October 13, 2019 at 08:23:28
• string phenomenology ( string phenomenology(rev # 68) | history )
  by Urs Schreiber at October 13, 2019 at 08:22:51
• intersecting D-brane model ( intersecting D-brane model(rev # 49) | history )
  by Urs Schreiber at October 13, 2019 at 08:20:11
• geometric realization of simplicial topological spaces ( geometric realization of simplicial topological spaces(rev # 60) | history )
  by Urs Schreiber at October 13, 2019 at 07:56:10
• Sandbox ( Sandbox(rev # 1894) | history )
  by Alexis Hazell? at October 13, 2019 at 07:43:44
• Sandbox ( Sandbox(rev # 1893) | history )
  by Alexis Hazell? at October 13, 2019 at 04:47:10
• functional programming ( functional programming(rev # 6) | history )
  by Alexis Hazell? at October 13, 2019 at 04:06:56
• Eugenia Cheng ( Eugenia Cheng(rev # 3) | history )
  by Robin Adams? at October 13, 2019 at 03:28:16
• Jeff Giansiracusa ( Jeff Giansiracusa(rev # 9) | history )
  by Urs Schreiber at October 13, 2019 at 02:58:50
• Jeff Giansiracusa ( Jeff Giansiracusa(rev # 8) | history )
  by Tim Porter at October 13, 2019 at 02:25:13
• Kelly-Mac Lane graph ( Kelly-Mac Lane graph(rev # 6) | history )
  by Mike Shulman at October 13, 2019 at 00:57:49
• crystalline cohomology ( crystalline cohomology(rev # 16) | history )
  by Anonymous at October 13, 2019 at 00:29:24
• exact couple ( exact couple(rev # 27) | history )
  by Anonymous at October 12, 2019 at 21:49:07
• !-modality ( !-modality(rev # 22) | history )
  by Mike Shulman at October 12, 2019 at 19:25:25
• homotopy.io ( homotopy.io(rev # 23) | history )
  by Anonymous at October 12, 2019 at 15:48:11
• Fulton-MacPherson operad ( Fulton-MacPherson operad(rev # 21) | history )
  by Urs Schreiber at October 12, 2019 at 15:33:02
• little cubes operad ( little cubes operad(rev # 38) | history )
  by Urs Schreiber at October 12, 2019 at 15:31:55
• Paolo Salvatore ( Paolo Salvatore(rev # 3) | history )
  by Urs Schreiber at October 12, 2019 at 15:30:54
• BV-algebra ( BV-algebra(rev # 19) | history )
  by Urs Schreiber at October 12, 2019 at 15:29:58
• Jeff Giansiracusa ( Jeff Giansiracusa(rev # 7) | history )
  by Urs Schreiber at October 12, 2019 at 15:28:38
• framed little 2-disk operad ( framed little 2-disk operad(rev # 13) | history )
  by Urs Schreiber at October 12, 2019 at 15:23:53
• configuration space of points ( configuration space of points(rev # 54) | history )
  by Urs Schreiber at October 12, 2019 at 15:16:00
• Cumrun Vafa ( Cumrun Vafa(rev # 16) | history )
  by Urs Schreiber at October 12, 2019 at 14:05:47
• identity among the relations ( identity among the relations(rev # 12) | history )
  by Elves? at October 12, 2019 at 11:42:21
• pre-Lie algebra ( pre-Lie algebra(rev # 17) | history )
  by Elves? at October 12, 2019 at 11:02:57
• group completion theorem ( group completion theorem(rev # 5) | history )
  by Urs Schreiber at October 12, 2019 at 10:42:16
• valuation (measure theory) ( valuation (measure theory)(rev # 14) | history )
  by Urs Schreiber at October 12, 2019 at 10:28:07
• simplex ( simplex(rev # 33) | history )
  by Todd Trimble at October 12, 2019 at 10:02:41
• Edward Witten ( Edward Witten(rev # 21) | history )
  by Urs Schreiber at October 12, 2019 at 09:54:55
• configuration space of points ( configuration space of points(rev # 53) | history )
  by Urs Schreiber at October 12, 2019 at 09:09:33
• cubical type theory ( cubical type theory(rev # 14) | history )
  by Evan Cavallo? at October 12, 2019 at 09:03:29
• rational homotopy theory ( rational homotopy theory(rev # 97) | history )
  by Urs Schreiber at October 12, 2019 at 08:24:45
• Yves Félix ( Yves Félix(rev # 4) | history )
  by Urs Schreiber at October 12, 2019 at 08:24:22
• Steve Halperin ( Steve Halperin(rev # 3) | history )
  by Urs Schreiber at October 12, 2019 at 08:24:05
• Jean-Claude Thomas ( Jean-Claude Thomas(rev # 1) | history )
  by Urs Schreiber at October 12, 2019 at 08:23:46
• configuration space of points ( configuration space of points(rev # 52) | history )
  by Urs Schreiber at October 12, 2019 at 08:18:50
• Fred Cohen ( Fred Cohen(rev # 6) | history )
  by Urs Schreiber at October 12, 2019 at 08:15:55
• graph complex ( graph complex(rev # 74) | history )
  by Urs Schreiber at October 12, 2019 at 07:46:55
• 4-sphere ( 4-sphere(rev # 36) | history )
  by Urs Schreiber at October 12, 2019 at 05:58:08
• Sullivan model of loop space ( Sullivan model of loop space(rev # 25) | history )
  by Urs Schreiber at October 12, 2019 at 05:56:45
• Sullivan model of a spherical fibration ( Sullivan model of a spherical fibration(rev # 13) | history )
  by Urs Schreiber at October 12, 2019 at 05:55:45
• Yves Félix ( Yves Félix(rev # 3) | history )
  by Urs Schreiber at October 12, 2019 at 05:54:50
• Daniel Tanré
  by Urs Schreiber at October 12, 2019 at 05:54:21
• spherical fibration ( spherical fibration(rev # 11) | history )
  by Urs Schreiber at October 12, 2019 at 05:51:25
• Steve Halperin ( Steve Halperin(rev # 2) | history )
  by Urs Schreiber at October 12, 2019 at 05:50:09
• group action on an sphere ( group action on an sphere(rev # 2) | history )
  by Urs Schreiber at October 12, 2019 at 05:46:17
• Sullivan model of a suspension ( Sullivan model of a suspension(rev # 2) | history )
  by Urs Schreiber at October 12, 2019 at 05:44:00
• rational parameterized stable homotopy theory ( rational parameterized stable homotopy theory(rev # 9) | history )
  by Urs Schreiber at October 12, 2019 at 05:42:06
• configuration space of points ( configuration space of points(rev # 51) | history )
  by Urs Schreiber at October 12, 2019 at 05:31:00
• simplex ( simplex(rev # 32) | history )
  by Anonymous at October 11, 2019 at 22:11:14
• smooth infinity-groupoid ( smooth infinity-groupoid(rev # 199) | history )
  by Dmitri Pavlov at October 11, 2019 at 18:45:05
• correspondence between measure and valuation theory ( correspondence between measure and valuation theory(rev # 5) | history )
  by Anonymous at October 11, 2019 at 17:46:14
• star-autonomous category ( star-autonomous category(rev # 51) | history )
  by Mike Shulman at October 11, 2019 at 16:37:25
• monads of probability, measures, and valuations
  by Paolo Perrone? at October 11, 2019 at 14:23:22
• Wasserstein metric ( Wasserstein metric(rev # 8) | history )
  by Paolo Perrone? at October 11, 2019 at 14:15:38
• correspondence between measure and valuation theory ( correspondence between measure and valuation theory(rev # 4) | history )
  by Paolo Perrone? at October 11, 2019 at 13:38:46
• Edward Witten ( Edward Witten(rev # 20) | history )
  by Urs Schreiber at October 11, 2019 at 13:34:03
• valuation (measure theory) ( valuation (measure theory)(rev # 13) | history )
  by Paolo Perrone? at October 11, 2019 at 13:22:14
• CW complex ( CW complex(rev # 68) | history )
  by Anonymous at October 11, 2019 at 10:54:43
• support ( support(rev # 9) | history )
  by Rod Mc Guire at October 11, 2019 at 10:23:01
• differential forms on simplices ( differential forms on simplices(rev # 30) | history )
  by Anonymous at October 11, 2019 at 09:45:27
• correspondence between measure and valuation theory ( correspondence between measure and valuation theory(rev # 3) | history )
  by Paolo Perrone? at October 11, 2019 at 09:21:47
• tau-additive measure ( tau-additive measure(rev # 7) | history )
  by Paolo Perrone? at October 11, 2019 at 09:13:20
• valuation (measure theory) ( valuation (measure theory)(rev # 12) | history )
  by Paolo Perrone? at October 11, 2019 at 08:56:38
• Scott topology ( Scott topology(rev # 9) | history )
  by Paolo Perrone? at October 11, 2019 at 08:54:39
• AdS-QCD correspondence ( AdS-QCD correspondence(rev # 50) | history )
  by David Corfield at October 11, 2019 at 07:47:41
• hom-functor preserves limits ( hom-functor preserves limits(rev # 7) | history )
  by Anonymous at October 11, 2019 at 07:15:22
• AdS-QCD correspondence ( AdS-QCD correspondence(rev # 49) | history )
  by Urs Schreiber at October 11, 2019 at 06:45:35
• Gottfried Leibniz ( Gottfried Leibniz(rev # 8) | history )
  by David Corfield at October 11, 2019 at 06:34:50