ODYSSEY：用范畴论构建可验证的基础模型

arXiv 上新发表的论文《ODYSSEY: Constructing Verifiable Local Truth-Preserving Foundation Models》提出了一套基于范畴论（category theory）的形式化框架，用于构建「可验证、局部保真」的基础模型。该工作将以 2.5 小时教程的形式在 ICML 2026 上呈现。

核心思路：从「整体模型」到「foundry 组合」

传统的基础模型被视为单一全局对象，训练和评估都以端到端方式进行。ODYSSEY 则把模型拆解为一组被称为「foundry」的构件，并要求整个系统以这些 foundry 的复合（composition）方式构造。

每个 foundry 自带一个论证组件（argumentation component），其内部结构被定义为一类「有组织的知识层」（organized sheaf of knowledge），从而在结构层面为「局部为真」提供形式化保证。

foundry 的七个组成要素

一个具体的 foundry 由以下要素刻画：

• 局部上下文的一个覆盖（cover of local contexts）
• 局部表示族（local representation families）
• 限制映射（restriction maps）
• 粘合规则（gluing rules）
• 阻碍策略（obstruction policies）
• 更新义务（update obligations）
• 面向人类的视图（human-facing views）

论文给出了若干通用 foundry，例如「证据/论证」「操作决策」「制度/金融」「市场含义」「科学挑战」「研究纲领」「助手构建」以及「评估 harness」foundry，作为后续实例化的模板。

Universal Foundry Learning：左右 Kan 扩张的组合

ODYSSEY 把 foundry 的构造过程形式化为 Universal Foundry Learning（UFL）。其关键工具是 Kan 扩张：

• 左 Kan 扩张：将局部工件（local artifacts）「卷起」，生成候选 foundry
• 右 Kan 扩张：施加限制、粘合、阻碍与论证条件，作为晋升（promotion）的把关

通过这种左右扩张的组合，UFL 试图在数学上保证一个 foundry 既能覆盖异质来源，又满足「局部为真、可被粘合、可被外部审视」的约束。

FSQL 与 TICKET：查询与外部模型准入

在具体工程层面，ODYSSEY 提供了两个配套机制：

• Foundry SQL（FSQL）：一个小型、带类型的查询界面，用于切分已维护的 foundry 工件
• TICKET（Topos Integration using Causal Kan Extension Transformers）：对外部或预训练模型进行认证，决定其能否被纳入 ODYSSEY 的持久状态

这两者共同构成「可验证」与「可组合」之间的桥梁。

实现与教程安排

论文报告 ODYSSEY 已完整实现，并在多种具体 foundry 上完成测试，覆盖以下能力：

• 领域构造与工件回放
• sheaf 诊断
• 基于 Toulmin 论证与本地 LLM 的审视
• 残余阻碍（residual obstruction）账本
• TICKET 兼容的因果声明抽取

作者将在 ICML 2026 上以 2.5 小时教程形式系统介绍该框架，教程主页地址为 https://bit.ly/4ajS0nA。