nLab
Latest Revisions

• structured cospans
  by mattecapu? at July 20, 2019 at 05:48:16
• Ran space ( Ran space(rev # 11) | history )
  by Ammar Husain? at July 19, 2019 at 17:16:42
• cobase change ( cobase change(rev # 3) | history )
  by Anonymous at July 19, 2019 at 09:22:26
• bump function ( bump function(rev # 15) | history )
  by Lukas Stoll? at July 19, 2019 at 08:51:16
• 3-brane in 6d ( 3-brane in 6d(rev # 8) | history )
  by Urs Schreiber at July 19, 2019 at 05:33:10
• D=6 supergravity ( D=6 supergravity(rev # 3) | history )
  by Urs Schreiber at July 19, 2019 at 05:30:52
• self-dual string ( self-dual string(rev # 7) | history )
  by Urs Schreiber at July 19, 2019 at 05:29:09
• Green-Schwarz action functional ( Green-Schwarz action functional(rev # 150) | history )
  by Urs Schreiber at July 19, 2019 at 04:54:38
• holographic entanglement entropy ( holographic entanglement entropy(rev # 21) | history )
  by Urs Schreiber at July 19, 2019 at 04:24:48
• entanglement entropy ( entanglement entropy(rev # 3) | history )
  by Urs Schreiber at July 19, 2019 at 04:24:19
• semidirect product group ( semidirect product group(rev # 19) | history )
  by Urs Schreiber at July 19, 2019 at 03:49:57
• conformal compactification ( conformal compactification(rev # 9) | history )
  by Tim Campion? at July 18, 2019 at 19:39:51
• semidirect product group ( semidirect product group(rev # 18) | history )
  by Ammar Husain? at July 18, 2019 at 17:34:21
• Perry-Schwarz action ( Perry-Schwarz action(rev # 11) | history )
  by Urs Schreiber at July 18, 2019 at 16:52:32
• KLT relations ( KLT relations(rev # 14) | history )
  by Urs Schreiber at July 18, 2019 at 16:32:25
• duality in string theory ( duality in string theory(rev # 26) | history )
  by Urs Schreiber at July 18, 2019 at 16:31:29
• Leonardo Rastelli ( Leonardo Rastelli(rev # 4) | history )
  by Urs Schreiber at July 18, 2019 at 16:30:51
• open/closed string duality ( open/closed string duality(rev # 4) | history )
  by Urs Schreiber at July 18, 2019 at 16:30:19
• Herman Verlinde ( Herman Verlinde(rev # 2) | history )
  by Urs Schreiber at July 18, 2019 at 16:28:49
• Justin Khoury ( Justin Khoury(rev # 2) | history )
  by Urs Schreiber at July 18, 2019 at 16:28:37
• duality in string theory -- contents ( duality in string theory -- contents(rev # 6) | history )
  by Urs Schreiber at July 18, 2019 at 16:26:25
• duality in string theory -- contents ( duality in string theory -- contents(rev # 5) | history )
  by Urs Schreiber at July 18, 2019 at 16:25:29
• Michael Green ( Michael Green(rev # 6) | history )
  by Urs Schreiber at July 18, 2019 at 15:23:29
• John Schwarz ( John Schwarz(rev # 8) | history )
  by Urs Schreiber at July 18, 2019 at 15:22:00
• self-dual string ( self-dual string(rev # 6) | history )
  by Urs Schreiber at July 18, 2019 at 15:17:34
• open/closed string duality ( open/closed string duality(rev # 3) | history )
  by Anonymous at July 18, 2019 at 15:05:36
• essentially algebraic theory ( essentially algebraic theory(rev # 21) | history )
  by David Corfield at July 18, 2019 at 14:36:01
• Dirk Pattinson
  by Tim Porter at July 18, 2019 at 10:23:16
• coalgebra for an endofunctor ( coalgebra for an endofunctor(rev # 19) | history )
  by Tim Porter at July 18, 2019 at 10:10:49
• Mealy machine ( Mealy machine(rev # 4) | history )
  by Tim Porter at July 18, 2019 at 09:57:09
• Mealy morphism ( Mealy morphism(rev # 5) | history )
  by Tim Porter at July 18, 2019 at 09:48:47
• George H. Mealy ( George H. Mealy(rev # 4) | history )
  by Tim Porter at July 18, 2019 at 09:34:53
• Moore machine ( Moore machine(rev # 5) | history )
  by Tim Porter at July 18, 2019 at 09:32:56
• Cumrun Vafa ( Cumrun Vafa(rev # 11) | history )
  by Urs Schreiber at July 18, 2019 at 09:31:29
• Andrew Neitzke ( Andrew Neitzke(rev # 3) | history )
  by Urs Schreiber at July 18, 2019 at 09:30:55
• Amer Iqbal ( Amer Iqbal(rev # 2) | history )
  by Urs Schreiber at July 18, 2019 at 09:30:05
• self-dual string ( self-dual string(rev # 5) | history )
  by Urs Schreiber at July 18, 2019 at 09:28:15
• automaton ( automaton(rev # 14) | history )
  by Tim Porter at July 18, 2019 at 09:27:53
• Fierz identity ( Fierz identity(rev # 26) | history )
  by Urs Schreiber at July 18, 2019 at 09:10:25
• George H. Mealy ( George H. Mealy(rev # 3) | history )
  by Urs Schreiber at July 18, 2019 at 08:07:37
• Mealy machine ( Mealy machine(rev # 3) | history )
  by Urs Schreiber at July 18, 2019 at 08:05:35
• automaton ( automaton(rev # 13) | history )
  by Urs Schreiber at July 18, 2019 at 08:05:01
• Moore machine ( Moore machine(rev # 4) | history )
  by Urs Schreiber at July 18, 2019 at 08:02:37
• Mealy machine ( Mealy machine(rev # 2) | history )
  by David Roberts at July 18, 2019 at 07:43:33
• Moore machine ( Moore machine(rev # 3) | history )
  by David Roberts at July 18, 2019 at 07:42:09
• Moore machine ( Moore machine(rev # 2) | history )
  by David Roberts at July 18, 2019 at 07:42:08
• George H. Mealy ( George H. Mealy(rev # 2) | history )
  by David Roberts at July 18, 2019 at 07:37:01
• Mealy machine ( Mealy machine(rev # 1) | history )
  by Tim Porter at July 18, 2019 at 07:21:48
• Moore machine ( Moore machine(rev # 1) | history )
  by Tim Porter at July 18, 2019 at 07:20:21
• module spectrum ( module spectrum(rev # 20) | history )
  by Anonymous at July 18, 2019 at 07:06:38
• event structure ( event structure(rev # 10) | history )
  by Tim Porter at July 18, 2019 at 05:43:12
• Mealy morphism ( Mealy morphism(rev # 4) | history )
  by Tim Porter at July 18, 2019 at 05:39:01
• George H. Mealy ( George H. Mealy(rev # 1) | history )
  by Tim Porter at July 18, 2019 at 05:36:40
• Mealy morphism ( Mealy morphism(rev # 3) | history )
  by Richard Williamson at July 17, 2019 at 15:51:48
• GUT ( GUT(rev # 59) | history )
  by Urs Schreiber at July 17, 2019 at 13:07:59
• Fierz identity ( Fierz identity(rev # 25) | history )
  by Urs Schreiber at July 17, 2019 at 12:16:35
• D=6 N=(1,0) SCFT ( D=6 N=(1,0) SCFT(rev # 4) | history )
  by Urs Schreiber at July 17, 2019 at 12:13:12
• D=6 N=(2,0) SCFT ( D=6 N=(2,0) SCFT(rev # 57) | history )
  by Urs Schreiber at July 17, 2019 at 12:10:04
• D=2 N=(2,0) SCFT ( D=2 N=(2,0) SCFT(rev # 9) | history )
  by Urs Schreiber at July 17, 2019 at 12:09:11
• D=6 supergravity ( D=6 supergravity(rev # 2) | history )
  by Urs Schreiber at July 17, 2019 at 12:07:12
• Gauss decomposition ( Gauss decomposition(rev # 3) | history )
  by Anonymous at July 17, 2019 at 10:45:29
• M9-brane ( M9-brane(rev # 19) | history )
  by Urs Schreiber at July 17, 2019 at 09:45:33
• Hořava-Witten theory ( Hořava-Witten theory(rev # 34) | history )
  by Urs Schreiber at July 17, 2019 at 09:42:34
• generation of fundamental particles ( generation of fundamental particles(rev # 4) | history )
  by Urs Schreiber at July 17, 2019 at 05:55:38
• Sachdev-Ye-Kitaev model ( Sachdev-Ye-Kitaev model(rev # 6) | history )
  by Urs Schreiber at July 17, 2019 at 05:37:34
• Dimitri Nanopoulos ( Dimitri Nanopoulos(rev # 2) | history )
  by Urs Schreiber at July 17, 2019 at 05:30:42
• Van Eric Mayes
  by Urs Schreiber at July 17, 2019 at 05:29:56
• intersecting D-brane model ( intersecting D-brane model(rev # 37) | history )
  by Urs Schreiber at July 17, 2019 at 05:29:11
• Yukawa coupling ( Yukawa coupling(rev # 10) | history )
  by Urs Schreiber at July 17, 2019 at 05:28:37
• GUT ( GUT(rev # 58) | history )
  by Urs Schreiber at July 17, 2019 at 05:13:06
• hypothèse inspiratrice ( hypothèse inspiratrice(rev # 10) | history )
  by Richard Williamson at July 17, 2019 at 02:11:53
• Anders Mörtberg ( Anders Mörtberg(rev # 2) | history )
  by Urs Schreiber at July 16, 2019 at 18:36:49
• cubical type theory ( cubical type theory(rev # 12) | history )
  by Urs Schreiber at July 16, 2019 at 18:34:35
• Agda ( Agda(rev # 13) | history )
  by Urs Schreiber at July 16, 2019 at 18:34:08
• Alex Arvanitakis ( Alex Arvanitakis(rev # 3) | history )
  by Urs Schreiber at July 16, 2019 at 17:17:19
• compact closed category ( compact closed category(rev # 31) | history )
  by Richard Williamson at July 16, 2019 at 14:26:02
• compact closed category ( compact closed category(rev # 30) | history )
  by Antonin Delpeuch? at July 16, 2019 at 12:43:39
• Francis Brown ( Francis Brown(rev # 2) | history )
  by Urs Schreiber at July 16, 2019 at 09:29:00
• cosmic Galois group ( cosmic Galois group(rev # 11) | history )
  by Urs Schreiber at July 16, 2019 at 09:27:59
• landscape of string theory vacua ( landscape of string theory vacua(rev # 64) | history )
  by Urs Schreiber at July 16, 2019 at 09:13:16
• Savdeep Sethi ( Savdeep Sethi(rev # 5) | history )
  by Urs Schreiber at July 16, 2019 at 08:57:02
• de Sitter spacetime ( de Sitter spacetime(rev # 31) | history )
  by Urs Schreiber at July 16, 2019 at 08:55:01
• graded modality ( graded modality(rev # 13) | history )
  by dorchard? at July 16, 2019 at 06:27:59
• D=11 N=1 supergravity ( D=11 N=1 supergravity(rev # 52) | history )
  by Urs Schreiber at July 16, 2019 at 05:49:44
• torsion subgroup ( torsion subgroup(rev # 15) | history )
  by Anonymous at July 16, 2019 at 00:40:37
• profunctor ( profunctor(rev # 66) | history )
  by Richard Williamson at July 15, 2019 at 17:38:41
• measure space ( measure space(rev # 48) | history )
  by Dmitri Pavlov at July 15, 2019 at 16:45:36
• localisation of a commutative ring away from an element ( localisation of a commutative ring away from an element(rev # 4) | history )
  by Dmitri Pavlov at July 15, 2019 at 15:59:41
• game theory ( game theory(rev # 6) | history )
  by Marc? at July 15, 2019 at 13:09:41
• Amihay Hanany ( Amihay Hanany(rev # 4) | history )
  by Urs Schreiber at July 15, 2019 at 13:01:09
• M-theory on S1/G_HW times H/G_ADE ( M-theory on S1/G_HW times H/G_ADE(rev # 8) | history )
  by Urs Schreiber at July 15, 2019 at 12:59:33
• measure space ( measure space(rev # 47) | history )
  by Dmitri Pavlov at July 15, 2019 at 11:04:45
• Gabriel-Ulmer duality ( Gabriel-Ulmer duality(rev # 18) | history )
  by Anonymous at July 15, 2019 at 10:17:12
• dcpo ( dcpo(rev # 3) | history )
  by Anthony Hart? at July 15, 2019 at 08:41:35
• leptoquark ( leptoquark(rev # 30) | history )
  by Urs Schreiber at July 15, 2019 at 07:02:59
• flavour anomaly ( flavour anomaly(rev # 86) | history )
  by Urs Schreiber at July 15, 2019 at 07:02:31
• MSSM ( MSSM(rev # 11) | history )
  by Urs Schreiber at July 15, 2019 at 06:54:58
• CRing ( CRing(rev # 9) | history )
  by Urs Schreiber at July 15, 2019 at 06:51:20
• decidable object ( decidable object(rev # 15) | history )
  by Urs Schreiber at July 15, 2019 at 06:50:20
• complemented subobject ( complemented subobject(rev # 4) | history )
  by Urs Schreiber at July 15, 2019 at 06:45:08