[논문 리뷰] DIRECTED ALGEBRAIC TOPOLOGY AND HIGHER DIMENSIONAL TRANSITION SYSTEMS

Philippe Gaucher|arXiv (Cornell University)|2010. 01. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 36인용 수 10

한 줄 요약

이 논문은 방향성 있는 대수적 위상수학을 사용하여 고차원 전이 체계의 범주론적 프레임워크를 제안하며, 레이블이 붙은 n-정육면체가 자유 고차원 전이 체계를 생성함을 보여준다. 이 체계의 국소화와 레이블이 붙은 대칭 전정육면체 집합의 반사 부분범주 사이의 동치를 확립하고, 흐름을 통해 밀너의 CCS와 기타 프로세스 대수학을 모델링하는 데 응용한다.

ABSTRACT

Cattani-Sassone's notion of higher dimensional transition system is interpreted as a small-orthogonality class of a locally finitely presentable topological category of weak higher dimensional transition systems. In particular, the higher dimensional transition sys- tem associated with the labelled n-cube turns out to be the free higher dimensional transition system generated by one n-dimensional transition. As a first application of this construc- tion, it is proved that a localization of the category of higher dimensional transition systems is equivalent to a locally finitely presentable reflective full subcategory of the category of labelled symmetric precubical sets. A second application is to Milner's calculus of commu- nicating systems (CCS): the mapping taking process names in CCS to flows is factorized through the category of higher dimensional transition systems. The method also applies to other process algebras and to topological models of concurrency other than flows.

연구 동기 및 목표

• 고차원 전이 체계를 국소적으로 유한 생성 가능한 위상수학적 범주 내의 소-수직성 클래스로 공식화하기.
• 레이블이 붙은 n-정육면체가 단일 n차원 전이에 의해 생성되는 자유 고차원 전이 체계를 생성함을 보여주기.
• 고차원 전이 체계의 범주에 대한 국소화가 레이블이 붙은 대칭 전정육면체 집합의 반사 부분범주와 동치임을 확립하기.
• CCS의 프로세스 이름에서 흐름으로의 사상이 고차원 전이 체계의 범주를 통해 인수화됨을 보장하기.
• 이 프레임워크를 흐름을 초월한 다른 프로세스 대수학과 동시성의 위상수학적 모델로 확장하기.

제안 방법

• 약한 고차원 전이 체계의 국소적으로 유한 생성 가능한 위상수학적 범주 내에서 고차원 전이 체계를 소-수직성 클래스로 해석하기.
• n차원 전이에 대해 자유 고차원 전이 체계를 구성하기 위해 레이블이 붙은 n-정육면체를 생성자로 사용하기.
• 고차원 전이 체계의 범주에 국소화 기법을 적용하여 레이블이 붙은 대칭 전정육면체 집합의 반사 부분범주와의 동치를 달성하기.
• CCS의 프로세스 이름에서 흐름으로의 사상이 고차원 전이 체계의 범주를 통해 인수화됨을 정의하기.
• 프레임워크의 범주론적 구조를 활용하여 다른 프로세스 대수학과 동시성의 위상수학적 모델로 방법을 확장하기.

실험 결과

연구 질문

• RQ1 어떻게 고차원 전이 체계를 잘 정의된 범주 내의 소-수직성 클래스로 공식화할 수 있는가?
• RQ2 레이블이 붙은 n-정육면체가 자유 고차원 전이 체계를 생성하는 데 어떤 범주론적 역할을 하는가?
• RQ3 고차원 전이 체계의 범주에 대한 국소화가 레이블이 붙은 대칭 전정육면체 집합의 반사 부분범주와 동치가 될 수 있는가?
• RQ4 밀너의 통신 시스템 계산법(CC)이 흐름을 통해 이 프레임워크에 어떻게 통합될 수 있는가?
• RQ5 이 범주론적 구성은 다른 프로세스 대수학과 위상수학적 동시성 모델로 얼마나 일반화될 수 있는가?

주요 결과

• 레이블이 붙은 n-정육면체와 관련된 고차원 전이 체계는 단일 n차원 전이에 의해 생성되는 자유 고차원 전이 체계이다.
• 고차원 전이 체계의 범주에 대한 국소화는 레이블이 붙은 대칭 전정육면체 집합의 범주에 대한 국소적으로 유한 생성 가능한 반사 전체 부분범주와 동치이다.
• CCS의 프로세스 이름에서 흐름으로의 사상은 고차원 전이 체계의 범주를 통해 인수화되어 위상수학적 모델로의 범주론적 다리를 제공한다.
• 이 프레임워크는 CCS를 초월한 다른 프로세스 대수학에도 적용할 수 있을 정도로 충분히 일반적이다.
• 구성은 방향성 있는 대수적 위상수학과 범주론적 대수적 구조를 활용하여 동시성을 체계적으로 모델링할 수 있는 방법을 제공한다.