概念

极限

等化子、拉回、正向/逆向极限都是极限的特例，极限由泛性质唯一确定（至同构）。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

极限范畴论

01定义

极限是「与整个图相容的最优解」：积、等化子、拉回、逆极限都是同一构造的特例。极限由泛性质唯一确定（至同构），右伴随保持极限——这条规律统摄无数具体定理。

极限 L：对图的相容投影「最优」，任何锥唯一经过它

图的形状决定极限的名字：离散图 → 积，两箭头图 → 等化子，拉回是纤维积；逆极限（ $p$ -adic 数的构造）是无穷图的极限。

完备范畴（如 $\mathbf{Set}$ ）有一切小极限：可由积与等化子拼出——「两种积木盖一切」。

右伴随保持极限、左伴随保持余极限；「极限与极限交换」的可交换性判据是层论与代数几何的核心技术。

\operatorname{Hom}(Z,\lim D)\cong\lim\operatorname{Hom}(Z,D(-))

p\text{-adic}:\ \mathbb{Z}_p=\varprojlim\,\mathbb{Z}/p^n

极限的范畴统一定义由艾伦伯格-麦克莱恩、Kan 在 1950 年代完成；「极限」一词的引入使积、拉回等分散概念归一；格罗滕迪克将其发展为代数几何的标准词汇。

形式验证中的不动点计算（逆极限）、类型论的依赖积、代数几何的纤维积与基变换——「相容系统的最优解」是跨领域的通用构造。

积 X×Y：泛性质任意 Z 与态射 f,g 唯一地通过投影 π₁,π₂ 分解

Z 位置0.50