用范畴论构建分层学习框架,统一模型、认知与环境交互。
Working Paper: Towards Schema-based Learning from a Category-Theoretic Perspective

- 以范畴论为基础,建立从语法到语义的多层级学习架构。
- 将心智模块化为带接口的流程,支持可组合的认知操作。
- 适合对形式化认知系统、数学建模感兴趣的科研人员。
我们提出一个分层范畴框架,用于结构化基于模式的学习(SBL),包含四个相互关联的层级。在模式层级,自由多重范畴 $Sch_{syn}$ 编码基本模式及其变换;实现函子 $\ extcal{I}$ 将语法模式映射到表示语言,通过格罗滕迪克构造生成总范畴 $Sch_{impl}$。实施后的模式由函子 $Model$ 映射至吉里单子的克莱斯利范畴 $\mathbf{KL(G)}$,生成概率模型,实例空间由预层 $\text{Instances}$ 分配。语义范畴 $Sch_{sem}$ 定义为 $\mathbf{KL(G)}$ 的全子范畴,通过从 $Sch_{impl}$ 到 $Sch_{sem}$ 的解释函子提供语义基础。在代理层级,$Sch_{impl}$ 配备双幺半群结构 $\mathcal{O}_{Sch}$,支持基于模式的工作流;其左双幺半群作用于 $Mind$ 类别,实现对心理对象的执行,包括心理空间、预测模型和由记忆与认知模块组成的认知内核。每个模块由模式类型接口、双幺半群工作流、成功条件及逻辑签名定义。记忆通过记忆子系统、预层 $Data_M$、幺半群运算类别 $Ops_M$ 及读写自然变换进行范畴化表达。结合 $Body$ 类别,$Mind$ 构成具身化 SBL 代理。在更高层级,SBL 被表示为代理架构范畴 $ArchCat$ 中的对象,实现与异构范式的比较;$World$ 范畴则建模多智能体及智能体-环境交互。整体框架形成弱分层 $n$-范畴结构,连接模式语义、认知、具身性、架构抽象与世界级交互。
原文摘要 · Abstract (English)
We introduce a hierarchical categorical framework for Schema-Based Learning (SBL) structured across four interconnected levels. At the schema level, a free multicategory $Sch_{syn}$ encodes fundamental schemas and transformations. An implementation functor $\mathcal{I}$ maps syntactic schemas to representational languages, inducing via the Grothendieck construction the total category $Sch_{impl}$. Implemented schemas are mapped by a functor $Model$ into the Kleisli category $\mathbf{KL(G)}$ of the Giry monad, yielding probabilistic models, while an instances presheaf assigns evaluated instance spaces. A semantic category $Sch_{sem}$, defined as a full subcategory of $\mathbf{KL(G)}$, provides semantic grounding through an interpretation functor from $Sch_{impl}$. At the agent level, $Sch_{impl}$ is equipped with a duoidal structure $\mathcal{O}_{Sch}$ supporting schema-based workflows. A left duoidal action on the category $Mind$ enables workflow execution over mental objects, whose components include mental spaces, predictive models, and a cognitive kernel composed of memory and cognitive modules. Each module is specified by schema-typed interfaces, duoidal workflows, a success condition, and a logical signature. Memory is formalized categorically via memory subsystems, a presheaf $Data_M$, a monoidal operation category $Ops_M$, and read/write natural transformations. Together with the $Body$ category, Mind defines the embodied SBL agent. At higher levels, SBL is represented as an object of the agent architecture category $ArchCat$, enabling comparison with heterogeneous paradigms, while the $World$ category models multi-agent and agent-environment interactions. Altogether, the framework forms a weak hierarchical $n$-categorical structure linking schema semantics, cognition, embodiment, architectural abstraction, and world-level interaction.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。