原始因果 DAG →弦图表示 →因果网络范畴 Cau →粗粒化变换 →重整化演化 →凝聚不动点自持态—— 整套构造可交互、可检验、可回退
HodgeFold Explorer
因果网络范畴 Cau
张量范畴弦图演算
Kan 扩张 / 余层
Spivak 范畴数据库
① 这份软件想做什么?
一句话:这是一张"活的论文图"。论文《因果凝聚》提出把因果网络逐步翻译、变换,最后凝聚成一个稳定的"不动点"。在这里你可以亲手点每一步,看着图变化,并随时检查每一步是否合法。
⚠️ 它是理论演示与结构检验原型,帮你直观理解构造过程,不提供数学证明;理论权威以论文原文为准。
② 认识界面:就三块
顶部 S0→S5 是论文流程的六个阶段,点任意一个直接跳转;中间大画布看网络;右边四个标签页分别是:范畴细节(理论展开)、诊断(结构体检)、参数(调 λ 演化)、快照(自动存档回退)。
💡 想深入理论?右侧「范畴 Cau」页底部有 18 项范畴论 ↔ 软件对照表,点击任意行可看严格定义;页脚还能下载完整《软件规格说明书》。
③ 第一步:看懂这张图
把圆点当"事件",箭头当"谁导致谁"。右上角「视图A ⇄ 视图B」是同一张网络的两种画法:DAG 直观,弦图对应论文的张量演算。
鼠标随时可用:滚轮放大缩小 · 按住空白处拖动平移 · 拖圆点重新摆位置。点节点会变金色边框(选中)。
④ 第二步:动手做"粗粒化"
粗粒化就是"把几个节点打包成一个高层对象":选中 ≥2 个节点 → 点工具栏「⬆ 粗粒化(升维折叠)」。这正是论文里"升维折叠 ⇄ 降维展开"的亲手操作版。
⑤ 第三步:体检、调参、存档
诊断页把 5 条结构准则标成 ✓ 满足 / ◌ 部分 / ✕ 违反——结构有没有被破坏,一眼就知道。参数页拖 λ 看网络族演化;快照页每步自动存档,随时回退,也可导出 PNG / JSON / 状态哈希分享。
⑥ 推荐体验路线
照上面路线走一遍就上手了:样例4 载入 → S1、S2 看翻译 → S3 选几个节点做粗粒化 → S4 拖 λ → S5 看不动点与初始结构的对比。
随时点右上角「💡 使用说明」可回看本向导——浮动窗口可拖动、可拖右下角等比缩放,置于屏幕一角边看边操作。