[논문 리뷰] A note on the Penon definition of $n$-category

Eugenia Cheng, Michael Makkai|ArXiv.org|2009. 07. 23.

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

한 줄 요약

이 논문은 Penon의 $n$-categories 정의에 있는 결함을 규명한다: 그의 프레임워크 하에서 이重으로 비퇴화된 트리카테고리들은 대칭 모나드 카테고리가 아니라 더 넓은 범주인 브레이드 모나드 카테고리가 되어야 한다. 저자들은 비반사적 글로불러 세트를 사용한 수정된 정의를 제안하여 기대되는 일반성을 회복하고, 대칭이 아닌 브레이드 모나드 카테고리가 올바르게 포착되도록 보장한다.

ABSTRACT

We show that doubly degenerate Penon tricategories give symmetric rather than braided monoidal categories. We prove that Penon tricategories cannot give all tricategories, but we show that a slightly modified version of the definition rectifies the situation. We give the modified definition, using non-reflexive rather than reflexive globular sets, and show that the problem with doubly degenerate tricategories does not arise.

연구 동기 및 목표

• Penon의 $n$-카테고리 정의가 기대되는 저차원 예시, 특히 이중 비퇴화된 트리카테고리의 경우에 올바르게 포착되는지 조사한다.
• 기존 정의의 근본적 결함을 규명한다: 한 개의 객체와 한 개의 화살표를 가진 경우, 이 정의는 일반적인 브레이드 모나드 카테고리가 아니라 대칭 모나드 카테고리를 강제로 만든다.
• Penon의 원래 트리카테고리가 모든 트리카테고리를 표현할 수 없다는 것을 보여주며, 특히 비대칭 브레이딩을 가진 것들이 포함되지 않는다는 점을 밝힌다.
• 문제를 수정하고 올바른 카테고리적 구조를 회복하기 위해 비반사적 글로불러 세트를 기반으로 한 수정된 $n$-카테고리 정의를 제안한다.
• 수정된 정의가 불필요한 대칭성을 강제하지 않고도 브레이드 모나드 카테고리(대칭이 없는 경우)를 정확히 포착함을 보여준다.

제안 방법

• 비퇴화된 Penon 트리카테고리의 구조를 분석하여, 이를 모나드 카테고리로 표현하고 유도된 브레이딩을 규명한다.
• 반사적 글로불러 세트 프레임워크에서, 정체성 외의 2-세포가 정체성의 소스 또는 타겟을 가질 경우 브레이딩이 대칭이 되도록 강제됨을 보인다.
• 대칭을 갖출 수 없는 브레이드 모나드 카테고리의 구체적 예를 구성하여, 이 카테고리가 Penon의 원래 정의로는 도출될 수 없음을 증명한다.
• 비반사적 글로불러 세트를 기반으로 한 수정된 $n$-카테고리 정의를 도입하며, 자유 카테고리 구성 과정에서 정체성이 자유롭게 추가된다.
• 비반사적 설정에서 오직 정체성 세포만이 정체성의 소스 또는 타겟을 가지며, 이로 인해 불필요한 대칭이 발생하지 않음을 증명한다.
• 수정된 정의가 이중 비퇴화된 경우에 실제로 브레이드 모나드 카테고리를 정확히 생성하며, 대칭을 강제하지 않음을 검증한다.

실험 결과

연구 질문

• RQ1 Penon의 원래 $n$-카테고리 정의는 이중 비퇴화된 경우 브레이드 모나드 카테고리의 범주를 정확히 포착하는가?
• RQ2 왜 Penon의 반사적 글로불러 세트를 통한 정의는 일반적인 브레이드 모나드 카테고리가 아니라 대칭 모나드 카테고리로 이어지는가?
• RQ3 이중 비퇴화된 트리카테고리의 경우에서 대칭을 강제하지 않는 수정된 $n$-카테고리 정의를 구성할 수 있는가?
• RQ4 비반사적 글로불러 세트의 사용이 Penon 프레임워크에서 올바른 일반성을 회복하는 데에 충분한가?
• RQ5 수정된 공리계는 여전히 잘 정의된 $n$-카테고리의 개념을 유지하며, 모든 원하는 트리카테고리 예시를 포함하는가?

주요 결과

• 이중 비퇴화된 Penon 트리카테고리가 브레이드 모나드 카테고리가 아니라 대칭 모나드 카테고리로 이어짐을 입증하였다.
• 원래 Penon 정의는 반사적 글로불러 세트가 정체성이 아닌 2-세포가 정체성의 소스 또는 타겟을 가질 수 있도록 허용함으로써, 이로 인해 대칭성이 강제되므로 모든 트리카테고리를 포착하지 못한다.
• 반례를 구성하였다: 대칭을 가질 수 없는 브레이드 모나드 카테고리이며, 따라서 Penon의 트리카테고리에서 유도될 수 없다.
• 비반사적 글로불러 세트를 사용한 수정된 정의는 오직 정체성 세포만이 정체성의 소스 또는 타겟을 가지므로 문제를 피한다.
• 비반사적 설정에서 자유 3-카테고리 구성 과정은 정체성이 아닌 세포가 정체성의 소스 또는 타겟을 가지는 것을 생성하지 않으며, 따라서 브레이딩이 대칭이 되도록 강제되지 않는다.
• 수정된 정의는 이중 비퇴화된 경우에 실제로 브레이드 모나드 카테고리를 정확히 포착하여 원래 정의에서 존재하던 문제를 해결하였다.