[논문 리뷰] Biequivalences in tricategories

Nick Gurski|arXiv (Cornell University)|2011. 02. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 56

한 줄 요약

이 논문은 삼차 범주 내의 모든 이등치가 이중수반 이등치로 확장됨을 증명하며, 이는 각 이등치가 2세포 수준에서 수반 동치를 갖는 일관된 이중 구조를 갖는다는 뜻이다. 이 결과는 단순한 이등치를 통해 단순화된 모나이드 및 피카르 2범주적 구조를 일관되게 이전할 수 있게 하여 고차 범주론에서의 일관성 보장을 가능하게 한다.

ABSTRACT

We show that every internal biequivalence in a tricategory T is part of a biadjoint biequivalence. We give two applications of this result, one for transporting monoidal structures and one for equipping a monoidal bicategory with invertible objects with a coherent choice of those inverses.

연구 동기 및 목표

• 삼차 범주 내의 모든 내부 이등치가 이중수반 이등치의 일부로 나타남을 증명하는 것.
• 이등치를 통해 모나이드 및 고차 범주론적 구조를 이전할 때 발생하는 구조적 모호성을 제거하기 위해 표준적이고 일관된 프레임워크를 제공하는 것.
• 모든 객체가 약한 역원을 갖는 모나이드 이중범주(피카르 2범주)에서, 이등치를 통해 역원의 일관된 선택을 표준적으로 부여할 수 있음을 보여주는 것.
• 특히 삼차 범주론에서의 모나이드 및 피카르 2범주에 대해 유일성 및 동치성 결과를 증명하기 위한 기초를 마련하는 것.

제안 방법

• 이중범주, 함자, 편의 자연변환, 수정을 포함하는 삼차 범주 Bicat에서 결과를 증명하는 것.
• 이전 결과를 확립: 만약 함자가 국소적 임bedding 조건을 만족하고 대상 삼차 범주가 이중수반 이등치 성질을 갖는다면, 그 소스 역시 동일한 성질을 갖는다.
• 함수 삼차 범주로의 전이가 유지됨을 보여주기 위해, T가 이 성질을 갖는다면 임의의 S에 대해 Tricat(S,T) 역시 동일한 성질을 갖는다.
• 일관성 정리와 요나다 임bedding을 사용하여 결과를 임의의 삼차 범주로 일반화하는 것.
• 주어진 이등치로부터 이중수반 이등치 구조를 정의하기 위해 명시적인 일관성 세포(예: η, ε, χ, δ, γ)를 구성하는 것.
• 이 결과를 모나이드 이중범주에 적용하기 위해, 이등치와 그 이중수반 구조를 사용하여 텐서 곱과 결합성 조건을 일관되게 옮기는 것.

실험 결과

연구 질문

• RQ1 삼차 범주 내의 모든 이등치는 이중수반 이등치로 확장될 수 있는가? 이는 일관된 이중 구조를 보장하는가?
• RQ2 이등치를 통해 한 이중범주에서 다른 이중범주로 모나이드 구조를 어떻게 이전할 수 있으며, 이 과정에서 이중수반 이등치는 어떤 역할을 하는가?
• RQ3 모든 객체가 약한 역원을 갖는 피카르 2범주에서, 역원의 일관된 선택을 표준적으로 부여할 수 있으며, 이 선택은 유일한가?
• RQ4 삼차 범주 간의 함자가 이등치가 이중수반 이등치의 일부임을 유지하는 데 필요한 조건은 무엇인가?
• RQ5 일관된 피카르 2범주적 구조는 삼등치에 의해 유일한가? 이는 기저 삼차 범주와 어떻게 관련이 있는가?

주요 결과

• 삼차 범주 내의 모든 이등치는 이중수반 이등치로 확장되며, 이는 역원 및 단위/코단위 자료가 유일한 동치에 의해 유일하게 결정됨을 의미한다.
• 이등치를 통한 모나이드 구조의 이전은 오직 이등치가 이중수반 이등치로 확장된 경우에만 가능하며, 이는 결합성 및 단위 조건을 일관되게 정의하기 위해 필요한 고차 세포를 제공하기 때문이다.
• 피카르 2범주에서는 일관된 역원 선택이 존재하며, 이 선택은 일관된 삼등치에 대해 유일하다. 즉, 이는 표준적인 구조이다.
• 일관된 피카르 2범주의 삼차 범주에서 피카르 2범주의 삼차 범주로의 잊어버림 함자는 삼등치이다. 이는 일관된 구조의 유일성을 증명한다.
• 이중수반 이등치 구조의 구성은 일관성 세포(예: η, ε, χ, δ, γ)의 붙임 다이어그램을 포함하며, 이 다이어그램들은 일관성 정리에 의해 교환된다.
• 요나다 임bedding과 함수 삼차 범주의 이중수반 이등치 성질 보존을 통해 이 결과는 모든 삼차 범주에 대해 일반화된다.