[논문 리뷰] Bicat is not triequivalent to Gray

Stephen Lack|arXiv (Cornell University)|2006. 12. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 10

한 줄 요약

이 논문은 이원분류체 Bicat(이원분류체, 동형사상, 준자연변환, 수정)의 삼원분류체와 2-범주, 2-함수, 준자연변환, 수정의 삼원분류체 Gray 사이에 삼등치가 성립하지 않음을 증명한다. 핵심 결과는 모든 이원분류체가 2-범주와 이등치가 되지만, 포함관계 Gray → Bicat가 국소적으로 이등치가 되지 않으며, 일부 준함수는 2-함수와 준자연변환적으로 동치가 될 수 없음을 보여, 이는 이전 문헌에서의 주장과 모순된다.

ABSTRACT

Bicat is the tricategory of bicategories, homomorphisms, pseudonatural transformations, and modifications. Gray is the subtricategory of 2-categories, 2-functors, pseudonatural transformations, and modifications. We show that these two tricategories are not triequivalent.

연구 동기 및 목표

• 고차 범주론의 기초적 질문을 해결: 삼원분류체 Bicat이 삼원분류체 Gray와 삼등치가 되는가?
• 문헌(참고문헌 [2]의 5.6절)에서 잘못된 주장인 Bicat가 Gray와 삼등치가 된다는 것을 수정.
• 삼원분류체 동치의 맥락에서 이원분류체와 2-범주 간의 관계를 명확히 하기.
• Bicat → Gray 포함관계가 삼등치가 아니라는 것을 증명하되, 대상에 대해 삼등치적으로 전사임을 확인.
• Bicat가 어떤 Gray-범주와 삼등치가 되지만, Gray 자체와는 삼등치가 되지 않음을 보여주기.

제안 방법

• A(순서 2의 군)와 B(ℤ를 2ℤ로의 준몫)라는 두 2-범주를 사용해, A에서 B로의 함자에서 2-함수와 준자연변환적으로 동치가 되지 않는 반례를 구성.
• A에서는 비항등원인 사상 f에 대해 f² = 1를 만족하지만, B에서는 이 함자에 의해 f의 상이 1이 되지만, 유일한 2-함수는 f를 0으로 보낸다는 사실을 이용.
• Bicat → Gray 포함관계가 삼등치가 아니라는 것을 증명하기 위해, 삼등치를 요구하는 바와 같이 국소적으로 이등치가 되지 않음을 보임.
• 삼등치 Φ: Gray → Bicat가 존재한다고 가정하고, 이는 포함관계와 이등치가 되어야 하며, 모순을 이끌어냄.
• 단일 2-범주 1의 보편성 성질을 이용해, Φ는 임의의 이원분류체 B에 대해 Bicat(1, B) ≃ B의 이등치를 유지해야 한다고 보여줌.
• 참고문헌 [2]의 코herency 결과를 활용해, 모든 삼원분류체는 Gray-범주와 삼등치가 되며, 표준 구축 st: Bicat → Gray는 국소적으로 이등치이지만 삼등치가 되지 않음.

실험 결과

연구 질문

• RQ1 Bicat와 Gray가 유사한 구조를 지닌 약한 3-범주이지만, Bicat가 Gray와 삼등치가 되는가?
• RQ2 2-범주 간의 모든 준함수는 삼등치의 국소적 이등치를 요구하는 바와 같이 2-함수로부터의 준자연변환으로 나타날 수 있는가?
• RQ3 모든 이원분류체가 2-범주와 이등치가 되지만, 포함관계 Gray → Bicat가 삼등치가 될 수 있는가?
• RQ4 참고문헌 [2]의 5.6절에서 Bicat가 Gray와 삼등치가 된다는 주장은 올바른가, 아니면 코herency 결과를 오해한 것인가?
• RQ5 표준 함수 st: Bicat → Gray가 국소적으로 이등치이지만 삼등치가 되지 않는 이유는 무엇인가?

주요 결과

• Bicat → Gray 포함관계가 국소적으로 이등치가 되지 않음을 A와 B라는 두 2-범주를 이용한 반례로 보여, 삼등치가 성립하지 않음.
• A에서 B로의 함자가 어떤 2-함수와도 준자연변환적으로 동치가 되지 않음을 보여, 모든 준함수가 요구하는 의미에서 2-함수와 동치가 되지 않음.
• 모든 이원분류체가 2-범주와 이등치가 되고 Bicat가 어떤 Gray-범주와 삼등치가 되지만, Bicat는 Gray와 삼등치가 되지 않음.
• 참고문헌 [2]에서 구성된 표준 삼함수 st: Bicat → Gray는 국소적으로 이등치이지만 삼등치가 아니며, 이는 해당 논문의 5.6절에서의 주장과 모순됨.
• 가능한 삼등치 Φ: Gray → Bicat는 포함관계와 이등치가 되어야 하며, 이는 불가능하므로 그러한 삼등치는 존재할 수 없음.
• 단일 2-범주 1은 삼등치에 의해 Bicat에서의 삼단항 객체로 보존되며, 이는 Φ의 구조가 포함관계와 동치가 되어야 하며, 이는 모순을 유도함.