[论文解读] Varieties of Languages in a Category

Jiřı́ Adámek, Stefan Milius+2 more|arXiv (Cornell University)|Jan 21, 2015

semigroups and automata theory参考文献 1被引用 11

一句话总结

本文将埃伦伯格的种类定理推广至一个抽象范畴论框架，建立了在范畴 𝒞 中的语言种类与在对偶封闭张量范畴 𝒟 中的伪种类单射对应关系，前提是 𝒞 和 𝒟 在有限对象上互为预对偶。其核心贡献在于提供了一个统一的范畴基础，涵盖埃伦伯格原始定理及其在有序幺半群、幂等半环和有限域上代数的变体，同时为带零的幺半群推导出一种新的对应关系。

ABSTRACT

Eilenberg's variety theorem, a centerpiece of algebraic automata theory, establishes a bijective correspondence between varieties of languages and pseudovarieties of monoids. In the present paper this result is generalized to an abstract pair of algebraic categories: we introduce varieties of languages in a category C, and prove that they correspond to pseudovarieties of monoids in a closed monoidal category D, provided that C and D are dual on the level of finite objects. By suitable choices of these categories our result uniformly covers Eilenberg's theorem and three variants due to Pin, Polak and Reutenauer, respectively, and yields new Eilenberg-type correspondences.

研究动机与目标

• 在单一抽象范畴框架下统一埃伦伯格种类定理及其已知变体（Pin、Polák、Reutenauer）。
• 在对偶范畴之间建立语言种类与幺半群伪种类之间的一般性对应关系。
• 通过范畴对偶性，将埃伦伯格型定理的适用范围扩展至新代数结构，如带零的幺半群。
• 利用有理不动点与自函子，为正则语言与行为提供余代数基础。
• 为将拟正则构造与短语幺半群推广至任意预对偶范畴对 (𝒞, 𝒟) 奠定基础。

提出的方法

• 将确定性 Σ-自动机建模为局部有限种类 𝒞 上的自函子 TΣ 的余代数 TΣQ → Q。
• 将有理不动点 ϱTΣ 定义为终端局部有限 TΣ-余代数，代表 Σ 上所有正则语言的完整集合。
• 构造一个反变函子 ϱT: Set_f^op → 𝒞，将每个有限字母表 Σ 映射到 ϱTΣ，并将替换 h:Δ→Σ 映射为逆像态射 ϱTΣ → ϱTΔ。
• 将语言种类表征为子函子 V ⊆ ϱT，其在逆像与导数（左/右）下封闭，推广了布尔运算与同态下的封闭性。
• 在范畴 𝒞 与 𝒟 之间建立对偶性，使得 𝒞 与 𝒟 中的有限代数对偶等价，从而实现语言种类与幺半群伪种类之间的对应关系。
• 利用 𝒟 上的封闭张量结构定义 𝒟-幺半群，并证明这些伪种类与 𝒞 中行为种类之间存在双射对应。

实验结果

研究问题

• RQ1 能否通过范畴论将埃伦伯格种类定理推广至经典幺半群以外的其他代数结构？
• RQ2 如何在余代数与范畴论框架下统一捕捉语言种类的封闭性质（如布尔运算、导数、逆像）？
• RQ3 对偶范畴对 (𝒞, 𝒟) 需满足何种条件，才能在 𝒞 中的语言种类与 𝒟-幺半群的伪种类之间建立双射对应？
• RQ4 已知的埃伦伯格定理变体（如针对有序幺半群、幂等半环及有限域上代数的版本）能否作为单一范畴构造的特例推导而出？
• RQ5 该通用框架下会涌现出哪些新的埃伦伯格型对应关系，例如针对带零幺半群或其他代数系统？

主要发现

• 本文建立了通用的埃伦伯格型对应关系：在 𝒞 与 𝒟 预对偶的假设下，𝒞 中行为种类的格同构于 𝒟-幺半群伪种类的格。
• 当 𝒞 = 布尔代数 且 𝒟 = 集合时，埃伦伯格原始定理作为特例出现，此时 𝒟-幺半群即为普通幺半群。
• 当 𝒞 = 含 0,1 的分配格 且 𝒟 = 偏序集 时，Pin 关于正种类语言与有序幺半群伪种类的结果被恢复。
• 当 𝒞 = 含 0 的并-半格 且 𝒟 = 𝒞（自预对偶）时，Polák 关于析取种类与幂等半环伪种类的结果被获得，此时 𝒟-幺半群为幂等半环。
• 当 𝒞 = 𝒟 = 𝕂-向量空间 时，Reutenauer 关于有理形式幂级数与有限域 𝕂 上代数的对应关系被恢复，此时 𝒟-幺半群为 𝕂-代数。
• 当 𝒞 = 非单位布尔环 且 𝒟 = 带点集合 时，本文推导出关于带零幺半群的新埃伦伯格型对应关系，此时 𝒟-幺半群为带零幺半群。