[논문 리뷰] Algebraic theories in monoidal categories

Luca Mauri|arXiv (Cornell University)|2017. 05. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 term 계산법에서의 구조적 규칙을 분석하여 대수적 이론에 대한 모나이드 의미론을 제안하며, 고전적 의미론을 카르테시안 범주로 일반화하고, 집합 위에서의 오르페오드와 다중카테고리들을 통합한다. 이를 통해 분류 범주 위의 모나이드 함자를 통해 모델을 수립함으로써, 모나이드 맥락 내에서 다양한 대수적 구조를 일관되게 다룰 수 있는 프레임워크를 제공한다.

ABSTRACT

We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that generalises the usual definition in sets; and from a category-theoretical point of view, as monoidal functors on suitable classifying categories. The semantics obtained includes as special cases both the semantics of ordinary algebraic theories in Cartesian categories, and the semantics of operads and multicategories over sets.

연구 동기 및 목표

• 카르테시안 설정을 초월하여 모나이드 범주 내에서 대수적 이론에 대한 통합된 의미론을 개발하는 것.
• 집합 위에서의 표준적인 대수적 이론 정의를 모나이드 프레임워크로 일반화하는 것.
• 모델을 분류 범주 위의 모나이드 함수로 체계적으로 기술하는 범주론적 특성화를 제공하는 것.
• 일반적인 대수적 이론과 오르페오드, 다중카테고리와 같은 구조를 제안된 의미론의 특수한 경우로 포함시키는 것.

제안 방법

• 대수적 언어의 term 계산법에서의 구조적 규칙을 분석하여 모나이드 의미론의 기초 원리를 규명하는 것.
• 모나이드 범주 위에서 일반화된 대수적 구조의 개념을 명시적으로 정의하는 것.
• 적절한 분류 범주에서 목표 모나이드 범주로의 모나이드 함수로서 모델을 범주론적으로 기술하는 것.
• 분류 범주 구축을 통해 모나이드 맥락 내에서 대수적 구조의 등식 이론을 표현하는 것.
• 의미론이 일반적인 카르테시안 의미론(일반적인 대수적 이론의 경우)과 다중카테고리 의미론(오르페오드의 경우)을 모두 복원함을 보이는 것.
• 모나이드 구조가 대수적 연산의 핵심 대칭성과 복합성 원리를 잘 포괄하고 있음을 보여주는 것.

실험 결과

연구 질문

• RQ1 어떻게 대수적 이론을 카르테시안 범주에서 일반적인 모나이드 범주로 자연스럽게 확장할 수 있는가?
• RQ2 대수적 이론에 대한 모나이드 의미론을 뒷받침하는 term 계산법의 구조적 규칙은 무엇인가?
• RQ3 분류 범주 위의 모나이드 함수가 비카르테시안 맥락에서 대수적 이론의 모델을 어떻게 포괄하는가?
• RQ4 제안된 의미론은 오르페오드와 다중카테고리의 의미론을 고전적 대수적 이론의 의미론과 어떻게 통합하는가?
• RQ5 대수적 이론의 분류 범주를 모나이드 맥락으로 일반화하기 위해 필요한 범주론적 구성은 무엇인가?

주요 결과

• 논문은 term 계산법에서의 구조적 규칙 분석을 통해 대수적 이론에 대한 모나이드 의미론을 성공적으로 정의하였으며, 고전적 의미론의 일관된 일반화를 제공한다.
• 대수적 이론의 모델은 정확히 분류 범주에서 목표 모나이드 범주로의 모나이드 함수로 특성화된다.
• 이 프레임워크는 카르테시안 범주 내에서의 일반적인 대수적 이론 의미론을 특수한 경우로 포함한다.
• 의미론은 오르페오드와 집합 위의 다중카테고리의 의미론도 포함하여 광범위한 통합 능력을 입증한다.
• 모나이드 맥락에서의 분류 범주 구축은 등식 이론이 모나이드 함수에 의해 보존됨을 보장한다.
• 이 접근은 공통의 모나이드 범주론적 기초를 통해 대수적 이론, 오르페오드, 다중카테고리를 공식적으로 연결한다.