摘要
本文提出利用范畴论架构三元组为 LLM Agent 的 Harness 工程提供形式化理论。研究将记忆、技能、协议等外部化支柱映射到该架构中，其中记忆被定义为余代数状态。通过编译器函子验证了该理论在多个框架中的适用性，证明了结构保证（如完整性门控）可通过身份或重放进行验证。实验表明，基于质量的升级控制路径具有模型参数无关性，确立了范畴架构作为 Harness 工程背后的形式化理论基础。
AI 推荐理由
论文将记忆形式化为余代数状态，是架构核心支柱之一，虽涵盖多组件但记忆理论化程度高。
研究机构
bogdan@banu.be
论文信息