#范畴论
从单形到无穷范畴理论
本文主要为 ∞-type Café 暑期学校 2026 的“无穷范畴”课程前两次笔记，参考了 nLab 的资料及答疑群的回答。…
Universals and Limits 习题选做
做一些 Mac Lane 书上 Ⅲ. Universals and Limits 的习题（从 2. The Yoneda Lemma 开始，前面的在一些泛性质使用的习题选做）。…
集合范畴基本理论（ETCS）简介
ETCS 是 Lawvere 的集合范畴基本理论（Elementary Theory of the Category of Sets）。
对此会有一个误解是认为其基本动机是用范畴论来取代集合理论，其实不然，它就是集合论。这些公理是受范畴启发的，并不依赖于拥有一个一般的范畴的定义。…
一些泛性质使用的习题选做
选做 Saunders Mac Lane 的书 Categories for the Working Mathmatician 第二版中一些不废话的习题，包含 Ⅱ. Constructions on Categories 及 Ⅲ. Universals and Limits 的 1. Universal Arrows 节。…
一些简单定义的范畴论观点
代数上的定义的范畴论观点：关于笛卡尔积，无交并，直积，直和，积空间，纤维积。