[论文解读] Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality

Julian Salamanca|arXiv (Cornell University)|Feb 9, 2017

Advanced Algebra and Logic参考文献 9被引用 9

一句话总结

本文建立了一种类别框架，通过单子 𝒯 的 Birkhoff 定理与对偶性，统一了 Eilenberg 型对应关系。证明了单子 𝒯-代数的（伪）簇与对偶余单子 ℬ 的（伪）余方程理论之间存在一一对应，揭示了 Eilenberg 型对应关系本质上根植于 Birkhoff 定理与对偶性。

ABSTRACT

The purpose of the present paper is to show that: Eilenberg-type correspondences = Birkhoff's theorem for (finite) algebras + duality. We consider algebras for a monad T on a category D and we study (pseudo)varieties of T-algebras. Pseudovarieties of algebras are also known in the literature as varieties of finite algebras. Two well-known theorems that characterize varieties and pseudovarieties of algebras play an important role here: Birkhoff's theorem and Birkhoff's theorem for finite algebras, the latter also known as Reiterman's theorem. We prove, under mild assumptions, a categorical version of Birkhoff's theorem for (finite) algebras to establish a one-to-one correspondence between (pseudo)varieties of T-algebras and (pseudo)equational T-theories. Now, if C is a category that is dual to D and B is the comonad on C that is the dual of T, we get a one-to-one correspondence between (pseudo)equational T-theories and their dual, (pseudo)coequational B-theories. Particular instances of (pseudo)coequational B-theories have been already studied in language theory under the name of "varieties of languages" to establish Eilenberg-type correspondences. All in all, we get a one-to-one correspondence between (pseudo)varieties of T-algebras and (pseudo)coequational B-theories, which will be shown to be exactly the nature of Eilenberg-type correspondences.

研究动机与目标

• 通过单子与方程理论，在类别框架中建立 Birkhoff 定理在（有限）代数上的推广。
• 在温和假设下，证明 𝒯-代数的（伪）簇与（伪）方程 𝒯-理论之间存在精确的一一对应。
• 利用范畴 𝒟 与 𝒞 之间的对偶性，将该对应关系提升至对偶侧的（伪）余方程 ℬ-理论。
• 证明这些（伪）余方程 ℬ-理论恰好是 Eilenberg 型对应关系中出现的“语言簇”。
• 在口号“Eilenberg 型对应关系 = Birkhoff 定理在（有限）代数上 + 对偶性”的框架下，统一 Eilenberg 型定理的抽象代数结构。

提出的方法

• 将（伪）方程 𝒯-理论形式化为在基范畴 𝒟 中对替换与同余封闭的方程类，使用满射态射。
• 通过范畴 Birkhoff 定理，在（伪）𝒯-代数簇与（伪）方程 𝒯-理论之间建立一一对应。
• 利用从 𝒞 到 𝒟 的对偶范畴，构造 𝒞 上的对偶余单子 ℬ，将对偶性提升至 Eilenberg-Moore 范畴。
• 通过对偶算子，证明（伪）方程 𝒯-理论与（伪）余方程 ℬ-理论之间存在对偶的一一对应。
• 验证（伪）余方程 ℬ-理论与语言理论中已知的“语言簇”概念一致。
• 将该框架应用于示例，如集合范畴 Set 与偏序集范畴 Poset 上的自由幺半群单子，展示余方程如何从句法结构中自然产生。

实验结果

研究问题

• RQ1 如何在单子的类别框架下，将 Birkhoff 定理在（有限）代数上的结果推广？
• RQ2 Eilenberg 型对应关系中（伪）代数簇与（伪）语言簇之间的精确类别对偶性是什么？
• RQ3 对偶侧的（伪）余方程 ℬ-理论如何与语言理论中的标准“语言簇”相对应？
• RQ4 在证明抽象 Eilenberg 型定理时，是否可以避免使用句法代数？对偶性在此情境中扮演何种角色？
• RQ5 （伪）方程 𝒯-理论与单子态射之间存在何种关系？该关系如何用于推导新的 Eilenberg 型对应？

主要发现

• 建立了（有限）代数上 Birkhoff 定理的类别版本，证明（伪）𝒯-代数簇与（伪）方程 𝒯-理论之间存在一一对应。
• （伪）方程 𝒯-理论的对偶是（伪）余方程 ℬ-理论，且该对偶性诱导出（伪）𝒯-代数簇与（伪）余方程 ℬ-理论之间的一一对应。
• 该框架中识别出的（伪）余方程 ℬ-理论被证明与 Eilenberg 型对应关系中的标准“语言簇”完全一致。
• 该框架将 Eilenberg 型对应关系统一为 Birkhoff 定理在（有限）代数上与范畴论对偶性的结合结果。
• 虽然句法代数并非建立抽象 Eilenberg 型对应关系的必要条件，但它们在具体构造中仍具相关性。
• 本文为 coEilenberg 型对应关系奠定了基础，其中 ℬ-余代数的（伪）余簇与（伪）方程 𝒯-理论一一对应，将对偶性扩展至余代数侧。