Meta. 学科 [subject]

偏分析的数学:

• 代数几何
• Riemann 几何
• 稳定同伦论
• 凝聚态数学
• 范畴论

偏综合的数学:

• 综合微分几何
• 综合同伦论
• 同伦类型论

数学基础:

• 类型论
• 逻辑
• 形式化数学
• 数学基础