nLab Latest Revisions

• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 11) | history )
  by Urs Schreiber at June 2, 2025 at 21:16:54
• Taylor Hughes ( Taylor Hughes(rev # 2) | history )
  by Urs Schreiber at June 2, 2025 at 21:01:35
• B. Andrei Bernevig ( B. Andrei Bernevig(rev # 3) | history )
  by Urs Schreiber at June 2, 2025 at 21:01:20
• topological insulator ( topological insulator(rev # 42) | history )
  by Urs Schreiber at June 2, 2025 at 21:00:45
• nonabelian cohomology ( nonabelian cohomology(rev # 97) | history )
  by Urs Schreiber at June 2, 2025 at 20:41:06
• flag variety ( flag variety(rev # 17) | history )
  by Urs Schreiber at June 2, 2025 at 20:40:30
• Grassmannian ( Grassmannian(rev # 22) | history )
  by Urs Schreiber at June 2, 2025 at 20:39:56
• topological phase of matter ( topological phase of matter(rev # 60) | history )
  by Urs Schreiber at June 2, 2025 at 20:39:16
• unstable classification of topological phases -- references ( unstable classification of topological phases -- references(rev # 1) | history )
  by Urs Schreiber at June 2, 2025 at 20:37:37
• Sandbox ( Sandbox(rev # 3696) | history )
  by Urs Schreiber at June 2, 2025 at 20:35:44
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 463) | history )
  by Urs Schreiber at June 2, 2025 at 20:32:22
• anyonic braiding in momentum space -- references ( anyonic braiding in momentum space -- references(rev # 30) | history )
  by Urs Schreiber at June 2, 2025 at 20:27:44
• Adrien Bouhon ( Adrien Bouhon(rev # 11) | history )
  by Urs Schreiber at June 2, 2025 at 20:27:20
• Wojciech J. Jankowski
  by Urs Schreiber at June 2, 2025 at 19:48:59
• Robert-Jan Slager ( Robert-Jan Slager(rev # 9) | history )
  by Urs Schreiber at June 2, 2025 at 19:46:41
• Adrien Bouhon ( Adrien Bouhon(rev # 10) | history )
  by Urs Schreiber at June 2, 2025 at 19:46:13
• parametric dependent type theory ( parametric dependent type theory(rev # 9) | history )
  by John Hall? at June 2, 2025 at 19:35:55
• explicit substitution ( explicit substitution(rev # 14) | history )
  by John Hall? at June 2, 2025 at 19:28:58
• Andreas W. W. Ludwig ( Andreas W. W. Ludwig(rev # 2) | history )
  by Urs Schreiber at June 2, 2025 at 19:28:33
• Akira Furusaki ( Akira Furusaki(rev # 2) | history )
  by Urs Schreiber at June 2, 2025 at 19:28:16
• Shinsei Ryu ( Shinsei Ryu(rev # 6) | history )
  by Urs Schreiber at June 2, 2025 at 19:27:57
• Andreas P. Schnyder ( Andreas P. Schnyder(rev # 3) | history )
  by Urs Schreiber at June 2, 2025 at 19:27:29
• semi-simplicial type ( semi-simplicial type(rev # 19) | history )
  by John Hall? at June 2, 2025 at 19:25:25
• displayed coinductive type ( displayed coinductive type(rev # 2) | history )
  by John Hall? at June 2, 2025 at 19:22:06
• bridge type ( bridge type(rev # 11) | history )
  by John Hall? at June 2, 2025 at 19:09:45
• polymorphism ( polymorphism(rev # 25) | history )
  by John Hall? at June 2, 2025 at 18:54:48
• Robert-Jan Slager ( Robert-Jan Slager(rev # 8) | history )
  by Urs Schreiber at June 2, 2025 at 18:50:32
• Tomáš Bzdušek ( Tomáš Bzdušek(rev # 3) | history )
  by Urs Schreiber at June 2, 2025 at 18:48:55
• Adrien Bouhon ( Adrien Bouhon(rev # 9) | history )
  by Urs Schreiber at June 2, 2025 at 18:48:37
• Sandbox ( Sandbox(rev # 3695) | history )
  by Urs Schreiber at June 2, 2025 at 18:48:16
• Grassmannian ( Grassmannian(rev # 21) | history )
  by Urs Schreiber at June 2, 2025 at 18:41:31
• Riemann sphere ( Riemann sphere(rev # 14) | history )
  by Urs Schreiber at June 2, 2025 at 17:21:02
• complex line ( complex line(rev # 6) | history )
  by Urs Schreiber at June 2, 2025 at 17:15:57
• dependent type ( dependent type(rev # 35) | history )
  by p? at June 2, 2025 at 16:43:14
• realizability topos ( realizability topos(rev # 26) | history )
  by Jonas Frey at June 2, 2025 at 16:42:32
• polymorphic dependent type theory ( polymorphic dependent type theory(rev # 25) | history )
  by p? at June 2, 2025 at 16:42:26
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 10) | history )
  by Urs Schreiber at June 2, 2025 at 16:32:46
• enriched Yoneda lemma ( enriched Yoneda lemma(rev # 12) | history )
  by not anonymous? at June 2, 2025 at 15:43:25
• Adrien Bouhon ( Adrien Bouhon(rev # 8) | history )
  by Urs Schreiber at June 2, 2025 at 15:41:39
• Taichi Uemura ( Taichi Uemura(rev # 6) | history )
  by Urs Schreiber at June 2, 2025 at 15:40:11
• Kronecker pairing ( Kronecker pairing(rev # 9) | history )
  by perezl.alonso at June 2, 2025 at 14:44:31
• assembly ( assembly(rev # 1) | history )
  by George Harrison? at June 2, 2025 at 14:41:03
• weak limit ( weak limit(rev # 17) | history )
  by chase ford? at June 2, 2025 at 14:23:39
• realizability topos ( realizability topos(rev # 25) | history )
  by George Harrison? at June 2, 2025 at 13:48:48
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 9) | history )
  by Urs Schreiber at June 2, 2025 at 12:34:41
• sound doctrine of limits ( sound doctrine of limits(rev # 6) | history )
  by Shane? at June 2, 2025 at 12:33:20
• Claudio Chamon ( Claudio Chamon(rev # 2) | history )
  by Urs Schreiber at June 2, 2025 at 12:32:16
• Christopher Mudry ( Christopher Mudry(rev # 1) | history )
  by Urs Schreiber at June 2, 2025 at 12:31:53
• graphene ( graphene(rev # 24) | history )
  by Urs Schreiber at June 2, 2025 at 12:31:21
• Luiz H. Santos ( Luiz H. Santos(rev # 2) | history )
  by Urs Schreiber at June 2, 2025 at 12:26:56
• Titus Neupert ( Titus Neupert(rev # 2) | history )
  by Urs Schreiber at June 2, 2025 at 12:26:39
• anomalous velocity ( anomalous velocity(rev # 2) | history )
  by Urs Schreiber at June 2, 2025 at 11:49:51
• Berry connection ( Berry connection(rev # 18) | history )
  by Urs Schreiber at June 2, 2025 at 11:27:42
• anomalous Hall effect ( anomalous Hall effect(rev # 4) | history )
  by Urs Schreiber at June 2, 2025 at 11:26:30
• anomalous Hall effect ( anomalous Hall effect(rev # 3) | history )
  by Urs Schreiber at June 2, 2025 at 10:36:28
• Qian Niu
  by Urs Schreiber at June 2, 2025 at 10:34:27
• anomalous velocity ( anomalous velocity(rev # 1) | history )
  by Urs Schreiber at June 2, 2025 at 10:34:02
• velocity ( velocity(rev # 5) | history )
  by Urs Schreiber at June 2, 2025 at 10:18:36
• Lorentz force ( Lorentz force(rev # 11) | history )
  by Urs Schreiber at June 2, 2025 at 10:17:56
• Ming-Che Chang
  by Urs Schreiber at June 2, 2025 at 10:16:39
• Sandbox ( Sandbox(rev # 3694) | history )
  by Urs Schreiber at June 2, 2025 at 09:58:31
• Bloch's theorem ( Bloch's theorem(rev # 7) | history )
  by Urs Schreiber at June 2, 2025 at 09:44:58
• Berry connection ( Berry connection(rev # 17) | history )
  by Urs Schreiber at June 2, 2025 at 09:32:13
• Ivan Di Liberti ( Ivan Di Liberti(rev # 23) | history )
  by Ivan? at June 2, 2025 at 07:47:03
• topological quantum computation with anyons -- references ( topological quantum computation with anyons -- references(rev # 54) | history )
  by Urs Schreiber at June 2, 2025 at 05:49:13
• Jason Alicea ( Jason Alicea(rev # 5) | history )
  by Urs Schreiber at June 2, 2025 at 05:47:41
• realizability topos ( realizability topos(rev # 24) | history )
  by George Harrison? at June 2, 2025 at 05:37:55
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 8) | history )
  by Urs Schreiber at June 2, 2025 at 05:35:54
• Ass ( Ass(rev # 1) | history )
  by George Harrison? at June 2, 2025 at 05:20:29
• Hypothesis H ( Hypothesis H(rev # 8) | history )
  by Urs Schreiber at June 2, 2025 at 05:19:39
• associative operad ( associative operad(rev # 14) | history )
  by George Harrison? at June 2, 2025 at 05:18:20
• Daniel Grady ( Daniel Grady(rev # 7) | history )
  by Urs Schreiber at June 2, 2025 at 05:00:30
• shifted C-field flux quantization ( shifted C-field flux quantization(rev # 19) | history )
  by Urs Schreiber at June 2, 2025 at 04:52:36
• Justin Khoury ( Justin Khoury(rev # 4) | history )
  by Urs Schreiber at June 2, 2025 at 04:40:11
• fuzzy dark matter ( fuzzy dark matter(rev # 21) | history )
  by Urs Schreiber at June 2, 2025 at 04:39:33
• algebraic group ( algebraic group(rev # 22) | history )
  by Anon? at June 2, 2025 at 03:32:18
• Berry connection ( Berry connection(rev # 16) | history )
  by Urs Schreiber at June 1, 2025 at 21:29:24
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 7) | history )
  by Urs Schreiber at June 1, 2025 at 20:57:26
• Allan H. MacDonald ( Allan H. MacDonald(rev # 3) | history )
  by Urs Schreiber at June 1, 2025 at 20:22:37
• anomalous Hall effect ( anomalous Hall effect(rev # 2) | history )
  by Urs Schreiber at June 1, 2025 at 19:25:23
• Berry's phase ( Berry's phase(rev # 10) | history )
  by Urs Schreiber at June 1, 2025 at 19:23:46
• Chao-Xing Liu ( Chao-Xing Liu(rev # 1) | history )
  by Urs Schreiber at June 1, 2025 at 19:05:01
• Shou-Cheng Zhang ( Shou-Cheng Zhang(rev # 6) | history )
  by Urs Schreiber at June 1, 2025 at 19:02:18
• Xiao-Liang Qi ( Xiao-Liang Qi(rev # 7) | history )
  by Urs Schreiber at June 1, 2025 at 19:01:53
• Biao Lian ( Biao Lian(rev # 4) | history )
  by Urs Schreiber at June 1, 2025 at 19:01:31
• Allan H. MacDonald ( Allan H. MacDonald(rev # 2) | history )
  by Urs Schreiber at June 1, 2025 at 19:00:37
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 6) | history )
  by Urs Schreiber at June 1, 2025 at 19:00:02
• Chern insulator ( Chern insulator(rev # 9) | history )
  by Urs Schreiber at June 1, 2025 at 18:51:37
• L-infinity-algebra ( L-infinity-algebra(rev # 109) | history )
  by Tim Porter at June 1, 2025 at 16:34:30
• Desargues' theorem ( Desargues' theorem(rev # 7) | history )
  by Zoran Škoda at June 1, 2025 at 14:37:57
• smooth manifold ( smooth manifold(rev # 56) | history )
  by Urs Schreiber at June 1, 2025 at 11:55:36
• cospan ( cospan(rev # 13) | history )
  by Urs Schreiber at June 1, 2025 at 11:44:27
• span ( span(rev # 74) | history )
  by Urs Schreiber at June 1, 2025 at 11:40:16
• orbifold ( orbifold(rev # 113) | history )
  by Urs Schreiber at June 1, 2025 at 11:36:34
• Sandbox ( Sandbox(rev # 3693) | history )
  by Urs Schreiber at June 1, 2025 at 11:28:45
• duoidal category ( duoidal category(rev # 30) | history )
  by varkor at June 1, 2025 at 10:02:38
• inertia orbifold ( inertia orbifold(rev # 32) | history )
  by Urs Schreiber at June 1, 2025 at 09:04:29
• relation ( relation(rev # 49) | history )
  by Elves? at June 1, 2025 at 05:45:25
• cospan ( cospan(rev # 12) | history )
  by p? at June 1, 2025 at 05:27:28
• span ( span(rev # 73) | history )
  by p? at June 1, 2025 at 05:26:59