[論文レビュー] 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型定理の抽象的代数的構造を、「Eilenberg型対応 = (有限)代数におけるBirkhoffの定理 + 双対性」というスローガンの下に統一すること。

提案手法

• ベース圏𝒟におけるエピ射を用いて、代入と同値関係について閉じた方程式のクラスとして、(擬)方程式論𝒯理論を形式化すること。
• 圏論的Birkhoffの定理を用いて、(擬)多様体の𝒯-代数と(擬)方程式論𝒯理論との間の一対一対応を確立すること。
• 𝒟から双対圏𝒞への双対性を構築し、𝒞上に双対コモノイドℬを構成し、Eilenberg-Moore圏への双対性の持ち上げを行うこと。
• 双対作用素を用いて、(擬)方程式論𝒯理論が(擬)共方程式ℬ理論に双対的に対応することを示すこと。
• (擬)共方程式ℬ理論が、言語理論における既知の「言語の多様体」の概念と一致することを検証すること。
• 例えば、SetおよびPoset上の自由モノイドモノイドに対してこの枠組みを適用し、構文的構造から共方程式がどのように生じるかを示すこと。

実験結果

リサーチクエスチョン

• RQ1 Birkhoffの定理を、モノイドを用いた圏論的枠組みで(有限)代数へどのように一般化できるか。
• RQ2 Eilenberg型対応における(擬)多様体の代数と(擬)多様体の言語の間の、正確な圏論的双対性は何か。
• RQ3 双対側における(擬)共方程式ℬ理論が、言語理論における標準的な「言語の多様体」にどのように対応するか。
• RQ4 抽象的Eilenberg型定理を証明する際に、構文的代数を避けられるか。この文脈における双対性の役割は何か。
• RQ5 (擬)方程式論𝒯理論とモノイド準同型の関係は何か。この関係を用いて、新たなEilenberg型対応を導出できるか。

主な発見

• 圏論的Birkhoffの定理が(有限)代数に対して確立され、(擬)多様体の𝒯-代数が(擬)方程式論𝒯理論と一対一に対応することが示された。
• (擬)方程式論𝒯理論の双対は(擬)共方程式ℬ理論であり、この双対性が(擬)多様体の𝒯-代数と(擬)共方程式ℬ理論との間の一対一対応を誘導する。
• 本フレームワークで特定された(擬)共方程式ℬ理論は、Eilenberg型対応における標準的な「言語の多様体」と完全に一致することが示された。
• このフレームワークにより、Eilenberg型対応が(有限)代数におけるBirkhoffの定理と圏論的双対性の組み合わせとして生じることを統一的に説明できるようになった。
• 構文的代数を用いずに、抽象的Eilenberg型対応を確立できるが、具体的な構成には依然として関連性がある。
• 本論文は、(擬)余多様体のℬ-コアルゲブラと(擬)方程式論𝒯理論との間の対応を示す、coEilenberg型対応の基礎を提供している。これは双対性をコアルゲブラ側へ拡張したものである。