[논문 리뷰] Constructing symmetric monoidal bicategories

Michael Shulman|arXiv (Cornell University)|2010. 04. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 72

한 줄 요약

이 논문은 모든 1차 사상에 대해 동반자와 쌍반자(Conjoints)가 존재하는 조건을 만족하는 대칭 모나드 이중 범주에서 대칭 모나드 이중 범주를 체계적으로 구성하는 방법을 제시한다. 핵심 결과는 모나드 이중 범주가 비틀림 조건을 만족할 경우, 그 기저가 되는 범주가 자연스러운 올림프로세스를 통해 모나드, 브레이드, 대칭 모나드의 구조를 유지함을 보여주며, 실무에서 검증을 크게 단순화시킨다.

ABSTRACT

We present a method of constructing symmetric monoidal bicategories from symmetric monoidal double categories that satisfy a lifting condition. Such symmetric monoidal double categories frequently occur in nature, so the method is widely applicable, though not universally so.

연구 동기 및 목표

• 복잡한 조율 조건으로 인해 검증이 어려운 대칭 모나드 이중 범주를 실용적으로 구성하기 위한 방법을 제공하는 것.
• 이중 범주가 더 구조화된 구조를 지닐 경우, 이중 범주에서의 모나드 및 대칭 모나드 구조의 검증 문제를 해결하기 위한 접근.
• 예시로 사용된 강화된 프로파일라트로프나 코버디즘 범주 등에서 암묵적으로 사용된 구성 기법을 형식화하고 일반화하는 것.
• 비틀림 조건을 만족하는 모나드 이중 범주에서 그 기저가 되는 이중 범주로의 함자적 올림프로세스를 수립하고, 이 과정에서 모나드, 브레이드, 대칭 구조를 유지하는 것.
• 이 구성 방법이 둘레, 대수, 모듈 등 자연스럽게 나타나는 대칭 모나드 이중 범주에 광범위하게 적용될 수 있음을 보여주는 것.

제안 방법

• 약한 합성과 조율 동형사상이 표준 공리계를 만족하는 Cat 내부 범주로서 대칭 모나드 이중 범주를 정의한다.
• 모든 수평 1차 사상에 대해 동반자와 쌍반자가 존재하는 조건을 도입함으로써 비틀림 조건을 정의하고, 이는 이중 범주에서 기저 이중 범주로의 구조 전이를 보장한다.
• D와 동일한 0-세포와 1-세포를 가지며, 2-세포의 올림프를 동반자와 쌍반자를 사용해 정의함으로써 기저 이중 범주 H(D)를 구성한다.
• H(D)의 결합법칙, 항등원, 조율 동형사상이 D의 것들로부터 동반자 및 쌍반자 구조를 통해 유도됨을 증명함으로써, 이중 범주 공리계가 만족됨을 보장한다.
• D에서의 브레이드 및 대칭 동형사상의 올림프를 통해 브레이드 및 대칭 모나드 이중 범주로의 확장을 도입하고, 동반자의 유일성으로 인해 조율 공리계가 검증됨을 보인다.
• H(D)의 모든 조율 다이어그램이 D0(0-세포의 범주)의 다이어그램과 유일한 θ-동형사상으로 동치임을 이용하여, 조율성이 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 더 구조화된 이중 범주에서 대칭 모나드 이중 범주를 체계적으로 구성할 수 있는 방법은 무엇인가?
• RQ2 대칭 모나드 이중 범주가 어떤 조건을 만족할 경우, 그 기저 이중 범주가 대칭 모나드 구조를 상속할 수 있는가?
• RQ3 이중 범주에서 이중 범주로의 모나드 구조 올림프가 함자적이고 조율 가능한 방식은 어떤 의미인가?
• RQ4 왜 비틀림 조건—특히 동반자와 쌍반자의 존재—는 이 올림프 구성에 필수적이고 충분한가?
• RQ5 이 방법은 고차원 (n×k)-범주와 그 기저 (n+k)-범주로의 일반화가 어느 정도 가능할 수 있는가?

주요 결과

• D가 비틀림 조건을 만족하는 모나드 이중 범주이면, 그 기저 이중 범주 H(D)는 동반자와 쌍반자를 통한 올림프로 유도된 모나드 이중 범주가 된다.
• D가 브레이드 구조를 지닐 경우, 유도된 이중 범주 H(D)는 브레이드 모나드 이중 범주로 되며, 브레이드는 정리 4.6에 의해 D의 브레이드를 올림프하여 유도된다.
• D가 대칭일 경우, H(D)는 대칭 모나드 이중 범주가 되며, H(D)의 대칭 동형사상은 A⊗B에 대한 항등사상의 동반자 간의 θ-동형사상으로 구성된다.
• H(D)의 모나드 이중 범주 구조에 대한 조율 공리계는, H(D)의 모든 관련 풀링 다이어그램이 유일한 θ-동형사상으로 D0의 다이어그램과 동치이므로 만족된다.
• 이 구성은 고차 대칭성을 유지한다: H(D)의 실레프시스 및 대칭 공리계는 D의 브레이드가 스스로의 역함수임과 동반자의 유일성에서 유도된다.
• 이 방법은 교환 법칙을 따르는 링, 대수, 모듈의 이중 범주 또는 콫포르멀 넷과 같은 자연스러운 예시에 광범위하게 적용되며, 이는 모두 올림프 과정을 거쳐 대칭 모나드 트라이카테고리가 된다.