nLab Latest Revisions

• evil ( evil(rev # 2) | history )
  by Abe? at May 18, 2025 at 11:29:43
• Neil Sloane ( Neil Sloane(rev # 2) | history )
  by Abe? at May 18, 2025 at 11:20:30
• error correcting code ( error correcting code(rev # 12) | history )
  by Abe? at May 18, 2025 at 11:20:14
• principle of equivalence ( principle of equivalence(rev # 109) | history )
  by Abe? at May 18, 2025 at 11:13:35
• odious number ( odious number(rev # 1) | history )
  by Abe? at May 18, 2025 at 11:12:14
• Thue–Morse sequence
  by Abe? at May 18, 2025 at 11:11:30
• evil number ( evil number(rev # 1) | history )
  by Abe? at May 18, 2025 at 10:57:58
• evil ( evil(rev # 1) | history )
  by Abe? at May 18, 2025 at 10:55:04
• prime number ( prime number(rev # 22) | history )
  by Abe? at May 18, 2025 at 10:50:14
• On-Line Encyclopedia of Integer Sequences ( On-Line Encyclopedia of Integer Sequences(rev # 1) | history )
  by Abe? at May 18, 2025 at 10:50:06
• Neil Sloane ( Neil Sloane(rev # 1) | history )
  by Abe? at May 18, 2025 at 10:43:13
• Claudia Scheimbauer ( Claudia Scheimbauer(rev # 4) | history )
  by Ulrik Buchholtz at May 18, 2025 at 07:44:05
• principle of equivalence ( principle of equivalence(rev # 108) | history )
  by Abe? at May 18, 2025 at 05:41:40
• Neville Temperley
  by Abe? at May 18, 2025 at 04:58:58
• Timeline of category theory and related mathematics ( Timeline of category theory and related mathematics(rev # 177) | history )
  by Abe? at May 18, 2025 at 04:55:37
• abc conjecture ( abc conjecture(rev # 27) | history )
  by Abe? at May 18, 2025 at 04:51:26
• Sandbox ( Sandbox(rev # 3673) | history )
  by Urs Schreiber at May 18, 2025 at 03:27:38
• geometry of physics -- local prequantum field theory ( geometry of physics -- local prequantum field theory(rev # 2) | history )
  by Urs Schreiber at May 18, 2025 at 03:23:13
• M-category ( M-category(rev # 25) | history )
  by Abe? at May 18, 2025 at 03:08:37
• empty 230 ( empty 230(rev # 29) | history )
  by Urs Schreiber at May 18, 2025 at 03:08:11
• presentation of a category by generators and relations ( presentation of a category by generators and relations(rev # 5) | history )
  by Abe? at May 18, 2025 at 03:05:50
• stack semantics ( stack semantics(rev # 11) | history )
  by Abe? at May 18, 2025 at 03:04:58
• empty 230 ( empty 230(rev # 28) | history )
  by Abe? at May 18, 2025 at 03:02:12
• foundations and logic ( foundations and logic(rev # 12) | history )
  by Abe? at May 18, 2025 at 02:56:30
• infinity-Chern-Weil theory introduction ( infinity-Chern-Weil theory introduction(rev # 121) | history )
  by Abe? at May 18, 2025 at 02:54:36
• prequantum field theory ( prequantum field theory(rev # 57) | history )
  by Abe? at May 18, 2025 at 02:52:50
• circle n-bundle with connection ( circle n-bundle with connection(rev # 42) | history )
  by Abe? at May 18, 2025 at 02:45:28
• discrete category ( discrete category(rev # 25) | history )
  by Abe? at May 18, 2025 at 02:43:58
• cardinal number ( cardinal number(rev # 49) | history )
  by Abe? at May 18, 2025 at 02:41:55
• Kleene algebra ( Kleene algebra(rev # 6) | history )
  by P? at May 17, 2025 at 23:37:02
• lattice-ordered group ( lattice-ordered group(rev # 5) | history )
  by P? at May 17, 2025 at 23:31:03
• propositional type theory ( propositional type theory(rev # 123) | history )
  by P? at May 17, 2025 at 23:22:10
• curved dg-algebra ( curved dg-algebra(rev # 7) | history )
  by Dean? at May 17, 2025 at 21:14:16
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 446) | history )
  by Urs Schreiber at May 17, 2025 at 16:47:28
• Nicolas Regnault ( Nicolas Regnault(rev # 1) | history )
  by Urs Schreiber at May 17, 2025 at 16:45:59
• Laughlin wavefunction ( Laughlin wavefunction(rev # 36) | history )
  by Urs Schreiber at May 17, 2025 at 16:44:05
• Scott adjunction ( Scott adjunction(rev # 5) | history )
  by Ivan? at May 17, 2025 at 15:45:19
• polymorphic dependent type theory ( polymorphic dependent type theory(rev # 22) | history )
  by P? at May 17, 2025 at 14:52:10
• extensional type theory ( extensional type theory(rev # 36) | history )
  by P? at May 17, 2025 at 14:48:12
• Classification of continuous maps of a complex into a sphere ( Classification of continuous maps of a complex into a sphere(rev # 6) | history )
  by Urs Schreiber at May 17, 2025 at 14:41:04
• axiom ( axiom(rev # 18) | history )
  by P? at May 17, 2025 at 14:17:24
• parametric dependent type theory ( parametric dependent type theory(rev # 8) | history )
  by P? at May 17, 2025 at 14:12:58
• polymorphism ( polymorphism(rev # 23) | history )
  by P? at May 17, 2025 at 14:06:42
• intensional type theory ( intensional type theory(rev # 19) | history )
  by P? at May 17, 2025 at 13:47:00
• type theory ( type theory(rev # 146) | history )
  by P? at May 17, 2025 at 13:42:40
• dependent type theory ( dependent type theory(rev # 47) | history )
  by P? at May 17, 2025 at 13:23:22
• differential cohesive homotopy type theory ( differential cohesive homotopy type theory(rev # 12) | history )
  by P? at May 17, 2025 at 13:11:46
• simple type theory ( simple type theory(rev # 13) | history )
  by P? at May 17, 2025 at 12:51:00
• dependent type theory ( dependent type theory(rev # 46) | history )
  by P? at May 17, 2025 at 12:48:41
• polymorphism ( polymorphism(rev # 22) | history )
  by P? at May 17, 2025 at 12:47:41
• polymorphic dependent type theory ( polymorphic dependent type theory(rev # 21) | history )
  by P? at May 17, 2025 at 12:46:04
• type variable ( type variable(rev # 2) | history )
  by P? at May 17, 2025 at 12:42:29
• propositional type theory ( propositional type theory(rev # 122) | history )
  by P? at May 17, 2025 at 12:18:35
• weak type theory > history ( weak type theory > history(rev # 8) | history )
  by P? at May 17, 2025 at 12:08:04
• Lawvere theory ( Lawvere theory(rev # 90) | history )
  by Chun Yu Lin? at May 17, 2025 at 11:52:37
• explicit conversion ( explicit conversion(rev # 3) | history )
  by P? at May 17, 2025 at 11:46:27
• Hisham Sati ( Hisham Sati(rev # 43) | history )
  by Urs Schreiber at May 17, 2025 at 11:15:28
• mysterious duality ( mysterious duality(rev # 21) | history )
  by Urs Schreiber at May 17, 2025 at 11:14:42
• weak type theory > history ( weak type theory > history(rev # 7) | history )
  by P? at May 17, 2025 at 10:52:59
• Arf-Kervaire invariant problem ( Arf-Kervaire invariant problem(rev # 12) | history )
  by Urs Schreiber at May 17, 2025 at 09:22:19
• Kervaire invariant ( Kervaire invariant(rev # 9) | history )
  by Urs Schreiber at May 17, 2025 at 09:20:09
• observation of anyons in fractional quantum Hall systems -- references ( observation of anyons in fractional quantum Hall systems -- references(rev # 8) | history )
  by Urs Schreiber at May 17, 2025 at 08:39:28
• filter ( filter(rev # 48) | history )
  by Ben Eltschig? at May 17, 2025 at 08:30:56
• Kervaire invariant ( Kervaire invariant(rev # 8) | history )
  by Vaibhav Sunder? at May 17, 2025 at 08:27:25
• Kervaire invariant ( Kervaire invariant(rev # 7) | history )
  by Vaibhav Sunder? at May 17, 2025 at 08:27:24
• quantum Hall effect ( quantum Hall effect(rev # 83) | history )
  by Urs Schreiber at May 17, 2025 at 07:36:57
• observation of anyons in fractional quantum Hall systems -- references ( observation of anyons in fractional quantum Hall systems -- references(rev # 7) | history )
  by Urs Schreiber at May 17, 2025 at 07:36:45
• filter ( filter(rev # 47) | history )
  by ＩＱ２? at May 17, 2025 at 05:56:14
• propositional type theory ( propositional type theory(rev # 121) | history )
  by Anonymouse? at May 17, 2025 at 01:12:29
• propositional equality ( propositional equality(rev # 13) | history )
  by John Blackburn? at May 16, 2025 at 21:24:35
• XTT ( XTT(rev # 14) | history )
  by John Blackburn? at May 16, 2025 at 16:49:18
• type of propositions ( type of propositions(rev # 54) | history )
  by John Blackburn? at May 16, 2025 at 16:28:14
• equality ( equality(rev # 60) | history )
  by John Blackburn? at May 16, 2025 at 14:43:39
• homotopy type theory ( homotopy type theory(rev # 152) | history )
  by John Blackburn? at May 16, 2025 at 14:37:43
• cubical type theory ( cubical type theory(rev # 43) | history )
  by John Blackburn? at May 16, 2025 at 14:33:09
• Jainendra K. Jain ( Jainendra K. Jain(rev # 7) | history )
  by Urs Schreiber at May 16, 2025 at 14:24:34
• quantum Hall effect ( quantum Hall effect(rev # 82) | history )
  by Urs Schreiber at May 16, 2025 at 14:22:56
• propositional equality ( propositional equality(rev # 12) | history )
  by John Blackburn? at May 16, 2025 at 14:21:54
• logic over dependent type theory ( logic over dependent type theory(rev # 2) | history )
  by John Blackburn? at May 16, 2025 at 14:07:06
• dependent type ( dependent type(rev # 33) | history )
  by John Blackburn? at May 16, 2025 at 13:58:51
• dependently sorted set theory ( dependently sorted set theory(rev # 4) | history )
  by John Blackburn? at May 16, 2025 at 13:42:35
• quantum Hall effect ( quantum Hall effect(rev # 81) | history )
  by Urs Schreiber at May 16, 2025 at 13:34:31
• Jainendra K. Jain ( Jainendra K. Jain(rev # 6) | history )
  by Urs Schreiber at May 16, 2025 at 13:25:17
• Jan Plefka ( Jan Plefka(rev # 6) | history )
  by Urs Schreiber at May 16, 2025 at 12:37:51
• scattering amplitude ( scattering amplitude(rev # 43) | history )
  by Urs Schreiber at May 16, 2025 at 12:35:06
• Chern-Simons theory as topological string theory ( Chern-Simons theory as topological string theory(rev # 4) | history )
  by Urs Schreiber at May 16, 2025 at 12:32:35
• extensional type theory ( extensional type theory(rev # 35) | history )
  by John Blackburn? at May 16, 2025 at 12:32:32
• topological string ( topological string(rev # 26) | history )
  by Urs Schreiber at May 16, 2025 at 12:29:39
• quantum Hall effect ( quantum Hall effect(rev # 80) | history )
  by Urs Schreiber at May 16, 2025 at 10:34:05
• Isbell duality ( Isbell duality(rev # 56) | history )
  by David Corfield at May 16, 2025 at 10:07:18
• higher monadic descent ( higher monadic descent(rev # 17) | history )
  by Quentin? at May 16, 2025 at 09:41:30
• Scott adjunction ( Scott adjunction(rev # 4) | history )
  by Ivan? at May 16, 2025 at 09:35:56
• Ivan Di Liberti ( Ivan Di Liberti(rev # 21) | history )
  by Urs Schreiber at May 16, 2025 at 09:27:14
• Scott adjunction ( Scott adjunction(rev # 3) | history )
  by Evan Cavallo at May 16, 2025 at 09:23:25
• Scott adjunction ( Scott adjunction(rev # 2) | history )
  by Urs Schreiber at May 16, 2025 at 09:21:03
• Scott adjunction ( Scott adjunction(rev # 1) | history )
  by Ivan? at May 16, 2025 at 08:55:40
• Sketches of an Elephant ( Sketches of an Elephant(rev # 57) | history )
  by Urs Schreiber at May 16, 2025 at 07:17:19
• Topos Theory ( Topos Theory(rev # 7) | history )
  by Urs Schreiber at May 16, 2025 at 07:16:44
• Categories, Allegories ( Categories, Allegories(rev # 9) | history )
  by Urs Schreiber at May 16, 2025 at 07:15:20
• Sketches of an Elephant ( Sketches of an Elephant(rev # 56) | history )
  by David Roberts? at May 16, 2025 at 06:40:23