[논문 리뷰] Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality

Julian Salamanca|arXiv (Cornell University)|2017. 02. 09.

Advanced Algebra and Logic참고 문헌 9인용 수 9

한 줄 요약

이 논문은 (유한) 대수에 대한 모나드 𝒯와 쌍대 코모나드 ℬ에 대한 비르호프 정리와 쌍대성을 통해 아이л렌버그 유형의 대응관계를 통합하는 범주론적 프레임워크를 수립한다. 이는 (유한) 대수에 대한 (유사)변주류가 모나드 𝒯에 대한 (유사)등식 이론과 일대일로 대응됨을 증명하며, 아이ل렌버그 유형의 대응관계가 본질적으로 비르호프 정리와 쌍대성에 뿌리를 두고 있음을 드러낸다.

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.

연구 동기 및 목표

• 모나드와 등식 이론을 사용하여 (유한) 대수에 대한 비르호프 정리의 범주론적 일반화를 수립하기.
• 약간의 조건 하에 (유사)변주류 𝒯-대수와 (유사)등식 이론 𝒯-이론 사이의 정확한 일대일 대응을 보여주기.
• 카테고리 𝒟와 𝒞 사이의 쌍대성을 활용하여, 이 대응관계를 쌍대 측면의 (유사)등식 이론 ℬ-이론으로 확장하기.
• 이러한 (유사)등식 이론 ℬ-이론이 아이르렌버그 유형의 대응관계에서 나타나는 '언어의 변주류'와 정확히 일치함을 보여주기.
• 아이르렌버그 유형 정리의 추상적 대칭을 '아이르렌버그 유형의 대응관계 = (유한) 대수에 대한 비르호프 정리 + 쌍대성'이라는 슬로건 아래 통합하기.

제안 방법

• 기본 카테고리 𝒟에서의 전성 사상들을 사용하여, 치환과 동치관계에 대해 닫혀 있는 등식의 집합으로서 (유사)등식 이론 𝒯-이론을 형식화하기.
• 범주론적 비르호프 정리를 통해 (유사)변주류 𝒯-대수와 (유사)등식 이론 𝒯-이론 사이의 일대일 대응를 수립하기.
• 𝒟에서 𝒞로의 쌍대 카테고리 구조를 설정하고, 𝒞 위에 쌍대 모나드 ℬ를 구성하며, 이로 인해 아이르렌버그-무어 카테고리로의 쌍대성 확장하기.
• 쌍대 연산자를 통해 (유사)등식 이론 𝒯-이론이 (유사)등식 이론 ℬ-이론과 쌍대적으로 대응됨을 보여주기.
• (유사)등식 이론 ℬ-이론이 언어 이론에서 알려진 '언어의 변주류' 개념과 일치함을 검증하기.
• 예시로 집합(Set)과 순서집합(Poset) 위의 자유 모노이드 모나드를 적용하여, 등식 이론이 문법적 구조에서 어떻게 유도되는지 보여주기.

실험 결과

연구 질문

• RQ1 모나드를 사용한 범주론적 프레임워크에서 (유한) 대수에 대한 비르호프 정리를 어떻게 일반화할 수 있는가?
• RQ2 아이르렌버그 유형의 대응관계가 (유사)변주류 대수와 (유사)언어의 변주류 사이에 존재하는 정확한 범주론적 쌍대성은 무엇인가?
• RQ3 쌍대 측면의 (유사)등식 이론 ℬ-이론은 언어 이론에서의 표준적인 '언어의 변주류' 개념과 어떻게 대응되는가?
• RQ4 추상적인 아이르렌버그 유형 정리를 증명할 때 문법적 대수를 피할 수 있으며, 이 경우 쌍대성의 역할은 무엇인가?
• RQ5 (유사)등식 이론 𝒯-이론과 모나드 사상 사이의 관계는 무엇이며, 이를 통해 새로운 아이르렌버그 유형의 대응관계를 유도할 수 있는가?

주요 결과

• 유한 대수에 대한 범주론적 비르호프 정리가 수립되었으며, 이는 (유사)변주류 𝒯-대수가 (유사)등식 이론 𝒯-이론과 일대일로 대응됨을 보여준다.
• 유한 대수에 대한 (유사)등식 이론 𝒯-이론의 쌍대는 (유사)등식 이론 ℬ-이론이며, 이 쌍대성은 (유사)변주류 𝒯-대수와 (유사)등식 이론 ℬ-이론 사이의 일대일 대응을 유도한다.
• 이 프레임워크에서 규명된 (유사)등식 이론 ℬ-이론은 아이르렌버그 유형의 대응관계에서 알려진 표준적인 '언어의 변주류'와 정확히 일치함을 입증하였다.
• 이 프레임워크는 아이르렌버그 유형의 대응관계가 (유한) 대수에 대한 비르호프 정리와 범주론적 쌍대성의 조합에서 유래됨을 통합적으로 보여준다.
• 구체적 구성에서는 필요로 하지 않지만, 추상적인 아이르렌버그 유형의 대응관계를 수립하는 데 있어 문법적 대수는 필요하지 않다.
• 논문은 (유사)코대수의 (유사)코변주류가 (유사)등식 이론 𝒯-이론과 대응됨을 보여주는 coEilenberg 유형의 대응관계를 위한 기초를 제공하며, 이 쌍대성을 코대수 측면으로까지 확장한다.