# 数学星图 · 枢纽定理榜

按**入边数**排序：有多少条强边指向它。回答一个问题 ——
**哪些东西是真正的地基，值得优先学熟。**（弱边不计入。）
数据根 `./`：每项都能顺着读 `nodes/<id>.md`。

- **6** `lem.zorn` 佐恩引理 · layer 9 · 选择原理
- **5** `thm.first-iso` 第一同构定理（Noether） · layer 9 · 代数结构
- **5** `def.cauchy-null` Cauchy 列与零列 · layer 11 · 数系的构造
- **5** `def.representable` 表示函子 · layer 12 · 预层与米田
- **5** `def.abelian-category` 加法 / 阿贝尔范畴 · layer 16 · 加法与阿贝尔范畴
- **5** `def.product-measure` 乘积测度 · layer 17 · 乘积测度与 Fubini
- **5** `prop.cg-coreflective` 紧生成空间是余反射子范畴 · layer 18 · 紧生成空间与弱 Hausdorff
- **5** `thm.topos-abelian-grothendieck` 拓扑斯上的阿贝尔群是 Grothendieck 范畴 · layer 19 · 阿贝尔层
- **5** `prop.nbv-derivative` NBV 函数的导数与测度的关系 · layer 20 · 有界变差与绝对连续

（709 个节点里 702 个带强边入边，列了前 9 个；完整清单见 `graph.json`。）