11.2.2 在线资源：Stacks Project、nLab

文档摘要

11.2.2 在线资源：Stacks Project、nLab 在代数几何与范畴论的深水区航行，我们常遭遇一种奇特的认知张力：一边是Grothendieck式宏大构架——层、拓扑斯、导出范畴如星云般延展；另一边却是具体计算时的寸步难行——一个平凡的平坦下降条件该如何验证？某个预层是否满足有效胶合？同调维数在非诺特情形下为何突然“失稳”？此时，你真正需要的不是又一本教科书的优雅陈述，而是一套可执行、可追溯、可调试的知识基础设施——它必须承载定义的原始出处、引理的完整证明链、定理依赖的精确层级、甚至每个符号在何时被首次引入。Stacks Project 与 nLab 正是这样两座由数学家亲手锻造、持续演化的“形式化知识引擎”。