[논문 리뷰] Computads and Multitopic Sets

Victor Harnik, Michael Makkai외 1명|ArXiv.org|2008. 11. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 7

한 줄 요약

이 논문은 다주제 집합(multitopic sets)의 범주와 다대일 컴퓨드(many-to-one computads)의 범주 사이의 동치성을 확립하며, 반복적으로 자유 다중범주를 구성하는 데 기반한 다주제 집합이 약한 ω-범주에 대한 프레셰프 모델을 제공함을 보여준다. 주요 결과는 다대일 컴퓨드의 범주가 프레셰프 범주임을 보여주며, 이는 고차원 범주론의 기초적인 질문을 해결하고, 이러한 유형의 컴퓨드에 대해 원시 재귀 알고리즘을 통한 단어 문제의 해법 가능성을 암시한다.

ABSTRACT

We compare computads with multitopic sets. Both these kinds of structures have n-dimensional objects (called n-cells and n-pasting diagrams, respectively). The computads form a subclass of the more familiar class of omega-categories, while multitopic sets have been devised by Hermida, Makkai and Power as a vehicle for a definition of the concepts of weak omega-category. Our main result states that the category of multitopic sets is equivalent to that of many-to-one computads, a certain full subcategory of the category of all computads.

연구 동기 및 목표

• 다주제 집합과 컴퓨드의 전체 부분범주 사이의 범주론적 동치성을 확립하기.
• 컴퓨드와 다주제 집합이라는 두 가지 서로 다른 형식적 방법론 간의 관계를 명확히 하기.
• 다대일 컴퓨드의 범주가 프레셰프 범주임을 보여주며, 전체 컴퓨드 범주의 비-프레셰프 성격과 대비하기.
• 다대일 컴퓨드의 단어 문제에 대해 구축 가능한 기초를 제공하여, 원시 재귀 알고리즘에 의한 결정 가능성의 가능성을 암시하기.

제안 방법

• 용어의 형식적 언어와 용어 등치성을 증명하기 위한 추론 체계를 사용하여 (n−1)-범주의 자유 확장을 구성하기.
• 반복적인 자유 다중범주를 통해 다주제 집합을 정의하며, 붙임 다이어그램(pasting diagrams)을 n-세포로, 그리고 불확실한 변수(indeterminates)를 고차원 세포를 생성하기 위해 사용하기.
• 기술적 결과(정리 6.12)를 활용하여, 불확실한 변수 집합 위의 자유 다중범주에서 다주제 집합으로의 자연스러운 준동형사상이 동형사상임을 보여주기.
• 차원 간의 도메인 및 공도메인 함수를 통해 다주제 집합과 다대일 컴퓨드 사이의 귀납적 동형사상을 수립하기.
• 불확실한 변수를 세포에 할당하는 할당법이 합성과 구조를 유지하는 다중범주 준동형사상을 유도하기.
• 동치성의 성립을 활용하여, 다주제 집합이 이미 프레셰프임을 알고 있음을 바탕으로 다대일 컴퓨드의 범주가 프레셰프 범주임을 도출하기.

실험 결과

연구 질문

• RQ1 다주제 집합과 컴퓨드의 자연스러운 부분집합 사이에 범주론적 동치성이 존재하는가?
• RQ2 전체 컴퓨드 범주가 프레셰프가 아니라는 점을 고려할 때, 다대일 컴퓨드의 범주는 프레셰프 범주로 나타날 수 있는가?
• RQ3 다주제 집합과 다대일 컴퓨드 사이의 동치성이 이러한 컴퓨드의 단어 문제의 결정 가능성으로 이어지는가?
• RQ4 다주제 집합은 고차원 범주에서의 자유 확장의 어떤 구조적 성질을 고전적 컴퓨드와 대비하여 포착하는가?
• RQ5 불확실한 변수 집합 위의 자유 다중범주에서 다주제 집합의 구조로의 자연스러운 준동형사상이 동형사상임을 증명할 수 있는가?

주요 결과

• 다대일 컴퓨드의 범주는 다주제 집합의 범주와 동치이며, 이는 약한 ω-범주에 대한 두 형식적 방법론 간의 기초적인 연결 고리를 확립한다.
• 다주제 집합의 범주는 이전에 이미 알려진 바와 같이 프레셰프 범주이며, 이 성질은 다대일 컴퓨드의 부분범주로도 이행된다.
• 모든 컴퓨드의 범주는 프레셰프 범주가 아니며, 이는 다대일 제한의 중요성을 부각시킨다.
• 정리 6.12의 동형사상에 따라, 다대일 컴퓨드의 단어 문제는 원시 재귀 알고리즘을 통해 해결 가능하다는 것이 보조적으로 도출된다.
• 불확실한 변수 집합 위의 자유 다중범주에서 다주제 집합의 구조로의 자연스러운 준동형사상은 동형사상이며, 이는 주요 동치성의 성립을 가능하게 하는 핵심 기술적 결과이다.
• 동치성은 차원 간의 도메인 및 공도메인 함수를 유지하므로, 두 형식적 방법론 간의 구조적 일관성이 보장된다.