[논문 리뷰] The monoidal structure of strictification

Nick Gurski|arXiv (Cornell University)|2013. 01. 25.

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

한 줄 요약

이 논문은 이원분류에서 2범주로의 엄격화 함자(stX × stY → st(X × Y))가 대칭 모나드임을 증명하며, 고차 범주론의 기초적 문제를 해결한다. 이는 그가 그레이 곱을 일관된 동형으로 유지함을 보여주기 때문이다. 주요 기여는 비교 사상 stX × stY → st(X × Y)가 대칭 모나드 구조의 일부임을 증명함으로써, 이전 문헌에서 잘못 기록된 립스 모나드 구조의 오류를 수정하는 것이다.

ABSTRACT

We study the monoidal structure of the standard strictification functor $ extrm{st}:\mathbf{Bicat} ightarrow \mathbf{2Cat}$. In doing so, we construct monoidal structures on the 2-category whose objects are bicategories and on the 2-category whose objects are 2-categories.

연구 동기 및 목표

• 엄격화 함자 st: Bicat → 2Cat가 립스 모나드임을 주장한 문헌의 모순을 해결하기 위해, 이는 그의 구조 사상이 자연적이지 않기 때문이다.
• 엄격화 함자 st: Bicat → 2Cat가 그레이 곱을 모나드 구조로 사용하여 대칭 모나드임을 증명하기 위해.
• 엄격화를 위한 수정된 일관된 모나드 구조를 제공함으로써, 삼범주에서의 고차원 일관성 정리에 필수적이다.
• 비교 사상 stX × stY → st(X × Y)가 역으로 가능한 수정과 일관성 동형으로 대칭 모나드 구조의 일부임을 보여주기 위해.
• 큐빅 삼범주에서 양선형 임bedding을 위한 엄격화의 사용을 지원하며, 삼범주와 그레이 범주 사이의 삼동치를 가능하게 하기 위해.

제안 방법

• 비교 사상 stX × stY → st(X × Y)를 2함수로 구성하여, 이가 엄격히 자연적이지 않고, 역으로 가능한 아이콘을 통해 자연적임을 보임.
• Cat-오플락스 모나드 구조의 구조 사상으로서 c_{AB}를 사용함.
• 비틀림을 시행하는 데 사용되는 역으로 가능한 수정 U를 정의함. 이는 이원분류 X × Y의 유일한 일관성 동형으로부터 유도됨.
• 비틀림 모나드 법칙의 붙임 다이어그램이 코유닛 e를 적용한 후에 동일해짐을 보여주어, 이는 이원분류의 일관성 정리에 기반함.
• 유일한 일관성 동형이 e 하에서 성립함을 이용하여 대칭 모나드 법칙을 확인함.
• 일반화된 구조를 삼범주로 확장하기 위해, 편의성 자연 변환과 일관성 세포의 맥락에서 이론을 해석함.

실험 결과

연구 질문

• RQ1 엄격화 함자 st: Bicat → 2Cat는 이전 문헌에서 주장한 바와 같이 립스 모나드인가?
• RQ2 그의 구조 사상이 엄격히 자연적이지 않기 때문에, 엄격화 함자가 실제로 어떤 종류의 모나드 구조를 지닌 것인가?
• RQ3 비교 사상 stX × stY → st(X × Y)는 역으로 가능한 수정을 통해 대칭 모나드 구조를 지닐 수 있는가?
• RQ4 엄격화 함자가 삼범주적 일관성 맥락에서 그레이 곱과 어떻게 상호작용하는가?
• RQ5 st에 대한 대칭 모나드 구조는 삼범주 수준으로 확장될 수 있으며, 특히 큐빅 삼범주의 구성에서 어떻게 작용하는가?

주요 결과

• 엄격화 함자 st: Bicat → 2Cat는 그의 구조 사상이 엄격히 자연적이지 않고, 역으로 가능한 아이콘을 통해 자연적이기 때문에, 일반적인 의미에서의 립스 모나드가 아니다.
• 정확한 구조는 비교 사상 stX × stY → st(X × Y)가 포함된 대칭 모나드 함자이다.
• 비틀림 수정 U는 이원분류 X × Y의 유일한 일관성 동형으로부터 유도되어, 역으로 가능하고 일관성이 보장된다.
• 비틀림 모나드 법칙의 붙임 다이어그램은 코유닛 e를 적용한 후에 동일해지며, 이는 이원분류의 일관성 정리에 기반함.
• 모든 관련 붙임 다이어그램이 교환됨을 보여줌으로써 st에 대한 대칭 모나드 구조가 확인되며, 이는 일관성 동형의 유일성에 기반함.
• 결과는 삼범주로 확장되며, 이는 편의성 자연 변환과 일관성 세포와 호환됨.