#范畴论
从单形到无穷范畴理论
本文主要为 ∞-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 节。…
一些简单定义的范畴论观点
范畴论给予了我们一个统一的框架去处理代数或者其它邻域的一些普适性质。这里讨论一些常见的定义在范畴论中的翻译是什么。…