트리와 원판의 이중성: 증명과 범주적 시각

초록

본 논문은 Joyal이 정의한 조합적 범주 Disks와 그 이중 범주 Θ 사이의 동등성을 새로운 증명으로 제시한다. 저자는 ‘증강 범주’와 ‘축소 범주’를 도입해 귀납적 구조를 명확히 하고, 구간과 순서를 이용해 정의된 중간 범주들을 통해 두 범주의 동치성을 보인다. 마지막 장에서는 라벨이 붙은 트리 범주를 구성하고, 이를 앞선 귀납적 범주와 동등함을 증명함으로써 기존 오류를 정정하고, Disks와 Θ에 대한 여러 직관적 모델을 제공한다.

상세 분석

논문은 먼저 Joyal이 제시한 Disks 범주의 원래 정의를 재검토하고, 그와 쌍대인 Θ 범주가 실제로는 ‘축소된’ 증강 범주와 동등함을 보인다. 여기서 증강 범주란 하나의 자명한 객체(보통 ‘∗’라 표기)를 추가한 범주로, 귀납적 정의를 수행할 때 기본 단계와 귀납 단계 사이의 구분을 명확히 해준다. 축소 범주는 이 자명 객체를 제거한 형태이며, 실제 Disks와 Θ가 나타나는 범주이다. 저자는 구간(Interval)과 순서(Ordinal)를 각각 ‘I‑카테고리’와 ‘O‑카테고리’라 명명하고, 이를 이용해 단계별로 새로운 범주 Iₙ, Oₙ을 정의한다. 각 단계에서 Iₙ은 Oₙ‑트리의 ‘입력’ 구조를, Oₙ은 Iₙ‑트리의 ‘출력’ 구조를 모델링한다. 귀납적 증명은 두 범주 사이에 자연스러운 전단사 함수를 구성함으로써 진행되며, 특히 ‘축소’ 과정을 통해 자명 객체가 포함된 경우와 제외된 경우를 구분한다. 이 과정에서 저자는 첫 번째 버전에서 발생한 오류—즉, Disks에 터미널 트리를 포함시킨 실수를—축소 범주 개념을 도입함으로써 정확히 교정한다.

다음으로 라벨이 붙은 트리(labeled trees) 범주를 정의한다. 여기서는 각 트리의 각 노드에 ‘형식’(type)과 ‘차수’(arity)를 라벨링하고, 이 라벨링이 구간·순서 구조와 일치하도록 강제한다. 라벨 트리 범주는 두 단계(증강·축소) 모두에서 동등함을 보이기 위해, ‘포함 사상’과 ‘투사 사상’이라는 두 종류의 함수를 구축한다. 포함 사상은 라벨 트리를 증강 범주에 삽입하고, 투사 사상은 라벨 트리에서 자명 객체를 제거해 축소 범주로 사상한다. 이 두 사상은 서로 역함수 관계에 놓이며, 따라서 라벨 트리 범주와 Iₙ·Oₙ 계열이 전이동형 동등함을 갖는다.

전체적인 기여는 다음과 같다. 첫째, 증강·축소 개념을 통해 귀납적 정의를 보다 체계화하고, 기존 증명에서 놓쳤던 경계 조건을 명확히 한다. 둘째, 구간·순서 기반의 중간 범주를 도입함으로써 Disks와 Θ 사이의 구조적 대응을 시각적으로 이해하기 쉽게 만든다. 셋째, 라벨 트리 범주라는 새로운 모델을 제공해, 향후 고차 범주 이론이나 약한 ω‑카테고리의 구체적 구현에 활용될 수 있는 기반을 마련한다.