过去三年，AI 应用的核心难题从「算力」滑向了「组合」。 2023 年做一个 AI 产品，一张便笺就能画完：Prompt → LLM → Answer。到 2026 年，成熟产品已是模型、提示词、工具、记忆、检索、子智能体、评估器织成的一张动态网络。你会发现，多数线上事故并不发生在节点内部，而发生在「边」上——这个工具的输出，那个工具接不住。 工程界管这叫「集成问题」；而数学界研究「东西怎么接、接起来什么性质还成立」，已经研究了八十年，那门学问叫范畴论。 这本书用范畴论里最朴素的几个概念（对象、态射、组合、函子、自然变换、交换图）给 Agent 工程装上一套「类型的约束」。它试图说清：为什么你不敢重构自己的 Agent，为什么模块全绿、端到端却崩，为什么「全是 string 就等于没有类型」。 全书共讲了六个概念，不需要数学基础，每章末尾附【可执行原则】，今天下午就能写进 CI。它把「提示词很玄学」的抱怨，变成三个可测的指标。大模型解决能力问题，范畴论解决能力如何组合的问题——而在 Agent 时代，组合正变得比单点能力更重要。