고차원 전이 시스템과 지시 대수 위상학

초록

이 논문은 Cattani‑Sassone이 제시한 고차원 전이 시스템(HDTSS)을 약한 전이 시스템의 국소적으로 유한히 제시 가능한 위상 범주 안에서 작은 정규 직교 클래스(small‑orthogonality class)로 재해석한다. 특히 라벨이 붙은 n‑입방체에 대응하는 HDTSS가 하나의 n‑차원 전이로부터 자유롭게 생성되는 구조임을 보이고, 이를 이용해 HDTSS 범주의 국소화가 라벨이 붙은 대칭 전입체 집합의 반사적 전완전 부분범주와 동등함을 증명한다. 또한 Milner의 CCS를 흐름(flows)으로 매핑하는 과정이 HDTSS 범주를 거쳐서 이루어짐을 보여, 다른 프로세스 대수와 위상 동시성 모델에도 적용 가능함을 제시한다.

상세 분석

본 연구는 고차원 전이 시스템(Higher Dimensional Transition System, HDTS)의 구조적 본질을 범주론적 관점에서 심도 있게 탐구한다. 먼저 Cattani‑Sassone이 정의한 HDTS를 ‘약한 전이 시스템(weak higher dimensional transition system, WHDTS)’이라는 보다 일반적인 객체군 안에 끼워 넣고, 이 WHDTS 범주가 국소적으로 유한히 제시 가능한(locally finitely presentable, LFP) 위상 범주임을 보인다. 위상 범주라는 용어는 객체와 사상이 집합 위에 정의된 구조를 보존하면서도, 연속성이나 전이의 ‘가능성’ 같은 동시성 정보를 담을 수 있음을 의미한다.

핵심은 WHDTS 범주 안에서 HDTS가 ‘작은 정규 직교 클래스(small‑orthogonality class)’로서 정의된다는 점이다. 즉, 특정한 ‘정규 사상’ 집합에 대해 전사적(orthogonal)인 객체들의 집합으로서 HDTS를 특징짓는다. 이 접근법은 전통적인 대수적 정의와 달리, 객체를 생성하는 자유 구조(free structure)를 명시적으로 구성할 수 있게 한다. 논문은 라벨이 붙은 n‑입방체(ℓ‑labelled n‑cube)를 예시로 들어, 이 입방체가 하나의 n‑차원 전이만을 갖는 자유 HDTS로서 완전하게 기술될 수 있음을 증명한다. 이는 고차원 전이가 어떻게 복합적인 동시성 행동을 단일 생성자(generator)로부터 파생시킬 수 있는지를 보여주는 중요한 사례이다.

다음 단계에서는 HDTS 범주의 국소화(localization)를 고려한다. 특정한 동형 사상들을 역전시켜 얻는 이 국소화는 라벨이 붙은 대칭 전입체 집합(symmetrized precubical sets) 범주 안에 반사적 전완전(full reflective) 부분범주로 동형임을 보인다. 여기서 ‘반사적’이라는 말은 해당 부분범주가 전체 범주로부터 보편적인 사상(반사 사상)을 통해 포함된다는 의미이며, 이는 HDTS와 전입체 집합 사이의 구조적 일치를 보장한다.

마지막으로, Milner의 통신 시스템 계산법(CCS)과 흐름(flows) 사이의 매핑을 재구성한다. 기존에는 CCS 프로세스 이름을 직접 흐름으로 변환하는 복잡한 절차가 필요했지만, 본 논문은 이 과정을 ‘CCS → HDTS → 흐름’이라는 두 단계 팩터화(factorization)로 단순화한다. 이 팩터화는 HDTS가 동시성의 정교한 위상 정보를 보존하면서도, 흐름이라는 연속적인 실행 모델로 자연스럽게 사상될 수 있음을 보여준다. 결과적으로 동일한 방법론이 다른 프로세스 대수(예: π‑calculus, CSP)와 위상 동시성 모델(예: d‑spaces, streams)에도 적용 가능함을 시사한다.

전체적으로 이 논문은 고차원 전이 시스템을 범주론적 정규성, 자유 생성, 그리고 반사적 포함이라는 세 축으로 재구성함으로써, 동시성 이론과 위상 모델링 사이의 교량을 견고히 놓는다.