nLab
Latest Revisions

• ABJM theory ( ABJM theory(rev # 32) | history )
  by Urs Schreiber at May 21, 2019 at 14:27:13
• volume conjecture ( volume conjecture(rev # 13) | history )
  by Urs Schreiber at May 21, 2019 at 14:21:47
• colored Jones polynomial ( colored Jones polynomial(rev # 2) | history )
  by Urs Schreiber at May 21, 2019 at 13:52:56
• Jones polynomial ( Jones polynomial(rev # 6) | history )
  by Urs Schreiber at May 21, 2019 at 13:21:29
• Yoneda lemma ( Yoneda lemma(rev # 66) | history )
  by Harley Eades III? at May 21, 2019 at 12:48:25
• hyperbolic link ( hyperbolic link(rev # 2) | history )
  by Todd Trimble at May 21, 2019 at 12:47:43
• complex volume ( complex volume(rev # 9) | history )
  by Urs Schreiber at May 21, 2019 at 12:34:25
• top quark ( top quark(rev # 4) | history )
  by Urs Schreiber at May 21, 2019 at 12:33:32
• volume conjecture ( volume conjecture(rev # 12) | history )
  by Urs Schreiber at May 21, 2019 at 12:29:48
• 3-manifold ( 3-manifold(rev # 17) | history )
  by Urs Schreiber at May 21, 2019 at 12:20:15
• hyperbolic 3-manifold
  by Urs Schreiber at May 21, 2019 at 12:19:39
• hyperbolic manifold ( hyperbolic manifold(rev # 12) | history )
  by Urs Schreiber at May 21, 2019 at 12:15:44
• knot ( knot(rev # 35) | history )
  by Urs Schreiber at May 21, 2019 at 12:02:39
• prototype CLF ( prototype CLF(rev # 28) | history )
  by Matt Oliveri? at May 21, 2019 at 12:02:08
• hyperbolic geometry ( hyperbolic geometry(rev # 9) | history )
  by Urs Schreiber at May 21, 2019 at 12:00:38
• NuPRL ( NuPRL(rev # 9) | history )
  by Matt Oliveri? at May 21, 2019 at 11:58:29
• hyperbolic link ( hyperbolic link(rev # 1) | history )
  by Urs Schreiber at May 21, 2019 at 11:55:31
• link ( link(rev # 11) | history )
  by Urs Schreiber at May 21, 2019 at 11:49:34
• thermodynamics ( thermodynamics(rev # 27) | history )
  by Zoran Škoda at May 21, 2019 at 11:48:51
• Jun Murakami
  by Urs Schreiber at May 21, 2019 at 11:46:35
• Hitoshi Murakami
  by Urs Schreiber at May 21, 2019 at 11:46:17
• quantum information ( quantum information(rev # 25) | history )
  by Zoran Škoda at May 21, 2019 at 11:39:06
• Fisher metric
  by Zoran Škoda at May 21, 2019 at 11:34:03
• information geometry ( information geometry(rev # 16) | history )
  by Zoran Škoda at May 21, 2019 at 11:32:22
• Rinat Kashaev
  by Urs Schreiber at May 21, 2019 at 11:25:52
• Kochen-Specker theorem ( Kochen-Specker theorem(rev # 29) | history )
  by Zoran Škoda at May 21, 2019 at 10:37:13
• complex volume ( complex volume(rev # 8) | history )
  by Urs Schreiber at May 21, 2019 at 10:24:10
• inclusion functor > history ( inclusion functor > history(rev # 2) | history )
  by Urs Schreiber at May 21, 2019 at 09:52:44
• higher spin gauge theory ( higher spin gauge theory(rev # 16) | history )
  by Urs Schreiber at May 21, 2019 at 09:49:44
• subcategory ( subcategory(rev # 31) | history )
  by varkor? at May 21, 2019 at 09:30:32
• Richard Dawid
  by Urs Schreiber at May 21, 2019 at 09:30:14
• Bas van Fraassen ( Bas van Fraassen(rev # 4) | history )
  by Urs Schreiber at May 21, 2019 at 09:26:49
• empiricism ( empiricism(rev # 3) | history )
  by Urs Schreiber at May 21, 2019 at 09:26:42
• modality ( modality(rev # 25) | history )
  by Daniele Palombi? at May 21, 2019 at 09:07:56
• Hopf invariant ( Hopf invariant(rev # 13) | history )
  by Urs Schreiber at May 21, 2019 at 07:40:06
• infinitesimal number ( infinitesimal number(rev # 8) | history )
  by David Corfield at May 21, 2019 at 06:40:18
• infinitesimal number ( infinitesimal number(rev # 7) | history )
  by Urs Schreiber at May 21, 2019 at 06:11:22
• Mikhail Katz ( Mikhail Katz(rev # 4) | history )
  by Urs Schreiber at May 21, 2019 at 06:08:42
• Gottfried Leibniz ( Gottfried Leibniz(rev # 7) | history )
  by Urs Schreiber at May 21, 2019 at 06:08:35
• de Rham space ( de Rham space(rev # 32) | history )
  by Urs Schreiber at May 21, 2019 at 05:37:25
• Happy Family ( Happy Family(rev # 3) | history )
  by David Corfield at May 21, 2019 at 05:16:35
• Gottfried Leibniz ( Gottfried Leibniz(rev # 6) | history )
  by Urs Schreiber at May 21, 2019 at 05:15:10
• umbral moonshine ( umbral moonshine(rev # 5) | history )
  by David Corfield at May 21, 2019 at 05:01:21
• Moonshine ( Moonshine(rev # 30) | history )
  by David Corfield at May 21, 2019 at 04:58:56
• O'Nan moonshine ( O'Nan moonshine(rev # 7) | history )
  by David Corfield at May 21, 2019 at 04:53:25
• discrete and codiscrete topology ( discrete and codiscrete topology(rev # 7) | history )
  by Urs Schreiber at May 21, 2019 at 04:53:16
• William Lawvere ( William Lawvere(rev # 71) | history )
  by Urs Schreiber at May 21, 2019 at 04:40:42
• V_cb puzzle
  by Urs Schreiber at May 21, 2019 at 04:31:33
• scattering amplitude ( scattering amplitude(rev # 31) | history )
  by Urs Schreiber at May 21, 2019 at 04:29:06
• form factor (QFT)
  by Urs Schreiber at May 21, 2019 at 04:28:34
• flavour anomaly ( flavour anomaly(rev # 71) | history )
  by Urs Schreiber at May 21, 2019 at 04:23:12
• nuclear force ( nuclear force(rev # 7) | history )
  by Urs Schreiber at May 21, 2019 at 04:18:30
• standard model of particle physics ( standard model of particle physics(rev # 44) | history )
  by Urs Schreiber at May 21, 2019 at 04:15:21
• LHC ( LHC(rev # 16) | history )
  by Urs Schreiber at May 21, 2019 at 04:14:48
• flavour (particle physics) ( flavour (particle physics)(rev # 4) | history )
  by Urs Schreiber at May 21, 2019 at 04:14:16
• CKM matrix
  by Urs Schreiber at May 21, 2019 at 04:11:43
• LHCb experiment ( LHCb experiment(rev # 12) | history )
  by Urs Schreiber at May 21, 2019 at 04:08:03
• Belle experiment ( Belle experiment(rev # 7) | history )
  by Urs Schreiber at May 21, 2019 at 04:06:25
• B meson ( B meson(rev # 7) | history )
  by Urs Schreiber at May 21, 2019 at 04:05:34
• flavour anomaly ( flavour anomaly(rev # 70) | history )
  by Urs Schreiber at May 21, 2019 at 03:49:24
• weak factorization system ( weak factorization system(rev # 42) | history )
  by David Holmes? at May 21, 2019 at 03:11:20
• entanglement ( entanglement(rev # 20) | history )
  by Anonymous at May 21, 2019 at 00:51:28
• locale ( locale(rev # 75) | history )
  by David Corfield at May 20, 2019 at 15:34:08
• (n × k)-category ( (n × k)-category(rev # 4) | history )
  by Mike Shulman at May 20, 2019 at 12:06:54
• The QED Project ( The QED Project(rev # 8) | history )
  by Matt Oliveri? at May 20, 2019 at 11:20:13
• Some Thoughts on the Future of Category Theory ( Some Thoughts on the Future of Category Theory(rev # 19) | history )
  by Urs Schreiber at May 20, 2019 at 10:20:54
• prototype CLF ( prototype CLF(rev # 27) | history )
  by Matt Oliveri? at May 20, 2019 at 09:42:24
• Isabelle ( Isabelle(rev # 9) | history )
  by Daniel Luckhardt at May 20, 2019 at 09:39:33
• Lie groupoid ( Lie groupoid(rev # 63) | history )
  by Urs Schreiber at May 20, 2019 at 09:36:17
• pariah group ( pariah group(rev # 2) | history )
  by David Roberts at May 20, 2019 at 09:17:31
• noncommutative principal bundle ( noncommutative principal bundle(rev # 8) | history )
  by Zoran Škoda at May 20, 2019 at 08:29:57
• Benedikt Ahrens ( Benedikt Ahrens(rev # 2) | history )
  by Daniel Luckhardt at May 20, 2019 at 08:10:11
• proof assistant ( proof assistant(rev # 20) | history )
  by Urs Schreiber at May 20, 2019 at 08:04:49
• proof ( proof(rev # 29) | history )
  by Urs Schreiber at May 20, 2019 at 08:04:19
• Isabelle ( Isabelle(rev # 8) | history )
  by Daniel Luckhardt at May 20, 2019 at 08:03:35
• Xena project ( Xena project(rev # 4) | history )
  by Urs Schreiber at May 20, 2019 at 08:01:13
• Archive of Formal Proofs ( Archive of Formal Proofs(rev # 2) | history )
  by Urs Schreiber at May 20, 2019 at 08:00:41
• The QED Project ( The QED Project(rev # 7) | history )
  by Daniel Luckhardt at May 20, 2019 at 07:57:50
• Xena project ( Xena project(rev # 3) | history )
  by Daniel Luckhardt at May 20, 2019 at 07:57:29
• ForMath ( ForMath(rev # 5) | history )
  by Daniel Luckhardt at May 20, 2019 at 07:57:16
• Archive of Formal Proofs ( Archive of Formal Proofs(rev # 1) | history )
  by Daniel Luckhardt at May 20, 2019 at 07:56:25
• Janez Mrčun ( Janez Mrčun(rev # 3) | history )
  by Urs Schreiber at May 20, 2019 at 07:51:02
• Lie groupoid ( Lie groupoid(rev # 62) | history )
  by Urs Schreiber at May 20, 2019 at 07:50:34
• (infinity,1)-category ( (infinity,1)-category(rev # 79) | history )
  by Jonathan Weinberger? at May 20, 2019 at 07:43:55
• mapping stack ( mapping stack(rev # 7) | history )
  by Urs Schreiber at May 20, 2019 at 07:39:29
• orbifold ( orbifold(rev # 64) | history )
  by Urs Schreiber at May 20, 2019 at 07:38:21
• Andrew Kresch
  by Urs Schreiber at May 20, 2019 at 07:34:03
• UniMath project ( UniMath project(rev # 2) | history )
  by Daniel Luckhardt at May 20, 2019 at 07:32:21
• Happy Family ( Happy Family(rev # 2) | history )
  by David Corfield at May 20, 2019 at 07:31:22
• Deligne-Mumford stack ( Deligne-Mumford stack(rev # 14) | history )
  by Urs Schreiber at May 20, 2019 at 07:30:57
• David Mumford ( David Mumford(rev # 5) | history )
  by Urs Schreiber at May 20, 2019 at 07:19:24
• Conway group ( Conway group(rev # 6) | history )
  by David Roberts at May 20, 2019 at 07:18:45
• Fischer group ( Fischer group(rev # 2) | history )
  by David Roberts at May 20, 2019 at 07:17:16
• (infinity,1)-category ( (infinity,1)-category(rev # 78) | history )
  by Urs Schreiber at May 20, 2019 at 06:29:18
• Mathieu group ( Mathieu group(rev # 5) | history )
  by Urs Schreiber at May 20, 2019 at 06:07:35
• pariah group ( pariah group(rev # 1) | history )
  by Urs Schreiber at May 20, 2019 at 06:04:06
• Happy Family ( Happy Family(rev # 1) | history )
  by Urs Schreiber at May 20, 2019 at 06:03:17
• Fischer group ( Fischer group(rev # 1) | history )
  by Urs Schreiber at May 20, 2019 at 06:00:27
• Monster group ( Monster group(rev # 19) | history )
  by Urs Schreiber at May 20, 2019 at 05:55:55
• Robert Griess ( Robert Griess(rev # 2) | history )
  by Urs Schreiber at May 20, 2019 at 05:52:46