카르테시안 이중범주 II

초록

본 논문은 Carboni와 Walters가 제시한 로컬 순서 이중범주에 대한 카르테시안 이중범주 개념을 일반 이중범주로 확장한다. 확장된 정의를 이용해 카르테시안 이중범주가 대칭 모노이달 이중범주임을 증명하고, 그 구조적 특성을 상세히 분석한다.

상세 분석

카르테시안 이중범주라는 개념은 원래 로컬 순서가 부여된 이중범주에서 ‘곱’과 ‘단위 객체’를 통해 카테고리 수준의 카르테시안 구조를 모방하도록 설계되었다. Carboni‑Walters는 이러한 구조가 내부적으로 ‘동시성’과 ‘합성 가능성’을 보장한다는 점을 강조했지만, 그 정의는 순서 관계에 크게 의존해 일반적인 이중범주에는 적용하기 어려웠다. 본 논문은 이 한계를 극복하기 위해 두 가지 핵심적인 일반화를 제시한다. 첫째, 객체 사이의 곱을 정의할 때 순서가 아닌 ‘보조 이중범주’(auxiliary bicategory) 내의 2‑셀을 활용하여 보편적인 제한조건을 만든다. 이는 기존의 ‘product‑like’ 1‑셀과 2‑셀의 상호작용을 재구성함으로써, 순서가 없는 상황에서도 ‘유일성(up to isomorphism)’과 ‘보편성(universal property)’을 유지한다. 둘째, 단위 객체를 정의할 때 ‘pseudo‑terminal’ 객체 개념을 도입해, 단순히 초기·종단 객체가 아니라 모든 1‑셀에 대해 ‘좌·우 동등성’(left‑right adjointness)을 만족하는 구조를 요구한다. 이러한 정의는 이중범주의 ‘양방향성’(bidirectionality)을 보존하면서도, 모노이달 구조와의 호환성을 확보한다.

논문은 위의 정의를 바탕으로 주요 정리들을 전개한다. 가장 중요한 정리는 “카르테시안 이중범주는 자연스럽게 대칭 모노이달 이중범주가 된다”는 명제이다. 증명 과정에서는 먼저 곱 연산이 이중범주의 텐서곱(tensor product)과 동형사상(isomorphism) 수준에서 일치함을 보이고, 이어서 교환자(σ)와 결합자(α)의 2‑셀이 모두 ‘coherence’ 조건을 만족함을 확인한다. 특히, 교환자에 대한 대칭성은 곱의 보조 구조가 ‘스위치 가능한’(switchable) 특성을 갖는다는 점에서 핵심적인 역할을 한다. 또한, 단위 객체에 대한 ‘pseudo‑terminal’ 성질이 모노이달 단위 법칙(unit law)과 완전하게 일치함을 보여, 전체 구조가 대칭 모노이달 이중범주 axioms를 만족함을 입증한다.

기술적 깊이에서 눈여겨볼 점은 2‑셀의 ‘coherence diagrams’를 전통적인 Mac Lane의 coherence theorem과 유사하게 다루면서도, 이중범주의 복합적인 수평·수직 합성 구조를 동시에 고려한다는 점이다. 저자들은 이를 위해 ‘double‑coherence’ 라는 새로운 개념을 도입하고, 각 단계별 diagram이 ‘strictification’ 없이도 자연스럽게 교환됨을 보인다. 이러한 접근은 기존의 strictification 방법에 비해 더 일반적이며, 실제 계산에서도 복잡도를 크게 낮춘다.

마지막으로, 논문은 몇 가지 예시를 통해 이론의 적용 가능성을 시연한다. 대표적인 예로, 관계 이중범주(Rel), 스팬 이중범주(Span), 그리고 프로그래밍 언어 이론에서 등장하는 효과 이중범주(effect bicategory)를 들며, 각각이 확장된 카르테시안 구조를 만족함을 확인한다. 특히, Span 이중범주의 경우 곱이 ‘pullback’으로 구현되며, 이는 전통적인 카르테시안 곱과 완전 일치한다. 이러한 예시들은 제안된 정의가 실제 수학·컴퓨터 과학 분야에서 널리 활용될 수 있음을 시사한다.