[논문 리뷰] Actegories for the Working Amthematician

Matteo Capucci, Bruno Gavranović|arXiv (Cornell University)|2022. 03. 30.

semigroups and automata theory인용 수 5

한 줄 요약

이 논문은 단순 카테고리 이론과 응용 카테고리 이론의 문헌에서 빈곤한 부분을 메우며, 단순 카테고리의 작용을 다루는 actegory에 대한 종합적이고 접근하기 쉬운 참고자료를 제공한다. 단순, 브레이드된 단순, 대칭 단순 actegory에 대한 통합된 정의를 도입하고, 그들의 텐서 곱과 호모트로프-텐서 수반관계를 수립하며, 이러한 구조에 대한 세 가지 카일리 유사 분류 정리를 제시하여 사이버네틱스, 광학, 계산적 효과 분야에 기초가 되는 도구를 제공한다.

ABSTRACT

Actions of monoidal categories on categories, also known as actegories, have been familiar to category theorists for a long time, and yet a comprehensive overview of this topic seems to be missing from the literature. Recently, actegories have been increasingly employed in applied category theory, thereby encouraging an effort to fill this gap according to the new needs of these applications. This work started as an investigation of the notion of monoidal actegory, a compatible pair of monoidal and actegorical structures, and ended up including a sizable reference on the elementary theory of actegories. We cover basic definitions and results on actegories and biactegories, spelling out explicitly many folkloric definitions, including their tensor product and their hom-tensor adjunction. We give new definitions of actegories with monoidal, braided monoidal and symmetric monoidal structure. In the last section, we provide three Cayley-like classification results for these structures.

연구 동기 및 목표

• 응용 및 순수 카테고리 이론에서 점점 더 널리 사용되고 있는 기초 개념인 actegory에 대한 체계적이고 접근 가능한 개요를 제공하기 위해.
• actegory 및 바이액티그러이의 문헌에서 오랫동안 암묵적으로 사용되어 온 용어의 불일치를 해결하고 정의를 명확히 하기 위해.
• 단순 카테고리와 actegorical 구조 간의 상호작용을 형식화하고, 단순, 브레이드된 단순, 대칭 단순 actegory에 대한 새로운 정의를 도입하기 위해.
• 카테고리 기반 사이버네틱스, 광학, 계산적 효과 분야에 대한 이론적 기반을 마련하기 위해 세 가지 카일리 유사 분류 결과를 증명하기 위해.

제안 방법

• 단순 카테고리의 작용으로서 actegory의 정의를 도입하고, 명시적인 일관성 동형사상(은행형)을 제공한다.
• actegory 간의 텐서 곱을 정의하고, actegorical 구조의 맥락에서 호모트로프-텐서 수반관계를 수립한다.
• 단순, 브레이드된 단순, 대칭 단순 actegory에 대한 새로운 정의를 제안하여 단순 카테고리 작용의 개념을 일반화한다.
• 표현 가능 함의와 요나다 스타일 임bedding을 활용하여 actegory에 대한 카일리 유사 분류 정리를 유도한다.
• 스트링 다이어그램과 2-카테고리 도구를 사용하여 actegorical 구조를 시각화하고 추론하며, 특히 광학과 계산적 효과의 맥락에서 이를 적용한다.
• 핵심 정의와 결과의 수학적 엄밀성을 보장하기 위해 애피디녹스에 전체 증명 세트를 제공한다.

실험 결과

연구 질문

• RQ1 기존 문헌에서 일관되지 않은 용어가 존재하는 바, actegory는 어떻게 체계적으로 정의하고 분류할 수 있으며, 이를 통해 기존 용어의 불일치를 통합할 수 있는가?
• RQ2 단순 카테고리와 actegorical 구조 간의 상호작용에 적합한 카테고리적 구조는 무엇이며, 이를 어떻게 형식화할 수 있는가?
• RQ3 텐서 곱과 호모트로프-텐서 수반관계는 actegory의 맥락에서 어떻게 행동하며, 그 구조적 성질은 무엇인가?
• RQ4 카일리 유사 정리는 actegory로 일반화될 수 있으며, 만약 그렇다면 무엇을 분류하는가?
• RQ5 이러한 정의와 정리들은 광학, 사이버네틱스, 계산적 효과 분야에 어떤 영향을 미치는가?

주요 결과

• 논문은 actegory의 텐서 곱과 호모트로프-텐서 수반관계를 포함하여, 기존 문헌에서 오랫동안 애매하게 여겨졌던 부분을 완전하고 일관된 형식으로 정의하였다.
• 단순, 브레이드된 단순, 대칭 단순 actegory에 대한 새로운 정의를 도입하여, 고차원 카테고리 작용을 위한 체계적인 프레임워크를 제공하였다.
• 세 가지 카일리 유사 분류 정리를 증명하여, 일부 actegory는 단일 객체에 대한 작용으로부터 완전히 재구성될 수 있음을 보였다. 이는 고전적 표현 정리의 일반화이다.
• 이 작업은 actegory가 현대 응용 카테고리 이론의 핵심 구성요소인 광학과 동적 시스템의 수학적 기초가 되며, 이를 뒷받침함을 입증하였다.
• 이론은 구체적 영역에 적용 가능하다. 이는 혼합 광학의 의미론, 메시지 전달 동시성, 그리고 다이내믹 카테고리를 통한 영구 호모로피의 기초를 제공한다.
• 애피디녹스는 전체 증명 세트를 제공하여 결과들이 수학적으로 엄밀하고 향후 카테고리 이론 및 그 응용 분야의 발전에 적합함을 보장한다.