[논문 리뷰] Braided skew monoidal categories

John Bourke, Stephen Lack|arXiv (Cornell University)|2017. 12. 22.

Algebraic structures and combinatorial models참고 문헌 16인용 수 3

한 줄 요약

이 논문은 결합 구조가 일반적으로 가역적이지 않은 스케일 모나드 카테고리에 대해 새로운 브레이딩의 개념을 도입한다. 이는 (AB)C → (AC)B를 만족하는 가역적인 자연 변환으로 정의되며, 조건화 공리도 수반한다. 또한, 병합 대칭 대수 B로부터 유도된 스케일 모나드 카테고리 Vect[B]에서의 브레이딩은 B의 코브레이딩(coquasitriangular 구조)과 일대일 대응됨을 증명한다. 이는 2-카테고리 이론과 병합 대수 이론의 예를 통합하는 공통 프레임워크를 제공한다.

ABSTRACT

We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known as coquasitriangular structures) on bialgebras. Using a multicategorical approach we also describe examples of braidings on skew monoidal categories arising from 2-category theory.

연구 동기 및 목표

• 모나드 카테고리에서의 고전적 브레이딩 개념을, 결합 및 단위 구조가 일반적으로 가역적이지 않은 스케일 모나드 카테고리로 일반화하는 것.
• 스케일 모나드 카테고리에서 AB와 BA가 등장하지 않기 때문에, 브레이딩을 세 개의 객체로 재정의함으로써 문제를 해결하는 것: (AB)C → (AC)B.
• 2-카테고리적 구조(예: FProd_s)와 병합 대수를 포함한 두 주요 예시 클래스를 공통의 브레이딩 프레임워크로 통합하는 것.
• 병합 대수 B에서 유도된 스케일 모나드 카테고리에서의 브레이딩과 B 자체의 코쿼시트리앙터럴(coquasitriangular) (코브레이딩) 구조 사이의 정확한 대응관계를 설정하는 것.

제안 방법

• 스케일 모나드 카테고리에서의 브레이딩을 (AB)C → (AC)B로 가역적인 자연 변환 s로 정의하고, 다섯 개의 조건화 공리를 만족시키는 것으로 한다.
• 특히 스케일 모나드 구조를 가진 FProd_s(유한 강한 곱을 가진 카테고리의 2-카테고리)를 모델링하기 위해 다중카테고리적 접근법을 사용한다.
• 브레이딩이 [A,[B,C]] → [B,[A,C]]의 등장사상으로 표현되는 브랜치된 스케일 닫힘 카테고리의 개념을 도입하여, 고전적 대칭 닫힘 카테고리 설정을 일반화한다.
• 모나드 카테고리 C에서의 모나드 코모나드 G에 의해 유도된, G-코알구체 C^G의 브레이딩과 G에 의해 유도된 스케일 모나드 카테고리 C[G]의 브레이딩 사이의 대응관계를 설정한다.
• 병합 대수 B에 대해, Vect[B]의 스케일 모나드 카테고리에서의 브레이딩(여기서 X⋆Y = X⊗B⊗Y)은 B의 코쿼시트리앙터럴(coquasitriangular, 코브레이딩) 구조와 일대일 대응됨을 증명한다.
• 브랜치된 스케일 다중카테고리에서의 표현 가능성 조건을 이용해, 브랜치된 스케일 모나드 카테고리로의 구조를 올리며, 2-카테고리적 환경에서의 브레이딩 생성을 가능하게 한다.

실험 결과

연구 질문

• RQ1 표준적인 두 객체 브레이딩 AB → BA가 가역성 구조의 비가역성으로 인해 실패하는 스케일 모나드 카테고리에서, 어떻게 브레이딩 개념을 일반화할 수 있는가?
• RQ2 2-카테고리적 예인 FProd_s에서 (AB)C와 (AC)B는 등장하지만 AB와 BA는 등장하지 않는 상황을 포괄하는 올바른 삼항 브레이딩 일반화는 무엇인가?
• RQ3 병합 대수에서 유도된 스케일 모나드 카테고리에서의 브레이딩과 병합 대수 자체의 대수적 구조 사이에 구조적 대응관계가 존재하는가?
• RQ4 다중카테고리적 프레임워크를 사용하여 2-카테고리적 구성에서 체계적으로 브랜치된 스케일 모나드 카테고리적 구조를 유도할 수 있는가?
• RQ5 모나드 코모나드의 코알구체 카테고리에서의 브레이딩과 그에 의해 유도된 스케일 모나드 카테고리에서의 브레이딩 사이의 정확한 관계는 무엇인가?

주요 결과

• 논문은 병합 대수 B로부터 유도된 스케일 모나드 카테고리 Vect[B]에서의 브레이딩과 B의 코쿼시트리앙터럴(coquasitriangular, 코브레이딩) 구조 사이의 일대일 대응을 확립하여, 구조적 분류를 제공한다.
• 모나드 카테고리 C에서의 모나드 코모나드 G에 대해, G-코알구체 C^G의 브레이딩과 G에 의해 유도된 스케일 모나드 카테고리 C[G]의 브레이딩 사이에 일대일 대응관계가 존재한다.
• 2-카테고리적 예인 FProd_s는 브랜치된 스케일 모나드 카테고리적 구조를 갖는다. 이는 브랜치된 스케일 다중카테고리에서의 표현 가능성 조건에 의해 유도되며, 다중카테고리적 접근법의 유용성을 보여준다.
• 제안된 스케일 모나드 카테고리에서의 브레이딩은 고전적 개념을 일반화한다. 만약 기초가 되는 스케일 모나드 카테고리가 실제로 모나드(즉, 모든 구조 사상이 가역적)라면, 새로운 정의는 표준 브레이딩으로 축소된다.
• 2-카테고리적 환경에서의 브레이딩 생성 과정이 FProd의 모나드 2-카테고리적 구조와 호환됨을 보여주며, FProd_s의 스케일 모나드 카테고리가 전체 모나드 2-카테고리적 구조를 캡슐화하고 있음을 보여준다.
• 논문은 브레이딩에 대한 공리들이 주어진 다중카테고리 프레임워크 내에서의 복합 규칙에 대해 일관되고 닫혀 있음을 증명하며, 내부의 조화를 보장한다.