
樊中愷
過去三年,AI 應用的核心難題從「算力」滑向了「組合」。 2023 年做一個 AI 產品,一張便箋就能畫完:Prompt → LLM → Answer。到 2026 年,成熟產品已是模型、提示詞、工具、記憶、檢索、子智能體、評估器織成的一張動態網絡。你會發現,多數線上事故並不發生在節點內部,而發生在「邊」上——這個工具的輸出,那個工具接不住。 工程界管這叫「集成問題」;而數學界研究「東西怎麼接、接起來什麼性質還成立」,已經研究了八十年,那門學問叫範疇論。 這本書用範疇論裏最樸素的幾個概念(對象、態射、組合、函子、自然變換、交換圖)給 Agent 工程裝上一套「類型的約束」。它試圖說清:爲什麼你不敢重構自己的 Agent,爲什麼模塊全綠、端到端卻崩,爲什麼「全是 string 就等於沒有類型」。 全書共講了六個概念,不需要數學基礎,每章末尾附【可執行原則】,今天下午就能寫進 CI。它把「提示詞很玄學」的抱怨,變成三個可測的指標。大模型解決能力問題,範疇論解決能力如何組合的問題——而在 Agent 時代,組合正變得比單點能力更重要。
從一個不一樣的視角看agent開發
每個字都認識,組合起來我就不知道在說什麼了