#拓扑学
【草稿】Morse 理论（一）
此系列为讨论班的复习笔记，这一部分参考 Milnor 的 Morse Theory 第一部分。…
从单形到无穷范畴理论
本文主要为 ∞-type Café 暑期学校 2026 的“无穷范畴”课程前两次笔记，参考了 nLab 的资料及答疑群的回答。…
同调论的拓扑基础与持续同调
由于高阶同伦群不好算，我们引入了同调群。其一个应用是数据分析的持续同调。…
几何学Ⅱ期末复习笔记
下半学期的内容是基本群和复叠空间。参考尤承业《基础拓扑学讲义》及 Allen Hatcher 的 Algebraic Topology 第一章。…
关于滤子：极限及“最终”模态词诱导
起因是听说 Lean 现在的 mathlib 中实数是依靠滤子定义的（但实际搜索了一下发现当前版本还是改为用 Cauchy 序列定义）。…