표현 가능한 구간의 특성 규명

초록

대칭모노이달 폐쇄 범주 E에서 코카테고리 객체인 구간을 고려한다. 이 구간이 E 위에 유한히 양완전한 2‑카테고리 구조를 유도하도록 하는 ‘표현 가능’ 조건을, 추가적인 대수적 구조—특히 단일 연산과 그와 호환되는 반전, 연결 구조—로 정확히 기술한다. 주요 정리는 이러한 구조가 존재할 때와 그때만 구간이 표현 가능함을 보이며, 여러 구체적 예시와 2‑카테고리 호모토피 이론과의 연관성을 논한다.

상세 분석

본 논문은 대칭모노이달 폐쇄 범주 (\mathcal{E}) 내에서 ‘구간(interval)’이라 불리는 코카테고리 객체를 연구한다. 구간은 객체 (I)와 두 개의 단사 사상 (d_0,d_1:1\to I) (시작·끝 점)와 합성 연산 (c:I\otimes I\to I) (‘연결’)을 갖는 구조로 정의된다. 이러한 구간이 ‘표현 가능(representable)’하다는 것은, (\mathcal{E}) 의 모든 객체 (X)에 대해 (\mathcal{E}(X,I)) 가 2‑셀을 갖는 호몰로지적 구조, 즉 (\mathcal{E}) 위에 유한히 양완전한 2‑카테고리 구조를 부여한다는 의미이다.

핵심은 구간이 표현 가능하려면 단순히 코카테고리 구조만으로는 부족하고, 추가적인 대수적 장치가 필요하다는 점이다. 저자는 다음과 같은 네 가지 구조를 도입한다.

1. 단일 연산 (\mu: I\otimes I\to I) – 이는 ‘합성’과는 별개로, 구간을 자체적으로 결합하는 이항 연산이며, 결합법칙과 단위원소 (e:1\to I) 와의 상호작용을 만족한다.
2. 반전 (\tau:I\to I) – 구간의 시작점과 끝점을 뒤바꾸는 자가동형사상으로, (\tau\circ\tau=\mathrm{id})와 (\tau\circ d_0=d_1,\ \tau\circ d_1=d_0)를 만족한다.
3. 연결 구조 (\nabla:I\to I\otimes I) – 이는 코카테고리의 코곱 연산에 해당하며, ((d_0\otimes d_0)\circ\nabla=d_0,\ (d_1\otimes d_1)\circ\nabla=d_1) 등과 같은 일관성을 가진다.
4. 교환 법칙 – (\mu)와 (\nabla)가 서로에 대한 연산적 이중성(바이디알) 관계를 만족하고, (\tau)가 (\mu,\nabla)와 교환한다.

이 네 구조가 모두 존재하고 위의 방정식들을 만족하면, 구간은 ‘표현 가능’함을 보이는 주요 정리(Theorem 3.5)가 성립한다. 정리의 증명은 두 단계로 나뉜다. 첫째, 위 구조가 주어지면 (\mathcal{E}(X,I))에 자연스럽게 2‑셀을 정의할 수 있음을 보인다. 여기서 2‑셀은 (\mathcal{E}(X,I))의 두 사상 사이의 ‘homotopy’로, (\mu)와 (\nabla)를 이용해 합성·전치 연산을 구현한다. 둘째, 반대로 (\mathcal{E}) 위에 유한히 양완전한 2‑카테고리 구조가 존재한다면, 그 구조로부터 위 네 대수적 연산을 역으로 구성할 수 있음을 증명한다.

특히, 저자는 연결 구조와 반전이 구간을 ‘양방향’으로 해석하게 함으로써, 2‑카테고리의 ‘동형 사상’과 ‘동형 사상 사이의 변형’ 사이의 이중성을 정확히 포착한다는 점을 강조한다. 또한, (\mu)와 (\nabla)가 서로에 대한 왼·오른 단위와 결합법칙을 만족함을 통해, 구간이 이중 모노이드(bimonoid) 로서 작동함을 보인다. 이러한 이중 구조는 기존의 ‘모노이달 구간’(예: (