点此生成引用。
数学知识系列（包括可能永远不会触及的方向）1
- 数学的基础：数理逻辑 | 集合论 | 类型论
- 范畴论：普通范畴论 | 同伦代数 | 高阶范畴论
- 代数学：线性代数 | 群论 | 非交换代数 | 交换代数 | 域论 | 模论 | 同调代数 | 高阶代数
- 数论：初等数论 | 代数数论 | 解析数论
- 拓扑学：点集拓扑 | 代数拓扑 | 几何拓扑 | 层论
- 几何学：Euclid 几何 | 微分几何 | Riemann 几何 | 辛几何 | 复几何 | Lie 理论 | 代数几何 | 代数群理论 | p 进几何 | 算数几何 | 组合几何 | 非交换几何 | 高阶几何
- 分析学：微积分学 | 测度论 | 复分析 | 泛函分析 | 调和分析 | 动力系统 | 常微分方程 | 偏微分方程
- 概率论：概率论 | 随机过程与随机分析
- 组合学：计数组合 | 图论 | 组合设计 | 博弈论
计算机知识系列：
- 计算机理论：函数式编程
- 技术设计：密码学
- 系统与体系：Haskell | Julialang 中文学习指导
- 应用领域：计算机图形学
物理知识系列：TODO
1
参考 香蕉空间: 写作计划，有部分改动。这其实不是非常令人满意的分类。