这里收录数学笔记, 内容按学科组织并从远程 Obsidian 笔记库构建.测度论8 篇笔记初等数论43 篇笔记代数几何49 篇笔记代数拓扑12 篇笔记层论10 篇笔记范畴论88 篇笔记概率论7 篇笔记高阶范畴论4 篇笔记环论47 篇笔记集合论66 篇笔记交换代数25 篇笔记类型论2 篇笔记逻辑学39 篇笔记模论18 篇笔记群论45 篇笔记数学分析44 篇笔记算法与计算复杂度理论待补充算术几何2 篇笔记同调代数6 篇笔记稳态同伦论待补充线性代数50 篇笔记序论49 篇笔记一般数学62 篇笔记一般拓扑69 篇笔记Galois 理论22 篇笔记Lie 理论8 篇笔记Topos 理论8 篇笔记