[논문 리뷰] A Survey of Definitions of n-Category

Tom Leinster|arXiv (Cornell University)|2001. 07. 25.

Educational Technology and Assessment인용 수 47

한 줄 요약

이 논문은 약 10개의 서로 다른 약한 $n$-범주의 정의를 검토하며, 각 정의를 간결하고 독립적인 두 페이지 분량으로 제시하여 접근성과 명료성을 높인다. 이는 $n \leq 2$일 때 약한 $n$-범주가 표준 개념—집합, 범주, 이범주—와 일치함을 보여주며, 낮은 차원에서의 정의의 일관성을 입증한다. 同시에 고차원에서 서로 다른 정의 간 비교의 지속적인 과제를 부각시킨다.

ABSTRACT

Many people have proposed definitions of `weak n-category'. Ten of them are presented here. Each definition is given in two pages, with a further two pages on what happens when n = 0, 1, or 2. The definitions can be read independently. Chatty bibliography follows.

연구 동기 및 목표

• 약한 $n$-범주의 정의를 여러 가지로 명확하고 접근 가능하며 독립적인 형식으로 제시하여, 이러한 정의가 본질적으로 모호하거나 다루기 어려운 것으로 여겨지는 인식을 해소하고자 한다.
• 일반적인 수학적 구조와의 일관성을 입증하기 위해 $n \leq 2$일 때의 정의를 검토함으로써 제안된 정의의 타당성을 입증하고자 한다. 예를 들어, 집합($n=0$), 범주($n=1$), 이범주($n=2$)와 같은 구조와 일치함을 보여준다.
• 다양한 접근 방식을 종합하고 체계화함으로써 연구자들이 참고할 수 있는 기초 틀을 제공하고자 하며, 정의 간 비교나 동치성 설정을 尝시지 않는다.
• 고차 범주론의 기초적 과제인, 특히 $n > 2$일 때 약한 $n$-범주의 유일한 표준 정의가 존재하지 않는 문제를 다루고자 한다.
• 정의들을 분리하고 핵심 구성요소를 명확히 하여, 향후 정의 간 동치성과 조화성에 대한 체계적 분석을 가능하게 하여, 비교 작업을 지원하고자 한다.

제안 방법

• 각 약한 $n$-범주의 정의는 독립적이고 형식적으로 두 페이지 분량으로 제시되며, 독해력 향상과 인지 부하 감소를 위해 최소화되고 정밀한 기호 체계를 사용한다.
• 주제적 유사성에 따라 정의들을 그룹화하지만, 순서에 특별한 의미를 부여하지 않으며, 각 정의는 다른 정의에 대한 사전 지식 없이도 독립적으로 이해 가능하도록 구성되어 있다.
• 논문은 $n = 0, 1, 2$의 경우를 전용 두 페이지에 분석하여, 약한 $n$-범주가 각각 집합, 범주, 이범주로 축소됨을 보여준다.
• 논문은 약한 함자, 변환, 또는 $n$-범주 간 동치성의 정의를 피하고, 오직 $n$-범주 구조 자체의 정의에만 집중한다.
• 기술적이지 않은, 친근한 참고문헌 목록을 포함하여 기초적이고 동기를 부여하는 문헌으로 독자를 안내하며, 문헌 조사의 포괄성을 목표로 하진 않는다.
• 이중면 인쇄를 고려해 레이아웃을 최적화하여, 각 정의가 한 장의 이중면 페이지에 완전히 들어가도록 구성함으로써, 시각적 및 개념적 명료성을 향상시켰다.

실험 결과

연구 질문

• RQ1 약한 $n$-범주는 일반적으로 너무 복잡하다는 인식이 있음에도 불구하고, 간결하고 이해하기 쉬운 방식으로 정의될 수 있는가?
• RQ2 제안된 다양한 약한 $n$-범주의 정의가 $n \leq 2$일 때 기존 수학적 구조—예를 들어 집합($n=0$), 범주($n=1$), 이범주($n=2$)—와 일치하는가?
• RQ3 오페라드, 다중범주, 컴퓨드와 같은 고차 범주적 구조는 약한 $n$-범주의 정의에 어떤 역할을 하는가?
• RQ4 약한 $(n+1)$-범주가 $n$-범주들의 집합에 대해 정의되어야만 정의 간 비교가 가능하므로, 서로 다른 약한 $n$-범주 정의를 어떻게 비교할 수 있는가?
• RQ5 엄격한 $n$-범주와 약한 $n$-범주 간의 관계는 무엇인가? 특히 엄격한 2범주와 약한 2범주 간의 동치성이 $n > 2$로 확장되지 않는다는 점을 고려할 때.

주요 결과

• 모든 10개의 약한 $n$-범주 정의가 독립적이고 접근 가능한 방식으로 형식화되었으며, 각각 두 페이지 내에 압축되어 있어, 이러한 정의가 반드시 다루기 어려운 것은 아니라는 점을 입증한다.
• $n = 0$일 때 약한 $n$-범주는 집합임을 보여주며, $n = 1$일 땐 범주, $n = 2$일 땐 이범주임을 확인함으로써, 낮은 차원에서의 정의가 기존 수학적 개념과 일관됨을 입증한다.
• 엄격한 $n$-범주는 정의하기가 간단하지만, $n > 2$일 때의 약한 경우는 본질적으로 더 복잡하며, 엄격한 2범주와 약한 2범주 간의 동치성이 일반화되지 않음을 보여준다.
• 정의들은 의도적으로 상호 의존성을 피하고, 상호 동치성이나 비교에 대한 암시적 약속 없이 독립적으로 유지되어, 향후 연구자들이 서로의 관계를 사전 가정 없이 평가할 수 있도록 한다.
• 정의 간 비교가 본질적으로 순환적임을 부각한다. 왜냐하면 이러한 비교를 위해서는 $n$-범주들의 약한 $(n+1)$-범주의 정의가 필요하기 때문이다.
• 저자는 일부 정의가 낯선 관계로 인해 생략되었음을 인정하며, 추가적 배경과 동기를 얻기 위해 '추가 읽기' 섹션을 참조할 것을 독자에게 권장한다.