知识
从单形到无穷范畴理论
本文主要为 ∞-type Café 暑期学校 2026 的“无穷范畴”课程前两次笔记，参考了 nLab 的资料及答疑群的回答。…
类型论发展与思想综述
阅读 Trebor 的高观点小册子《类型论简史》的笔记（跳过了范畴语义部分）。…
光滑流形上的定向与积分
在光滑流形上我们可以对微分形式作积分，其定义需要一些关于定向的说明。基于这一套语言可以给出 Stokes 定理。…
（椭圆）模形式基本定义与结构
李文威在《模形式初步》中言，模形式是一门彻上彻下，勾连四方的学问，能有效组织被本科课程分割承包的知识，进而将数学还原到浑然一体的面貌。本文略过了各种数论应用。…
Universals and Limits 习题选做
做一些 Mac Lane 书上 Ⅲ. Universals and Limits 的习题（从 2. The Yoneda Lemma 开始，前面的在一些泛性质使用的习题选做）。…