# 数学星图 · 目录

数据根 = 本目录。下一步：读 `index/<星团id>.md` 拿节点清单。
星团的名字见 `index/<星系id>.md`（那页还有中心天体与点数）。
规模：9 星系 / 45 星团 / 709 节点 / 1398 连线。

## 数理逻辑（logic）
logic.fol

## 集合论（set-theory）
set.zfc　set.construct　set.rel　set.cardinal　set.numbers　set.ordinal

## 序理论（order-theory）
order.structure　order.choice

## 拓扑学（topology）
topology.general　topology.metric　topo.chaus　topo.stone　topo.cg

## 抽象代数（algebra）
algebra.structures　algebra.vectorspace

## 分析学（analysis）
analysis.real　analysis.setclass　analysis.measure　analysis.measurable　analysis.integral　analysis.product　analysis.signed　analysis.differentiation　analysis.bv　analysis.lp

## 范畴论（category）
cat.basic　cat.functor　cat.limit　cat.structure　cat.algebra　cat.yoneda　cat.adjoint　cat.sheaf　cat.topos

## 同调代数（homology）
hom.ab　hom.complex　hom.cohomology　hom.spectral　hom.sheafcoh　hom.sheaf

## 凝聚态数学（condensed）
cond.set　cond.ab　cond.topo　cond.cohomology