跳到正文
cccskills
免费在 GitHub 公开

condensed-mathematics

Scholze-Clausen condensed math - condensed sets, liquid vector spaces, solid modules, 6-functor formalism, Kunneth exactness

中文简介正在准备中。当前显示原文说明。

查看安装方法

包含的文件(2)

  • SKILL.md1.9 KB
  • CONCOMITANT_SKILLS.md972 B

SKILL.md(原文)

安装前可以查看交给 AI 代理的指令内容。

Condensed Mathematics Skill: Scholze-Clausen for BCI

Status: Production Ready Trit: 0 (ERGODIC - coordinator) Color: #26A0D8 (Sky Blue) Principle: Condensed math fixes topology+algebra interaction via sheaves on CompHaus Frame: Cond(Ab) with liquid/solid tensor products and 6-functor formalism


Overview

Condensed Mathematics provides the correct framework for combining topology with algebra. Implements:

  1. Condensed sets: Sheaves on CompHaus^op (profinite probes)
  2. Cond(Ab): Complete abelian category with tensor ⊗ and Hom
  3. Liquid vector spaces: p-liquid norms, exact tensor ⊗^L
  4. Solid modules: Completion via double-dual, solid tensor ⊗^■
  5. 6-functor formalism: f*, f_*, f!, f^!, ⊗, Hom with projection formula
  6. Analytic rings: Discrete, liquid, solid analytic structures
  7. Kunneth formula: Exact in condensed setting (no Tor correction)

Key Results

Condensed Sets: 3 worlds on 3 profinite probes (cantor, p-adic-3, cyclic)
Sheaf condition: T(S1 ∐ S2) = T(S1) × T(S2) VERIFIED
Liquid: all worlds p-liquid for p=0.5,0.75,1.0
Solid: all worlds solid (double-dual error = 0.000000)
6-functors: projection formula f!(M ⊗ f*N) ≃ f!(M) ⊗ N VERIFIED
Kunneth: H^0(X×Y) = H^0(X) ⊗ H^0(Y) VERIFIED (error=0.0000)

Integration with GF(3) Triads

infinity-categories (+1) x condensed-mathematics (0) x infinity-topoi (-1) = 0
stochastic-resonance (+1) x condensed-mathematics (0) x derived-categories (-1) = 0

Skill Name: condensed-mathematics Type: Condensed Sets / Liquid / Solid / 6-Functors / Kunneth Trit: 0 (ERGODIC) GF(3): (+1) condensed gen + (0) liquid coord + (-1) solid valid = 0

评价

还没有评价。欢迎分享你的使用感受。

评论

无需登录即可发表。欢迎分享使用感受、提问,或说明在哪些环境下无法运行。

还没有评论。来写第一条吧。

提交后会立即公开。请勿填写邮箱、电话等个人信息。URL 最多 2 个。

0 / 1000 字

此表单受 reCAPTCHA 保护,适用 Google 的隐私权政策和服务条款。

同一仓库的技能

Model ElevenLabs voice synthesis as an ACSet schema with Unison ability handlers for typed voice operations. Use when integrating ElevenLabs TTS into category-theoretic pipelines, building typed voice synthesis workflows, or managing multi-voice narration with GF(3) conservation.

中文简介正在准备中。当前显示原文说明。

plurigrid/asi702026年7月10日 更新

Systematic process for analyzing and modernizing legacy applications to comply with the 12-Factor App methodology. Covers code analysis, configuration externalization, dependency management, and container/Kubernetes best practices.

中文简介正在准备中。当前显示原文说明。

plurigrid/asi702026年7月10日 更新

13c0e3

免费

Gay MCP skill at invocation 26

中文简介正在准备中。当前显示原文说明。

plurigrid/asi702026年7月10日 更新

19d57d

免费

Gay MCP skill at invocation 5

中文简介正在准备中。当前显示原文说明。

plurigrid/asi702026年7月10日 更新

1ea91a

免费

Gay MCP skill at invocation 27

中文简介正在准备中。当前显示原文说明。

plurigrid/asi702026年7月10日 更新

1eab21

免费

Gay MCP skill at invocation 3

中文简介正在准备中。当前显示原文说明。

plurigrid/asi702026年7月10日 更新

查看 plurigrid 的全部技能

报告此技能的问题