액테고리와 코파워, 고차 메시지 전달 의미론

초록

이 논문은 오른쪽 액테고리와 동형 객체가 존재할 때 이를 오른쪽 풍부 카테고리와 코파워 구조를 가진 형태와 동등함을 증명한다. 기존 결과가 폐쇄적이고 대칭적인 모노이달에서만 알려졌던 반면, 저자는 폐쇄성·대칭성을 요구하지 않는 일반적인 모노이달을 대상으로 확장한다. 이 이론적 결과는 선형 액테고리 기반 동시 언어 CaMPL의 고차 프로세스 전달 메커니즘을 모델링하는 데 핵심적인 역할을 한다.

상세 분석

논문은 먼저 오른쪽 A‑actegory X의 정의를 상기한다. 여기서 A는 모노이달, ◁ : X × A → X는 액션이며, 각 X∈X에 대해 X ◁ – ⊣ Hom(X,–)라는 오른쪽 어드쥬인트가 존재하면 “hom‑objects”를 가진 액테고리라 부른다. 이어서 오른쪽 A‑enriched 카테고리의 전통적 정의(동형 객체 Hom(X,Y)∈A, 합성 m, 단위 id)와, 이 카테고리가 “copower”를 갖는 조건을 제시한다. 기존 문헌에서는 A가 폐쇄적(closed)이고 대칭(symmetric)일 때, 액테고리와 풍부 카테고리·코파워 사이의 동등성이 알려져 있었다. 저자는 이 가정을 완전히 없애고, A가 비폐쇄·비대칭일 경우에도 동일한 동등성이 성립함을 보인다. 핵심은 어드쥬인트 X ◁ – ⊣ Hom(X,–)가 존재하면, 이를 이용해 합성 m와 단위 id를 정의하고, copower의 단위 η를 adjunction의 unit으로 잡아 bijective correspondence를 구성함으로써 풍부 구조와 copower를 동시에 구축한다. 반대 방향에서는 copower의 universal property을 이용해 η가 adjunction의 unit임을 보이고, Hom( X, – )가 실제로 오른쪽 어드쥬인트가 됨을 증명한다.

이론적 결과를 CaMPL에 적용한다. CaMPL은 두 세계(순차·동시)를 갖는 선형 액테고리 모델이며, 동시 측은 *‑autonomous(폐쇄)하지만 자원을 복제할 수 없다는 선형 제약이 있다. 고차 프로세스를 재귀적으로 사용하려면 프로세스를 순차 데이터로 저장하고 복제해야 하는데, 이는 “동시 세계가 순차 세계에 풍부화(enriched)된” 구조가 필요함을 의미한다. 액테고리‑hom‑objects와 풍부‑copower 동등성은 바로 이 풍부화를 형식화한다. 구체적으로, store와 use 연산자를 도입해 프로세스를 순차 데이터로 변환·재사용하는 메커니즘을 정의하고, 그 뒤에 숨은 카테고리 이론이 바로 본 논문의 정리와 일치함을 보인다.

또한 논문은 copower와 power가 동시에 존재할 때 파라미터화된 좌·우 adjunction ( – ◁ A ⊣ A ▶ – )이 존재함을 보이며, 이는 메시지 전달의 입력·출력 극성 간의 대칭성을 수학적으로 설명한다. 전체 증명은 자연성, 삼각식, 교환법칙 등을 세밀히 검증하며, 특히 비폐쇄·비대칭 상황에서도 모든 단계가 유지되는 점을 강조한다.

결과적으로, 이 연구는 “액테고리 + hom‑objects ⇔ 풍부 카테고리 + copower”라는 새로운 범용 동등성을 제공하고, 이를 통해 선형 동시 언어에서 고차 프로세스 재사용을 안전하게 모델링할 수 있는 이론적 기반을 마련한다.