[논문 리뷰] Positive Opetopes with Contractions form a Test Category

Marek Zawadowski|arXiv (Cornell University)|2017. 12. 16.

Advanced Topics in Algebra참고 문헌 8인용 수 3

한 줄 요약

이 논문은 양의 옵레토프(positive opetopes)의 범주에 수축 사상—면 맵과 선택된 비압축성 사상—을 추가한 것이 테스트 범주임을 확립한다. 프레샤프 범주에서 간격 대상과의 곱이 되는 실린더 함수를 구성함으로써, 저자들은 이 범주가 호모토피 유형을 모델링함을 증명하며, $Δ$가 고차원 범주론에서 차지하는 기초적 역할을 확장한다.

ABSTRACT

We show that the category of positive opetopes with contraction morphisms, i.e. all face maps and some degeneracies, forms a test category. The category of positive opetopic sets pOpeSet can be defined as a full subcategory of the category of polygraphs Poly. An object of pOpeSet has generators whose codomains are again generators and whose domains are non-identity cells (i.e. non-empty composition of generators). The category pOpeSet is a presheaf category with the exponent being called the category of positive opetopes pOpe. Objects of pOpe are called positive opetopes and morphisms are face maps only. Since Poly has a full-on-isomorphisms embedding into the category of omega-categories oCat, we can think of morphisms in pOpe as omega-functors that send generators to generators. The category of positive opetopes with contractions pOpe_iota has the same objects and face maps pOpe, but in addition it has some degeneracy maps. A morphism in pOpe_iota is an omega-functor that sends generators to either generators or to identities on generators. We show that the category pOpe_iota is a test category.

연구 동기 및 목표

• 수축 사상이 포함된 양의 옵레토프의 범주가 테스트 범주임을 입증하는 것.
• ι-사상들을 통해 옵레토픽 세트의 호모토피 프레임워크를 비압축성 사상까지 확장하는 것.
• 이 확장된 범주 위의 프레샤프 범주가 실린더 함수를 통해 호모토피 유형을 모델링함을 보여주는 것.
• 프레샤프 범주에서 실린더 구성이 간격 대상과의 곱이 되며, 테스트 범주 공리계를 만족함을 검증하는 것.
• 옵레토프에 수축을 추가함으로써 고차원 대수학과 호모토피 이론의 범주론적 기초를 제공하는 것.

제안 방법

• 생성자에서 생성자 또는 생성자 위의 항등사상으로 보내는 특수한 비압축성 사상(ι-사상)을 추가하여 ${\bf pOpe}$의 확장으로서 범주 ${\bf pOpe}_{\iota}$를 정의한다.
• 옵레토프의 플래그, 구멍이 난 플래그, 그리고 후행 연산을 사용하여 프레샤프 범주 $\widehat{{\bf pOpe}}$ 위의 실린더 함수 ${\bf Cyl}_p$를 구성한다.
• ${\bf Cyl}_p(P)$가 직선 객체임을 증명함으로써, 이가 테스트 범주를 위한 필수 조건을 만족함을 보장한다.
• $\kappa: {\bf pOpe} \to {\bf pOpe}_{\iota}$에 沿해 왼쪽 칸 확장을 통해 실린더 함수를 $\widehat{{\bf pOpe}_{\iota}}$로 확장하며, 이 함수가 간격 $I$와의 곱과 동형임을 보여준다.
• 실린더의 보편 성질과 ${\bf pHg}_{\iota}$가 $\widehat{{\bf pOpe}_{\iota}}$에 완전한 포함임을 이용하여 ${\bf Cyl}_{\iota}(P)$가 곱 조건을 만족함을 검증한다.
• 이전 연구에서의 양의 옵레토픽 카디널과 하이퍼그래프에 관한 결과를 활용하여, 면 맵, 핵, 그리고 $\iota$-사상에 의한 도메인 보존에 관한 기술적 보조정리를 확립한다.

실험 결과

연구 질문

• RQ1 수축 사상이 포함된 양의 옵레토프의 범주는 테스트 범주의 공리를 만족하는가?
• RQ2 프레샤프 범주 $\widehat{{\bf pOpe}}$ 위의 실린더 함수는 $\widehat{{\bf pOpe}_{\iota}}$로 확장되어 간격 대상 $I$와의 곱과 동형이 되는가?
• RQ3 $\iota$-사상(수축 사상)은 옵레토프의 도메인과 공도메인의 구조를 유지하면서 호모토피 모델링을 지원하는 방식으로 작용하는가?
• RQ4 $\kappa: {\bf pOpe} \to {\bf pOpe}_{\iota}$에 沿해 실린더 함수의 왼쪽 칸 확장이 ${\bf Cyl}_{\iota}(P)$가 직선 객체가 되도록 충분한가?
• RQ5 범주 ${\bf pOpe}_{\iota}$는 $\Delta$와 유사하게 그 프레샤프 범주를 통해 호모토피 유형을 모델링하는 데 기초가 될 수 있는가?

주요 결과

• 수축 사상이 포함된 양의 옵레토프의 범주 ${\bf pOpe}_{\iota}$는 호모토피 유형을 모델링하기 위한 필요 조건을 만족하므로 테스트 범주이다.
• 프레샤프 범주 $\widehat{{\bf pOpe}_{\iota}}$에서 실린더 함수 ${\bf Cyl}_{\iota}(P)$는 간격 대상 $I$와의 곱 $I \times P$와 동형이며, 이는 곱의 구조를 확인한다.
• $\kappa: {\bf pOpe} \to {\bf pOpe}_{\iota}$에 따라 실린더 함수의 왼쪽 칸 확장은 코로니터, 표현 가능한 대상, 단사 사상들을 보존하므로 확장이 잘 정의되어 있음을 보장한다.
• 실린더 ${\bf Cyl}_p(P)$는 $\widehat{{\bf pOpe}}$에서 직선 객체이며, 이는 테스트 범주 성질을 위한 핵심 조건이다.
• 실린더의 면에 정의된 사상 $H$는 도메인과 공도메인을 보존하며, 면 집합 위에서 전단사 사상으로 작용하여 곱 구조와의 호환성을 보장한다.
• ${\bf pHg}_{\iota}$가 $\widehat{{\bf pOpe}_{\iota}}$에 완전한 포함임을 통해 실린더의 보편 성질이 프레샤프 범주로 옮겨질 수 있다.