nLab Latest Revisions

• cospan in simplicial type theory > history ( cospan in simplicial type theory > history(rev # 6) | history )
  by p? at June 1, 2025 at 05:10:16
• simplicial type theory ( simplicial type theory(rev # 52) | history )
  by p? at June 1, 2025 at 05:07:17
• isomorphism in simplicial type theory ( isomorphism in simplicial type theory(rev # 10) | history )
  by p? at June 1, 2025 at 05:06:42
• span in simplicial type theory > history ( span in simplicial type theory > history(rev # 6) | history )
  by p? at June 1, 2025 at 04:51:48
• unique composite ( unique composite(rev # 7) | history )
  by p? at June 1, 2025 at 04:45:26
• composition ( composition(rev # 30) | history )
  by p? at June 1, 2025 at 04:38:56
• notions of walking structure ( notions of walking structure(rev # 2) | history )
  by p? at June 1, 2025 at 04:11:44
• walking adjoint equivalence ( walking adjoint equivalence(rev # 3) | history )
  by p? at June 1, 2025 at 04:07:27
• cospan ( cospan(rev # 11) | history )
  by p? at June 1, 2025 at 03:59:49
• span ( span(rev # 72) | history )
  by p? at June 1, 2025 at 03:51:14
• composable pair ( composable pair(rev # 8) | history )
  by p? at June 1, 2025 at 03:45:16
• walking equivalence ( walking equivalence(rev # 12) | history )
  by p? at June 1, 2025 at 03:28:49
• walking isomorphism ( walking isomorphism(rev # 16) | history )
  by p? at June 1, 2025 at 03:28:30
• walking commutative triangle ( walking commutative triangle(rev # 2) | history )
  by p? at June 1, 2025 at 03:28:10
• parallel morphisms ( parallel morphisms(rev # 14) | history )
  by p? at June 1, 2025 at 03:27:27
• walking morphism ( walking morphism(rev # 22) | history )
  by p? at June 1, 2025 at 03:26:59
• boolean domain ( boolean domain(rev # 45) | history )
  by p? at June 1, 2025 at 03:26:34
• walking structure ( walking structure(rev # 31) | history )
  by p? at June 1, 2025 at 03:25:58
• notions of walking structure ( notions of walking structure(rev # 1) | history )
  by p? at June 1, 2025 at 03:25:53
• hom type ( hom type(rev # 18) | history )
  by Nicolas? at June 1, 2025 at 02:49:12
• commutative triangle ( commutative triangle(rev # 5) | history )
  by p? at June 1, 2025 at 00:29:22
• hom type ( hom type(rev # 17) | history )
  by p? at June 1, 2025 at 00:28:34
• composable pair ( composable pair(rev # 7) | history )
  by p? at June 1, 2025 at 00:26:10
• unique composite ( unique composite(rev # 6) | history )
  by p? at June 1, 2025 at 00:25:29
• composition ( composition(rev # 29) | history )
  by p? at June 1, 2025 at 00:24:59
• simplicial type theory ( simplicial type theory(rev # 51) | history )
  by p? at June 1, 2025 at 00:09:34
• simplicial type theory ( simplicial type theory(rev # 50) | history )
  by p? at May 31, 2025 at 23:12:37
• composite of morphisms > history ( composite of morphisms > history(rev # 3) | history )
  by p? at May 31, 2025 at 23:02:12
• composition ( composition(rev # 28) | history )
  by p? at May 31, 2025 at 23:01:43
• commutative triangle ( commutative triangle(rev # 4) | history )
  by p? at May 31, 2025 at 22:52:28
• composable pair ( composable pair(rev # 6) | history )
  by p? at May 31, 2025 at 22:44:31
• walking commutative triangle ( walking commutative triangle(rev # 1) | history )
  by p? at May 31, 2025 at 22:26:40
• commutative triangle ( commutative triangle(rev # 3) | history )
  by p? at May 31, 2025 at 22:18:37
• crystallographic group ( crystallographic group(rev # 26) | history )
  by Urs Schreiber at May 31, 2025 at 21:56:51
• Carroll K. Johnson
  by Urs Schreiber at May 31, 2025 at 21:42:28
• orbifold ( orbifold(rev # 112) | history )
  by Urs Schreiber at May 31, 2025 at 21:41:47
• composable pair ( composable pair(rev # 5) | history )
  by p? at May 31, 2025 at 21:36:25
• triangle ( triangle(rev # 8) | history )
  by p? at May 31, 2025 at 21:31:24
• Sandbox ( Sandbox(rev # 3692) | history )
  by Urs Schreiber at May 31, 2025 at 20:31:26
• composable pair ( composable pair(rev # 4) | history )
  by p? at May 31, 2025 at 19:56:53
• unique composite ( unique composite(rev # 5) | history )
  by p? at May 31, 2025 at 19:23:07
• walking morphism ( walking morphism(rev # 21) | history )
  by p? at May 31, 2025 at 18:52:13
• commutative triangle ( commutative triangle(rev # 2) | history )
  by p? at May 31, 2025 at 18:51:19
• walking structure ( walking structure(rev # 30) | history )
  by p? at May 31, 2025 at 18:45:50
• boolean domain ( boolean domain(rev # 44) | history )
  by p? at May 31, 2025 at 18:45:33
• walking equivalence ( walking equivalence(rev # 11) | history )
  by p? at May 31, 2025 at 18:45:11
• walking isomorphism ( walking isomorphism(rev # 15) | history )
  by p? at May 31, 2025 at 18:44:57
• parallel morphisms ( parallel morphisms(rev # 13) | history )
  by p? at May 31, 2025 at 18:44:44
• Nikolai A. Sinitsyn
  by Urs Schreiber at May 31, 2025 at 18:31:49
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 5) | history )
  by Urs Schreiber at May 31, 2025 at 18:20:55
• quantum Hall effect ( quantum Hall effect(rev # 93) | history )
  by Urs Schreiber at May 31, 2025 at 18:20:26
• anomalous Hall effect ( anomalous Hall effect(rev # 1) | history )
  by Urs Schreiber at May 31, 2025 at 18:20:08
• Hall effect ( Hall effect(rev # 6) | history )
  by Urs Schreiber at May 31, 2025 at 18:19:50
• spin Hall effect ( spin Hall effect(rev # 2) | history )
  by Urs Schreiber at May 31, 2025 at 18:19:28
• quantum spin Hall effect ( quantum spin Hall effect(rev # 8) | history )
  by Urs Schreiber at May 31, 2025 at 18:19:04
• Sandbox ( Sandbox(rev # 3691) | history )
  by Urs Schreiber at May 31, 2025 at 18:16:18
• Allan H. MacDonald ( Allan H. MacDonald(rev # 1) | history )
  by Urs Schreiber at May 31, 2025 at 18:10:36
• graphene ( graphene(rev # 23) | history )
  by Urs Schreiber at May 31, 2025 at 18:09:55
• Steven M. Girvin ( Steven M. Girvin(rev # 4) | history )
  by Urs Schreiber at May 31, 2025 at 18:03:36
• abelian Chern-Simons for fractional quantum Hall effect -- references ( abelian Chern-Simons for fractional quantum Hall effect -- references(rev # 22) | history )
  by Urs Schreiber at May 31, 2025 at 18:03:12
• Naoto Nagaosa ( Naoto Nagaosa(rev # 2) | history )
  by Urs Schreiber at May 31, 2025 at 17:58:06
• Berry connection ( Berry connection(rev # 15) | history )
  by Urs Schreiber at May 31, 2025 at 17:55:39
• walking morphism ( walking morphism(rev # 20) | history )
  by p? at May 31, 2025 at 17:49:48
• Edwin Hall ( Edwin Hall(rev # 2) | history )
  by Urs Schreiber at May 31, 2025 at 17:49:27
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 4) | history )
  by Urs Schreiber at May 31, 2025 at 17:46:14
• Sandbox ( Sandbox(rev # 3690) | history )
  by Urs Schreiber at May 31, 2025 at 17:44:18
• Hopfion ( Hopfion(rev # 3) | history )
  by Urs Schreiber at May 31, 2025 at 17:19:23
• CP^N sigma-model ( CP^N sigma-model(rev # 14) | history )
  by Urs Schreiber at May 31, 2025 at 17:19:01
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 3) | history )
  by Urs Schreiber at May 31, 2025 at 16:13:08
• quantum Hall effect ( quantum Hall effect(rev # 92) | history )
  by Urs Schreiber at May 31, 2025 at 16:11:26
• factorization category ( factorization category(rev # 9) | history )
  by Urs Schreiber at May 31, 2025 at 15:55:26
• walking morphism ( walking morphism(rev # 19) | history )
  by p? at May 31, 2025 at 15:47:59
• bridge type ( bridge type(rev # 10) | history )
  by p? at May 31, 2025 at 15:35:15
• distributive lattice ( distributive lattice(rev # 36) | history )
  by p? at May 31, 2025 at 14:50:42
• simplicial type theory ( simplicial type theory(rev # 49) | history )
  by p? at May 31, 2025 at 14:46:35
• subterminal object ( subterminal object(rev # 22) | history )
  by Naïm Favier? at May 31, 2025 at 14:34:49
• boolean domain ( boolean domain(rev # 43) | history )
  by p? at May 31, 2025 at 14:08:23
• walking structure ( walking structure(rev # 29) | history )
  by p? at May 31, 2025 at 14:06:06
• walking equivalence ( walking equivalence(rev # 10) | history )
  by p? at May 31, 2025 at 14:05:44
• walking isomorphism ( walking isomorphism(rev # 14) | history )
  by p? at May 31, 2025 at 14:05:27
• parallel morphisms ( parallel morphisms(rev # 12) | history )
  by p? at May 31, 2025 at 14:04:27
• interval category
  by p? at May 31, 2025 at 13:58:55
• factorization category ( factorization category(rev # 8) | history )
  by p? at May 31, 2025 at 13:55:44
• orbifold differential K-theory ( orbifold differential K-theory(rev # 3) | history )
  by Urs Schreiber at May 31, 2025 at 13:38:59
• hom type ( hom type(rev # 16) | history )
  by p? at May 31, 2025 at 12:29:30
• CP^N sigma-model ( CP^N sigma-model(rev # 13) | history )
  by Urs Schreiber at May 31, 2025 at 11:10:48
• CP^N sigma-model ( CP^N sigma-model(rev # 12) | history )
  by Urs Schreiber at May 31, 2025 at 10:19:40
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 2) | history )
  by David Corfield at May 31, 2025 at 08:12:19
• Eilenberg-Zilber theorem ( Eilenberg-Zilber theorem(rev # 27) | history )
  by Daniel Scherl? at May 31, 2025 at 00:40:17
• isomorphism in simplicial type theory ( isomorphism in simplicial type theory(rev # 9) | history )
  by P? at May 31, 2025 at 00:02:33
• walking structure ( walking structure(rev # 28) | history )
  by P? at May 31, 2025 at 00:02:17
• Rezk complete type ( Rezk complete type(rev # 5) | history )
  by p? at May 30, 2025 at 22:36:32
• Rezk completion ( Rezk completion(rev # 11) | history )
  by p? at May 30, 2025 at 22:35:46
• gaunt type > history ( gaunt type > history(rev # 4) | history )
  by p? at May 30, 2025 at 22:27:26
• skeletal type ( skeletal type(rev # 5) | history )
  by p? at May 30, 2025 at 22:26:56
• simplicial type theory ( simplicial type theory(rev # 48) | history )
  by p? at May 30, 2025 at 22:21:00
• isomorphism in simplicial type theory ( isomorphism in simplicial type theory(rev # 8) | history )
  by p? at May 30, 2025 at 22:20:39
• Rezk type ( Rezk type(rev # 9) | history )
  by p? at May 30, 2025 at 22:17:21
• simplicially discrete type ( simplicially discrete type(rev # 5) | history )
  by p? at May 30, 2025 at 22:14:24
• Jeremy Butterfield ( Jeremy Butterfield(rev # 6) | history )
  by Urs Schreiber at May 30, 2025 at 19:13:44