nLab Latest Revisions

• codensity monad ( codensity monad(rev # 49) | history )
  by varkor at December 18, 2024 at 12:57:11
• endomorphism monoid object ( endomorphism monoid object(rev # 4) | history )
  by varkor at December 18, 2024 at 12:36:58
• John Preskill ( John Preskill(rev # 24) | history )
  by Urs Schreiber at December 18, 2024 at 11:47:54
• quantum computation ( quantum computation(rev # 138) | history )
  by Urs Schreiber at December 18, 2024 at 11:47:34
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 396) | history )
  by Urs Schreiber at December 18, 2024 at 09:46:20
• Sandbox ( Sandbox(rev # 3491) | history )
  by Urs Schreiber at December 18, 2024 at 09:44:10
• topological quantum computation ( topological quantum computation(rev # 36) | history )
  by Urs Schreiber at December 18, 2024 at 08:24:24
• antiparticle ( antiparticle(rev # 6) | history )
  by Urs Schreiber at December 18, 2024 at 06:52:32
• D=3 TQFT ( D=3 TQFT(rev # 14) | history )
  by Urs Schreiber at December 18, 2024 at 06:49:13
• Yang-Mills theory ( Yang-Mills theory(rev # 73) | history )
  by Urs Schreiber at December 18, 2024 at 06:47:38
• J. Ignacio Cirac ( J. Ignacio Cirac(rev # 2) | history )
  by Urs Schreiber at December 18, 2024 at 06:37:04
• Peter Zoller ( Peter Zoller(rev # 2) | history )
  by Urs Schreiber at December 18, 2024 at 06:36:47
• quantum computation ( quantum computation(rev # 137) | history )
  by Urs Schreiber at December 17, 2024 at 22:29:10
• Michael Dine ( Michael Dine(rev # 4) | history )
  by Urs Schreiber at December 17, 2024 at 19:36:23
• confinement ( confinement(rev # 79) | history )
  by Urs Schreiber at December 17, 2024 at 19:36:02
• David Fernández ( David Fernández(rev # 3) | history )
  by Urs Schreiber at December 17, 2024 at 19:21:18
• dependent type theory with type variables ( dependent type theory with type variables(rev # 6) | history )
  by Anonymouse? at December 17, 2024 at 17:28:45
• David Fernández ( David Fernández(rev # 2) | history )
  by Alexander Thomas? at December 17, 2024 at 16:31:30
• dependent product type ( dependent product type(rev # 37) | history )
  by Anonymouse? at December 17, 2024 at 16:02:06
• typal equality ( typal equality(rev # 7) | history )
  by Anonymouse? at December 17, 2024 at 15:39:31
• simplicial complex ( simplicial complex(rev # 47) | history )
  by Urs Schreiber at December 17, 2024 at 15:34:07
• definitional equality ( definitional equality(rev # 5) | history )
  by Anonymouse? at December 17, 2024 at 15:26:04
• dependent type theory with type variables ( dependent type theory with type variables(rev # 5) | history )
  by Anonymouse? at December 17, 2024 at 15:08:43
• explicit conversion ( explicit conversion(rev # 2) | history )
  by Anonymouse? at December 17, 2024 at 15:07:03
• objective type theory ( objective type theory(rev # 120) | history )
  by Anonymouse? at December 17, 2024 at 15:03:30
• gravitational wave ( gravitational wave(rev # 28) | history )
  by Urs Schreiber at December 17, 2024 at 15:00:46
• nuclear adjunction ( nuclear adjunction(rev # 8) | history )
  by varkor at December 17, 2024 at 14:11:56
• multicategory ( multicategory(rev # 38) | history )
  by varkor at December 17, 2024 at 14:06:39
• Igor Bandos ( Igor Bandos(rev # 21) | history )
  by Urs Schreiber at December 17, 2024 at 10:59:03
• Dmitri Sorokin ( Dmitri Sorokin(rev # 21) | history )
  by Urs Schreiber at December 17, 2024 at 10:56:38
• Anastasia Volovich ( Anastasia Volovich(rev # 3) | history )
  by Urs Schreiber at December 17, 2024 at 10:17:52
• amplituhedron ( amplituhedron(rev # 19) | history )
  by Urs Schreiber at December 17, 2024 at 10:14:34
• scattering amplitude ( scattering amplitude(rev # 41) | history )
  by Urs Schreiber at December 17, 2024 at 10:14:06
• quantum simulation ( quantum simulation(rev # 10) | history )
  by Urs Schreiber at December 17, 2024 at 07:30:46
• Ulf Lindström ( Ulf Lindström(rev # 2) | history )
  by Urs Schreiber at December 17, 2024 at 07:23:54
• Christopher Hull ( Christopher Hull(rev # 14) | history )
  by Urs Schreiber at December 17, 2024 at 07:23:12
• dual graviton ( dual graviton(rev # 12) | history )
  by Urs Schreiber at December 17, 2024 at 07:22:11
• dependent type theory with type variables ( dependent type theory with type variables(rev # 4) | history )
  by Anonymouse? at December 17, 2024 at 03:32:11
• natural numbers type ( natural numbers type(rev # 30) | history )
  by Anonymouse? at December 17, 2024 at 03:24:12
• localization of a type ( localization of a type(rev # 13) | history )
  by Anonymouse? at December 17, 2024 at 03:23:11
• circle type ( circle type(rev # 40) | history )
  by Anonymouse? at December 17, 2024 at 02:37:46
• boolean domain ( boolean domain(rev # 37) | history )
  by Anonymouse? at December 17, 2024 at 02:26:27
• univalence axiom ( univalence axiom(rev # 109) | history )
  by Anonymouse? at December 17, 2024 at 00:51:09
• identity type ( identity type(rev # 121) | history )
  by Anonymouse? at December 17, 2024 at 00:49:13
• dependent type theory with type variables ( dependent type theory with type variables(rev # 3) | history )
  by Anonymouse? at December 17, 2024 at 00:41:53
• univalent type theory ( univalent type theory(rev # 4) | history )
  by Anonymouse? at December 17, 2024 at 00:22:55
• dependent type theory with type variables ( dependent type theory with type variables(rev # 2) | history )
  by Anonymouse? at December 16, 2024 at 23:13:38
• impredicative polymorphism ( impredicative polymorphism(rev # 6) | history )
  by Anonymouse? at December 16, 2024 at 23:11:23
• polymorphism ( polymorphism(rev # 20) | history )
  by Anonymouse? at December 16, 2024 at 23:02:26
• identity type ( identity type(rev # 120) | history )
  by Anonymouse? at December 16, 2024 at 23:00:42
• System F ( System F(rev # 9) | history )
  by Anonymouse? at December 16, 2024 at 22:43:35
• dependent type theory with type variables ( dependent type theory with type variables(rev # 1) | history )
  by Anonymouse? at December 16, 2024 at 22:12:08
• impredicative polymorphism ( impredicative polymorphism(rev # 5) | history )
  by Anonymouse? at December 16, 2024 at 21:57:04
• dependent type theory ( dependent type theory(rev # 43) | history )
  by Anonymouse? at December 16, 2024 at 20:10:25
• identity type ( identity type(rev # 119) | history )
  by Anonymouse? at December 16, 2024 at 19:36:51
• quaternionic projective space ( quaternionic projective space(rev # 10) | history )
  by Urs Schreiber at December 16, 2024 at 19:32:22
• quaternionic projective plane ( quaternionic projective plane(rev # 3) | history )
  by Urs Schreiber at December 16, 2024 at 19:31:35
• impredicative polymorphism ( impredicative polymorphism(rev # 4) | history )
  by Anonymouse? at December 16, 2024 at 19:30:47
• Joseph Polchinski ( Joseph Polchinski(rev # 11) | history )
  by Urs Schreiber at December 16, 2024 at 18:38:03
• duality in string theory ( duality in string theory(rev # 37) | history )
  by Urs Schreiber at December 16, 2024 at 18:34:32
• homotopy limit ( homotopy limit(rev # 112) | history )
  by Tim Porter at December 16, 2024 at 18:08:47
• orientation ( orientation(rev # 20) | history )
  by AD? at December 16, 2024 at 15:43:01
• SimpSet ( SimpSet(rev # 20) | history )
  by LM? at December 16, 2024 at 09:47:09
• topological phases of matter via K-theory -- references ( topological phases of matter via K-theory -- references(rev # 23) | history )
  by Urs Schreiber at December 16, 2024 at 06:29:48
• complex oriented cohomology theory ( complex oriented cohomology theory(rev # 70) | history )
  by Urs Schreiber at December 16, 2024 at 00:19:10
• formal group ( formal group(rev # 49) | history )
  by Urs Schreiber at December 16, 2024 at 00:17:40
• moduli stack of formal groups ( moduli stack of formal groups(rev # 16) | history )
  by Urs Schreiber at December 16, 2024 at 00:14:51
• height of a formal group ( height of a formal group(rev # 9) | history )
  by Urs Schreiber at December 16, 2024 at 00:12:56
• Urs Schreiber ( Urs Schreiber(rev # 111) | history )
  by Urs Schreiber at December 15, 2024 at 23:21:55
• Freeman Dyson ( Freeman Dyson(rev # 11) | history )
  by Urs Schreiber at December 15, 2024 at 13:44:48
• Richard Feynman ( Richard Feynman(rev # 19) | history )
  by Urs Schreiber at December 15, 2024 at 13:44:16
• Mackey functor ( Mackey functor(rev # 48) | history )
  by Natalie Stewart at December 15, 2024 at 13:40:03
• Maxwell's equations ( Maxwell's equations(rev # 27) | history )
  by Urs Schreiber at December 15, 2024 at 13:38:35
• T-duality ( T-duality(rev # 69) | history )
  by Urs Schreiber at December 14, 2024 at 17:59:57
• Hisham Sati ( Hisham Sati(rev # 42) | history )
  by Urs Schreiber at December 14, 2024 at 17:53:17
• Grigorios Giotopoulos ( Grigorios Giotopoulos(rev # 9) | history )
  by Urs Schreiber at December 14, 2024 at 17:53:01
• exceptional tangent bundle ( exceptional tangent bundle(rev # 10) | history )
  by Urs Schreiber at December 14, 2024 at 17:52:10
• D=11 N=1 supergravity ( D=11 N=1 supergravity(rev # 98) | history )
  by Urs Schreiber at December 14, 2024 at 17:50:34
• super-embedding formalism ( super-embedding formalism(rev # 39) | history )
  by Urs Schreiber at December 14, 2024 at 17:49:22
• Sandbox ( Sandbox(rev # 3490) | history )
  by Urs Schreiber at December 14, 2024 at 17:45:39
• bimodule ( bimodule(rev # 51) | history )
  by Jonas Linssen? at December 14, 2024 at 13:04:09
• bimodule ( bimodule(rev # 50) | history )
  by Jonas Linssen? at December 14, 2024 at 13:04:02
• colimits in categories of algebras ( colimits in categories of algebras(rev # 36) | history )
  by varkor at December 14, 2024 at 10:23:55
• anyonic braiding in momentum space -- references ( anyonic braiding in momentum space -- references(rev # 29) | history )
  by Urs Schreiber at December 13, 2024 at 19:24:52
• affine group scheme ( affine group scheme(rev # 6) | history )
  by Vihaan Dheer? at December 13, 2024 at 19:12:31
• anyonic braiding in momentum space -- references ( anyonic braiding in momentum space -- references(rev # 28) | history )
  by Urs Schreiber at December 13, 2024 at 18:27:34
• Banach-Tarski paradox ( Banach-Tarski paradox(rev # 8) | history )
  by Tito? at December 13, 2024 at 14:55:49
• Banach-Tarski paradox ( Banach-Tarski paradox(rev # 7) | history )
  by Sidney Congard? at December 13, 2024 at 14:47:35
• Frank Wilczek ( Frank Wilczek(rev # 16) | history )
  by Urs Schreiber at December 13, 2024 at 13:34:43
• John Robert Schrieffer ( John Robert Schrieffer(rev # 2) | history )
  by Urs Schreiber at December 13, 2024 at 13:34:14
• Daniel P. Arovas ( Daniel P. Arovas(rev # 2) | history )
  by Urs Schreiber at December 13, 2024 at 13:33:48
• quantum adiabatic theorem ( quantum adiabatic theorem(rev # 17) | history )
  by Urs Schreiber at December 13, 2024 at 13:33:05
• adiabatic quantum computation ( adiabatic quantum computation(rev # 26) | history )
  by Urs Schreiber at December 13, 2024 at 13:21:02
• Jackiw-Teitelboim gravity ( Jackiw-Teitelboim gravity(rev # 15) | history )
  by Urs Schreiber at December 13, 2024 at 12:41:40
• D=2 gravity ( D=2 gravity(rev # 3) | history )
  by Urs Schreiber at December 13, 2024 at 12:40:33
• quantum gravity ( quantum gravity(rev # 72) | history )
  by Urs Schreiber at December 13, 2024 at 12:33:00
• John Donoghue ( John Donoghue(rev # 11) | history )
  by Urs Schreiber at December 13, 2024 at 12:32:15
• cosmological constant ( cosmological constant(rev # 44) | history )
  by Urs Schreiber at December 13, 2024 at 12:31:46
• gravity ( gravity(rev # 61) | history )
  by Urs Schreiber at December 13, 2024 at 12:22:45
• general relativity ( general relativity(rev # 35) | history )
  by Urs Schreiber at December 13, 2024 at 12:21:49