范畴论
把「对象」与「态射」抽象到极致：范畴、函子、自然变换构成数学的元语言，泛性质与伴随函子统一了自由构造、极限等无数具体构造，是现代数学的通用抽象层。
3 个分节6 个概念
§ 01
基本范畴
范畴=对象+态射+复合律：它剥离具体细节只保留结构关系，函子在不同范畴之间传递结构，自然变换比较函子。
§ 02
极限与伴随
极限/余极限统一了积、拉回、等化子等构造，伴随函子是最普遍的「对偶」概念：左伴随保持余极限、右伴随保持极限。
§ 03
高级专题
范畴论的深层结构：Abel 范畴为同调代数提供公理环境，Topos 既是几何（层范畴）又是逻辑（直觉主义模型）。