[논문 리뷰] On positive face structures and positive-to-one computads

Marek Zawadowski|arXiv (Cornell University)|2007. 08. 20.

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

한 줄 요약

이 논문은 양의 얼굴 구조를 도입하여 일대다 양의 컴퓨타드에 대한 조합적 프레임워크를 제공하며, 이것이 주된 양의 얼굴 구조를 지수 범주로 하는 프레샤프 범주를 이룬다는 것을 보여준다. 오메가 범주가 일대다 양의 컴퓨타드 위에서 모나딕임을 입증하며, 자유 함자(functor)가 포함함자로 실현됨을 보여주어 단순한 그래프와 자유 오메가 범주 간의 구조적 유사성을 제공한다.

ABSTRACT

We introduce the notion of a positive face structure. The positive face structures to positive-to-one computads are like simple graphs, to free omega-categories over omega-graphs. In particular, they allow to give an explicit combinatorial description of positive-to-one computads. Using this description we show, among other things, that positive-to-one computads form a presheaf category with the exponent category being the category of principal positive face structures. We also present the Harnik argument in this context showing that the omega-categories are monadic over positive-to-one computads with the 'free functor' being the inclusion.

연구 동기 및 목표

• 일대다 양의 컴퓨타드를 이해하기 위한 조합적 프레임워크를 개발하기 위해 양의 얼굴 구조를 사용하는 것.
• 일대다 양의 컴퓨타드의 범주가 주된 양의 얼굴 구조의 범주를 지수 범주로 하는 프레샤프 범주를 이룬다는 것을 입증하는 것.
• 일대다 양의 컴퓨타드의 맥락에서 Harnik의 증명을 일반화하여 오메가 범주가 이러한 구조 위에서 모나딕임을 보이는 것.

제안 방법

• 일대다 양의 컴퓨타드의 면 관계를 모델링하기 위한 조합적 도구로 양의 얼굴 구조를 정의하는 것.
• 양의 얼굴 구조를 사용하여 일대다 양의 컴퓨타드의 명시적이고 구축 가능한 기술을 제공하는 것.
• 일대다 양의 컴퓨타드의 범주가 주된 양의 얼굴 구조의 범주 위의 프레샤프 범주와 동치임을 보이는 것.
• 기본 함자(functor)가 오메가 범주에서 일대다 양의 컴퓨타드로 가는 망각 함자(functor)가 모나딕임을 증명하기 위해 Harnik의 증거를 적용하는 것.
• 일대다 양의 컴퓨타드에서 오메가 범주로 가는 '자유 함자'가 포함함자로 실현됨을 보이는 것.
• 단순한 그래프와 자유 오메가 범주 간의 유사성과, 양의 얼굴 구조와 일대다 양의 컴퓨타드 간의 유사성 간의 구조적 유사성을 확립하는 것.

실험 결과

연구 질문

• RQ1 어떻게 양의 얼굴 구조를 정의함으로써 일대다 양의 컴퓨타드에 대한 조합적 기술을 제공할 수 있는가?
• RQ2 일대다 양의 컴퓨타드의 범주적 구조는 무엇이며, 이는 프레샤프 범주와 어떻게 관련이 있는가?
• RQ3 오메가 범주에서 일대다 양의 컴퓨타드로 가는 망각 함자가 모나딕한가? 만약 그렇다면, 포함함자가 이 맥락에서 어떤 역할을 하는가?
• RQ4 Harnik의 증거는 일대다 양의 컴퓨타드의 맥락에서 어떻게 적용되어 모나디시티를 확립하는가?
• RQ5 단순한 그래프와 자유 오메가 범주 간의 유사성과, 양의 얼굴 구조와 일대다 양의 컴퓨타드 간의 유사성은 어떤 구조적 유사성을 지닌다?

주요 결과

• 일대다 양의 컴퓨타드의 범주는 주된 양의 얼굴 구조의 범주를 지수 범주로 하는 프레샤프 범주를 이룬다.
• 일대다 양의 컴퓨타드의 범주는 주어진 양의 얼굴 구조를 통해 명시적인 조합적 기술을 갖춘다.
• 오메가 범주에서 일대다 양의 컴퓨타드로 가는 망각 함자는 모나딕이다.
• 일대다 양의 컴퓨타드에서 오메가 범주로 가는 '자유 함자'는 포함함자로 실현된다.
• Harnik의 증거는 이 맥락에 성공적으로 적용되어 모나디시티를 확인한다.
• 단순한 그래프와 자유 오메가 범주 간의 유사성과, 양의 얼굴 구조와 일대다 양의 컴퓨타드 간의 유사성 간의 구조적 유사성이 확립된다.