기하학적 모델과 전통적 동시성 모델을 잇는 범주론적 다리

초록

**
이 논문은 큐빅 집합(고차원 자동자)과 전통적인 동시성 모델(전이 시스템, 비동기 전이 시스템, 이벤트 구조, 페트리 그리드) 사이에 범주론적 adjunction을 구축한다. 특히 페트리 그리드와 큐빅 집합 사이의 새로운 adjunction을 제시해, 기존 Nielsen‑Winskel의 페트리‑비동기 전이 시스템 관계를 일반화한다.

**

상세 분석

**
논문은 먼저 동시성 이론에서 널리 사용되는 네 가지 전통적 모델을 정리한다. 전이 시스템은 “interleaving” 형태의 비결정성을, 비동기 전이 시스템은 사건 간의 pairwise independence를, 이벤트 구조는 이진 충돌 관계와 결합적 의존성을, 페트리 그리드는 토큰 흐름을 통한 병렬도와 동기화를 포착한다. 이후 기하학적 모델인 큐빅 집합(precubical set, cubical set, HDA)을 소개한다. 큐빅 집합은 n‑셀을 n‑차원 정육면체로 해석하고, 소스·타깃·축소 사상(∂⁻,∂⁺,ι)으로 셀 간 연결을 정의한다. 이러한 구조는 사건들의 동시 발생과 그들의 교환성을 자연스럽게 표현한다는 점에서 “진정한 동시성”을 모델링한다는 장점을 가진다.

핵심 기여는 네 개의 범주 사이에 adjunction을 구성한 것이다. 저자는 먼저 precubical set ↔ cubical set 사이에 부분함수와 전사함수 사이의 관계를 보이며, 이를 통해 Kleisli 범주와 부분 사상 범주가 동형임을 증명한다. 그런 다음 전이 시스템, 비동기 전이 시스템, 이벤트 구조, 페트리 그리드 각각을 적절한 제한조건(라벨링 여부, 엄격/부분 사상, 다중성 고려 등)을 두고 정의하고, 각각을 큐빅 집합으로 보내는 좌측 자유 함자(F)와 그 반대 방향의 우측 보존 함자(G)를 명시한다. 특히 페트리 그리드와 큐빅 집합 사이의 adjunction은 Nielsen‑Winskel이 제시한 페트리‑비동기 전이 시스템 adjunction을 일반화한 것으로, 페트리 그리드의 토큰 흐름을 큐빅 셀의 차원(동시성 정도)과 일치시키는 구조적 변환을 제공한다.

범주론적 관점에서 이 adjunction들은 한 모델의 한계(예: 이벤트 구조의 이진 충돌 제한)를 다른 모델이 어떻게 보완하는지를 명확히 보여준다. 또한, 모든 변환이 한쪽에서 한계(리밋)를 보존함을 증명함으로써, 기존의 동시성 분석 기법(데드락 탐지, 불변량 생성, 슬립셋 등)을 새로운 기하학적 모델에 그대로 적용할 수 있음을 시사한다. 논문은 또한 모노이달 구조를 이용해 큐빅 범주를 자유 모노이달 범주로 재구성함으로써, adjunction 정의를 간결히 표현하고, 향후 다른 고차원 구조(예: directed homotopy)와의 연계 가능성을 열어 둔다.

결과적으로, 이 작업은 “모델 간 변환이 단순한 번역이 아니라, 서로 다른 관점에서 동시성을 포착하는 깊은 수학적 대응 관계”임을 입증한다. 이는 동시성 이론의 통합적 이해와, 다양한 도구와 알고리즘을 교차 활용할 수 있는 기반을 제공한다.

**