[논문 리뷰] Note on the construction of globular weak omega-groupoids from types, topological spaces etc

John Bourke|arXiv (Cornell University)|2016. 02. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 3

한 줄 요약

이 논문은 바탄린의 약한 ω-군의 구조를 타입에서 구성한 반데르베르그와 가너의 구성법을 그로텐디크의 더 단순하고 투명한 약한 ω-군의 정의로 재해석한다. 글로불라 이론과 내림차순 구조의 언어로 재구성함으로써, 그로텐디크의 약한 ω-군이 타입, 위상공간, 칸 복합체로부터 고차원 호모토피 구조를 모델링하는 데 더 직관적이고 실용적인 프레임워크를 제공한다는 것을 보여준다.

ABSTRACT

A short introduction to Grothendieck weak omega-groupoids is given. Our aim is to give evidence that, in certain contexts, this simple language is a convenient one for constructing globular weak omega-groupoids. To this end, we give a short reworking of van den Berg and Garner's construction of a Batanin weak omega-groupoid from a type using the language of Grothendieck weak omega-groupoids.

연구 동기 및 목표

• 바탄린의 원래 정의보다 그로텐디크의 약한 ω-군 정의가 고차 군을 구성하는 데 더 투명하고 접근하기 쉬운 프레임워크를 제공한다는 것을 보여주는 것.
• 바탄린의 약한 ω-범주가 아니라 그로텐디크의 약한 ω-군을 사용하여 반데르베르그와 가너의 타입에서 약한 ω-군을 구성하는 방식을 재수정하는 것.
• 동일한 구성법이 의도론적 타입 이론의 타입뿐 아니라 위상공간과 칸 복합체에도 적용된다는 것을 보여주어 적용 범위를 넓히는 것.
• 내림차순 구조 글로불라 이론과 (L,R) 분해 체계가 이러한 구성에 비해 글로불라 작용소나 바탄린의 접근보다 더 깔끔하고 직관적인 기술적 기초를 제공한다는 것을 주장하는 것.
• 핵심 아이디어를 더 단순한 형식론으로 재구성함으로써 원래 구성의 핵심 개념을 더 쉽게 접근할 수 있도록 자가 포함적인 기초적 서술을 제공하는 것.

제안 방법

• 글로불라 집합에 계약 가능한 내림차순 구조 이론과 글로불라 대상의 범주에서의 (L,R) 분해 체계를 갖춘 그로텐디크의 약한 ω-군 정의를 사용한다.
• 항등 타입 범주에서 경로 객체 구성법을 반복적으로 적용하여 고차 호모토피를 포함하는 글로불라 대상을 생성한다.
• 분해 체계 (L,R) 를 사용하여 포함 사상 $ i_{ar{n}}: A(0) o A(ar{n}) $ 가 L-사상임을 수학적 귀납법과 당김 안정성으로 증명한다.
• 모든 평행한 m-세포 쌍이 (L,R)-분해를 통해 상승 가능하다는 것을 보여, 내림차순 이론 $ ext{End}(i/A) $ 가 계약 가능하다는 것을 입증한다.
• 글로불라 합과 당김의 보편 성질을 사용하여 $ i_{ar{n}} $ 를 포함하는 다이어그램에서 대각선 메꾸기( filler )를 구성함으로써 내림차순 구조의 계약 가능성을 보장한다.
• 항등 타입 범주(위상공간과 칸 복합체의 범주 등)에서는 경로 객체 구성법이 요구 조건을 충족하는 잘 정의된 글로불라 대상을 생성한다는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 그로텐디크의 약한 ω-군 정의가 타입과 공간에서 고차 군을 구성하는 데 더 단순하고 투명한 프레임워크를 제공할 수 있는가?
• RQ2 경로 객체 반복을 통한 타입에서의 약한 ω-군 구성법이 그로텐디크의 언어로 기술될 때 바탄린의 원래 프레임워크와 비교해 어떻게 다를 수 있는가?
• RQ3 결과로 얻어진 글로불라 대상이 그로텐디크의 약한 ω-군의 공리를 만족시키는 데 기여하는 구조적 성질은 무엇인가?
• RQ4 동일한 구성법이 위상공간과 칸 복합체에 얼마나 널리 적용될 수 있으며, 이들은 항등 타입 범주 프레임워크에 어떻게 통합되는가?
• RQ5 왜 내림차순 구조 글로불라 이론과 (L,R)-분해 체계가 글로불라 작용소나 바탄린의 접근보다 이러한 구성에 더 적합한가?

주요 결과

• 원래 바탄린의 약한 ω-범주를 통해 달성된 타입에서의 약한 ω-군 구성법이, 그로텐디크의 약한 ω-군 정의를 사용하여 더 투명하게 재표현될 수 있다.
• 수학적 귀납법과 당김 안정성에 기반하여 포함 사상 $ i_{ar{n}}: A(0) o A(ar{n}) $ 가 L-사상임이 입증되었으며, 이는 (L,R)-분해 체계를 확인하는 데 핵심적인 단계이다.
• 내림차순 이론 $ ext{End}(i/A) $ 가 계약 가능하다는 것이 입증되었는데, 이것이 결과 글로불라 대상이 그로텐디크의 약한 ω-군임을 보장하는 중심 조건이다.
• 항등 타입 범주에서 반복적으로 적용된 경로 객체 구성법은 그로텐디크의 약한 ω-군의 공리를 충족하는 글로불라 대상을 생성한다.
• 위상공간과 칸 복합체가 항등 타입 범주임이 입증되었으며, 따라서 이 구성법이 직접적으로 이들에 적용 가능하여 타입 이론을 넘어서는 적용 범위를 넓혔다.
• 글로불라 합과 (L,R)-분해 체계의 사용은 바탄린의 작용소 접근법에 비해 일致성 조건의 검증을 더 단순화시킨다.