셀룰러 오토마타의 범주론적 시각

초록

본 논문은 셀룰러 오토마타(CA)의 지역적 전이 규칙을 균등 공간 위의 지수 코모나드의 coKleisli 사상으로 동형시킨다. 이를 통해 Curtis‑Hedlund 정리의 범주론적 증명을 제공하고, 기존 CA 이론의 여러 기본 결과를 코모나드 일반성으로부터 바로 도출한다.

상세 분석

논문은 먼저 프로그래밍 언어 의미론에서 데이터플로우와 속성 문법을 모델링하는 데 사용된 코모나드 이론을 소개하고, 이를 셀룰러 오토마타에 적용할 가능성을 제시한다. 핵심 아이디어는 셀룰러 오토마타의 전역 상태 공간을 균등 공간(Uniform Space)으로 보고, 각 셀의 이웃 정보를 취합하는 연산을 지수 코모나드 (D) (X = X^{\mathbb{Z}^d}) 로 정의한다. 여기서 (d) 는 격자 차원을 나타내며, (X^{\mathbb{Z}^d})는 모든 격자 점에 대한 상태 할당을 의미한다. 이 코모나드는 코유닛 (\varepsilon_X : D X \to X) (중심 셀의 상태 추출)와 코곱연산 (\delta_X : D X \to D D X) (이웃 정보를 재귀적으로 확장)를 갖는다.

그 다음, 저자는 coKleisli 범주 (\mathbf{Kl}(D)) 의 사상을 “지역 규칙” (f : D A \to B) 으로 해석한다. 여기서 (A) 와 (B) 는 각각 입력과 출력 알파벳(또는 상태 집합)이며, (f) 는 유한 반경 (r) 내의 이웃만을 참조하는 연속 함수이다. 이 정의는 전통적인 CA 정의와 정확히 일치한다: 전역 전이 (F : A^{\mathbb{Z}^d} \to B^{\mathbb{Z}^d}) 는 coKleisli 사상 (f) 의 지수화 (F = \lambda x., \lambda z., f(\text{shift}_z(x))) 로 표현된다.

이 동형성을 이용하면, Curtis‑Hedlund 정리(“연속이고 변위 불변인 전이는 정확히 셀룰러 오토마타이다”)를 코모나드의 기본 성질—특히 (D) 가 완전한 코모나드이며, coKleisli 사상이 균등 연속성을 보존한다는 점—으로부터 바로 도출한다. 즉, 변위 불변성은 코모나드의 코유닛과 코곱연산이 격자 이동과 교환 가능함을 의미하고, 연속성은 균등 공간에서의 균등 연속 사상으로 보장된다.

또한, 저자는 이 범주론적 틀을 이용해 다음과 같은 부수적 결과를 얻는다. 첫째, 지역 규칙의 유한 반경 존재는 (D) 가 “프레시드”(filtered) 코모나드라는 사실과 동치이며, 이는 전역 전이가 항상 제한된 의존성을 가진다는 직관적 설명을 제공한다. 둘째, 두 CA 사이의 동형(시뮬레이션) 관계는 coKleisli 사상 사이의 자연 변환으로 해석될 수 있다. 셋째, 확장된 격자(예: (\mathbb{Z}^{d+1}))에 대한 억셉터(embedding)와 투사(projection)는 코모나드 함자 사이의 좌·우 사상으로 모델링되어, 차원 상승·하강에 대한 범주론적 이해를 가능하게 한다.

결과적으로, 이 논문은 셀룰러 오토마타를 단순히 이산적 동역학 시스템으로 보는 전통적 관점을 넘어, 코모나드와 coKleisli 범주의 일반적인 구조 위에 놓음으로써 기존 정리들을 보다 깔끔하고 보편적인 형태로 재해석한다. 이는 향후 CA를 다른 계산 모델(예: 데이터플로우, 스트림 처리)과 통합하거나, 고차원 위상 동역학을 범주론적으로 다루는 연구에 유용한 기반을 제공한다.