nLab Latest Revisions

• primitive recursive arithmetic ( primitive recursive arithmetic(rev # 4) | history )
  by Anon? at September 19, 2024 at 21:30:35
• divisor (algebraic geometry) ( divisor (algebraic geometry)(rev # 10) | history )
  by Jonathan Beardsley at September 19, 2024 at 21:15:49
• principle of omniscience ( principle of omniscience(rev # 74) | history )
  by Anonymouse? at September 19, 2024 at 21:06:47
• propositional resizing ( propositional resizing(rev # 18) | history )
  by Anonymouse? at September 19, 2024 at 19:10:58
• type of propositions ( type of propositions(rev # 42) | history )
  by Anonymouse? at September 19, 2024 at 19:08:36
• Conway's law
  by Corbin at September 19, 2024 at 18:40:44
• predicative mathematics ( predicative mathematics(rev # 39) | history )
  by Anonymouse? at September 19, 2024 at 18:37:47
• impredicative polymorphism ( impredicative polymorphism(rev # 3) | history )
  by Anonymouse? at September 19, 2024 at 18:35:10
• weak function extensionality ( weak function extensionality(rev # 7) | history )
  by Anonymouse? at September 19, 2024 at 18:15:13
• applied category theory ( applied category theory(rev # 10) | history )
  by Corbin at September 19, 2024 at 17:37:49
• impredicative dependent type theory ( impredicative dependent type theory(rev # 3) | history )
  by Anonymouse? at September 19, 2024 at 17:30:12
• predicative mathematics ( predicative mathematics(rev # 38) | history )
  by Anonymouse? at September 19, 2024 at 17:21:56
• impredicative polymorphism ( impredicative polymorphism(rev # 2) | history )
  by Anonymouse? at September 19, 2024 at 17:18:26
• taboo ( taboo(rev # 15) | history )
  by Anonymouse? at September 19, 2024 at 17:03:33
• impredicative dependent type theory ( impredicative dependent type theory(rev # 2) | history )
  by Anonymouse? at September 19, 2024 at 16:56:44
• impredicative universe
  by Anonymouse? at September 19, 2024 at 16:52:03
• impredicative polymorphism ( impredicative polymorphism(rev # 1) | history )
  by Anonymouse? at September 19, 2024 at 16:35:07
• polymorphism ( polymorphism(rev # 19) | history )
  by Anonymouse? at September 19, 2024 at 16:32:26
• Alexander Postnikov ( Alexander Postnikov(rev # 3) | history )
  by Zoran Škoda at September 19, 2024 at 16:10:46
• Grassmann necklace
  by Zoran Škoda at September 19, 2024 at 15:57:13
• 2-type theory ( 2-type theory(rev # 8) | history )
  by anuyts at September 19, 2024 at 15:48:56
• Nima Arkani-Hamed ( Nima Arkani-Hamed(rev # 10) | history )
  by Zoran Škoda at September 19, 2024 at 15:42:13
• positroid
  by Zoran Škoda at September 19, 2024 at 15:38:02
• virtual equipment ( virtual equipment(rev # 4) | history )
  by anuyts at September 19, 2024 at 15:33:58
• propositional resizing ( propositional resizing(rev # 17) | history )
  by Anonymouse? at September 19, 2024 at 15:27:49
• Peter West ( Peter West(rev # 24) | history )
  by Urs Schreiber at September 19, 2024 at 12:52:52
• E₁₁ ( E₁₁(rev # 45) | history )
  by Urs Schreiber at September 19, 2024 at 12:52:34
• Sandbox ( Sandbox(rev # 3436) | history )
  by Urs Schreiber at September 19, 2024 at 12:12:48
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 360) | history )
  by Urs Schreiber at September 19, 2024 at 10:49:41
• computational topology ( computational topology(rev # 17) | history )
  by Urs Schreiber at September 19, 2024 at 10:42:28
• Grigorios Giotopoulos ( Grigorios Giotopoulos(rev # 8) | history )
  by Urs Schreiber at September 19, 2024 at 10:35:43
• super smooth set ( super smooth set(rev # 5) | history )
  by Urs Schreiber at September 19, 2024 at 10:33:35
• smooth set ( smooth set(rev # 31) | history )
  by Urs Schreiber at September 19, 2024 at 10:31:53
• Freeman Dyson ( Freeman Dyson(rev # 10) | history )
  by Urs Schreiber at September 19, 2024 at 08:56:32
• geometric quantization ( geometric quantization(rev # 124) | history )
  by Urs Schreiber at September 19, 2024 at 08:51:31
• higher parallel transport ( higher parallel transport(rev # 39) | history )
  by Urs Schreiber at September 19, 2024 at 08:11:17
• generalized global symmetry ( generalized global symmetry(rev # 26) | history )
  by Urs Schreiber at September 19, 2024 at 08:09:31
• Robert Wald ( Robert Wald(rev # 10) | history )
  by Urs Schreiber at September 19, 2024 at 06:04:34
• classifying morphism ( classifying morphism(rev # 7) | history )
  by Julian Gilbey? at September 19, 2024 at 05:21:22
• Bourbaki ( Bourbaki(rev # 24) | history )
  by Thomas Holder at September 18, 2024 at 20:50:31
• Claude Chevalley ( Claude Chevalley(rev # 4) | history )
  by Thomas Holder at September 18, 2024 at 20:27:22
• Cayley-Dickson construction ( Cayley-Dickson construction(rev # 38) | history )
  by perezl.alonso at September 18, 2024 at 19:47:19
• biology ( biology(rev # 17) | history )
  by Corbin at September 18, 2024 at 19:36:07
• ontology log ( ontology log(rev # 3) | history )
  by Corbin at September 18, 2024 at 19:19:29
• real number ( real number(rev # 96) | history )
  by Toby Bartels at September 18, 2024 at 18:16:13
• concrete category ( concrete category(rev # 42) | history )
  by Ivan? at September 18, 2024 at 15:52:30
• Konrad Waldorf ( Konrad Waldorf(rev # 17) | history )
  by Urs Schreiber at September 18, 2024 at 15:29:22
• Peter Kristel ( Peter Kristel(rev # 4) | history )
  by Urs Schreiber at September 18, 2024 at 15:26:34
• E₁₁ ( E₁₁(rev # 44) | history )
  by Urs Schreiber at September 18, 2024 at 10:22:10
• Hermann Nicolai ( Hermann Nicolai(rev # 25) | history )
  by Urs Schreiber at September 18, 2024 at 08:43:38
• U-duality ( U-duality(rev # 45) | history )
  by Urs Schreiber at September 18, 2024 at 08:40:22
• Eugène Cremmer ( Eugène Cremmer(rev # 6) | history )
  by Urs Schreiber at September 18, 2024 at 08:09:10
• Marc Henneaux ( Marc Henneaux(rev # 8) | history )
  by Urs Schreiber at September 18, 2024 at 07:35:21
• E₁₀ ( E₁₀(rev # 19) | history )
  by Urs Schreiber at September 18, 2024 at 07:34:01
• E₁₁ ( E₁₁(rev # 43) | history )
  by Urs Schreiber at September 18, 2024 at 07:21:53
• exceptional field theory ( exceptional field theory(rev # 30) | history )
  by Urs Schreiber at September 18, 2024 at 07:08:02
• U-duality ( U-duality(rev # 44) | history )
  by Urs Schreiber at September 18, 2024 at 06:55:16
• electroweak field ( electroweak field(rev # 13) | history )
  by Urs Schreiber at September 18, 2024 at 05:19:01
• U-duality ( U-duality(rev # 43) | history )
  by Urs Schreiber at September 18, 2024 at 04:09:22
• exceptional naturalism ( exceptional naturalism(rev # 28) | history )
  by Urs Schreiber at September 18, 2024 at 04:04:00
• Lie's three theorems ( Lie's three theorems(rev # 33) | history )
  by Hurkyl? at September 18, 2024 at 01:11:47
• exceptional naturalism ( exceptional naturalism(rev # 27) | history )
  by Urs Schreiber at September 17, 2024 at 18:37:47
• Hermann Nicolai ( Hermann Nicolai(rev # 24) | history )
  by Urs Schreiber at September 17, 2024 at 18:35:21
• Oliver Schlotterer ( Oliver Schlotterer(rev # 4) | history )
  by Urs Schreiber at September 17, 2024 at 18:33:56
• E₁₀ ( E₁₀(rev # 18) | history )
  by Urs Schreiber at September 17, 2024 at 18:13:01
• E₁₁ ( E₁₁(rev # 42) | history )
  by Urs Schreiber at September 17, 2024 at 17:32:41
• exceptional field theory ( exceptional field theory(rev # 29) | history )
  by Urs Schreiber at September 17, 2024 at 17:30:04
• Sandbox ( Sandbox(rev # 3435) | history )
  by Urs Schreiber at September 17, 2024 at 16:47:42
• Hermann Nicolai ( Hermann Nicolai(rev # 23) | history )
  by Urs Schreiber at September 17, 2024 at 16:34:37
• Axel Kleinschmidt ( Axel Kleinschmidt(rev # 12) | history )
  by Urs Schreiber at September 17, 2024 at 16:33:53
• E₉ ( E₉(rev # 15) | history )
  by Urs Schreiber at September 17, 2024 at 16:32:47
• exceptional tangent bundle ( exceptional tangent bundle(rev # 6) | history )
  by Urs Schreiber at September 17, 2024 at 15:07:22
• E₁₀ ( E₁₀(rev # 17) | history )
  by Urs Schreiber at September 17, 2024 at 14:35:53
• E₉ ( E₉(rev # 14) | history )
  by Urs Schreiber at September 17, 2024 at 14:35:08
• Jakob Palmkvist ( Jakob Palmkvist(rev # 7) | history )
  by Urs Schreiber at September 17, 2024 at 14:34:20
• Hermann Nicolai ( Hermann Nicolai(rev # 22) | history )
  by Urs Schreiber at September 17, 2024 at 14:33:53
• Axel Kleinschmidt ( Axel Kleinschmidt(rev # 11) | history )
  by Urs Schreiber at September 17, 2024 at 14:33:03
• Kac-Moody algebra ( Kac-Moody algebra(rev # 16) | history )
  by Urs Schreiber at September 17, 2024 at 14:32:34
• Sandbox ( Sandbox(rev # 3434) | history )
  by Urs Schreiber at September 17, 2024 at 14:31:50
• unitary functorial field theory ( unitary functorial field theory(rev # 7) | history )
  by Arun Debray at September 17, 2024 at 13:52:07
• E₁₁ ( E₁₁(rev # 41) | history )
  by Urs Schreiber at September 17, 2024 at 12:42:48
• E₁₀ ( E₁₀(rev # 16) | history )
  by Urs Schreiber at September 17, 2024 at 12:41:14
• E₉ ( E₉(rev # 13) | history )
  by Urs Schreiber at September 17, 2024 at 12:39:38
• Kac-Moody algebra ( Kac-Moody algebra(rev # 15) | history )
  by Urs Schreiber at September 17, 2024 at 12:37:52
• unitary functorial field theory ( unitary functorial field theory(rev # 6) | history )
  by Natalia Pacheco-Tallaj? at September 17, 2024 at 12:20:04
• Jesse Wolfson ( Jesse Wolfson(rev # 4) | history )
  by Urs Schreiber at September 17, 2024 at 12:13:34
• Chris Rogers ( Chris Rogers(rev # 13) | history )
  by Urs Schreiber at September 17, 2024 at 12:13:09
• Lie integration ( Lie integration(rev # 70) | history )
  by Urs Schreiber at September 17, 2024 at 12:12:25
• Lie's three theorems ( Lie's three theorems(rev # 32) | history )
  by Urs Schreiber at September 17, 2024 at 12:11:12
• enriched bicategory ( enriched bicategory(rev # 11) | history )
  by varkor at September 17, 2024 at 11:48:17
• E₁₁ ( E₁₁(rev # 40) | history )
  by Urs Schreiber at September 17, 2024 at 11:32:07
• Hermann Nicolai ( Hermann Nicolai(rev # 21) | history )
  by Urs Schreiber at September 17, 2024 at 10:34:19
• exceptional geometry ( exceptional geometry(rev # 15) | history )
  by Urs Schreiber at September 17, 2024 at 10:22:52
• exceptional field theory ( exceptional field theory(rev # 28) | history )
  by Urs Schreiber at September 17, 2024 at 10:18:49
• M-theory ( M-theory(rev # 112) | history )
  by Urs Schreiber at September 17, 2024 at 10:18:04
• U-duality ( U-duality(rev # 42) | history )
  by Urs Schreiber at September 17, 2024 at 10:16:10
• Eliezer Rabinovici ( Eliezer Rabinovici(rev # 4) | history )
  by Urs Schreiber at September 17, 2024 at 10:09:27
• David Kutasov ( David Kutasov(rev # 5) | history )
  by Urs Schreiber at September 17, 2024 at 10:09:00
• Amit Giveon ( Amit Giveon(rev # 3) | history )
  by Urs Schreiber at September 17, 2024 at 10:08:39
• Shmuel Elitzur ( Shmuel Elitzur(rev # 3) | history )
  by Urs Schreiber at September 17, 2024 at 10:08:23