대칭적 모노이달 이중범주에서 이중범주로의 대칭적 모노이달 2범주 구축법

초록

대칭적 모노이달 이중범주가 특정 상승(lifting) 조건을 만족하면, 그 구조를 이용해 대칭적 모노이달 2범주를 체계적으로 만들 수 있음을 제시한다. 이 방법은 자연적으로 나타나는 많은 이중범주에 적용 가능하지만, 모든 경우에 적용되지는 않는다.

상세 분석

본 논문은 대칭적 모노이달 이중범주(SMDC)와 대칭적 모노이달 2범주(SM2C) 사이의 구조적 전이를 명확히 규정한다. 핵심은 ‘승강(lifting) 조건’이라 불리는 기술적 가정이다. 이 조건은 이중범주의 수직·수평 합성에 대한 모노이달 구조가 각각 독립적으로 존재하면서도, 두 합성 사이의 교환법칙이 대칭적 모노이달 변환을 통해 일관되게 끌어올려질 수 있음을 요구한다. 구체적으로, 이중범주의 수직 1-셀과 수평 1-셀이 각각 모노이달 카테고리(⊗, I)를 형성하고, 이들 사이의 이중 셀(2-셀)이 ‘중간 사상’(interchanger)으로서 대칭성(σ: X⊗Y → Y⊗X)을 보존하도록 설계된다. 논문은 이러한 구조가 ‘가짜’(pseudo) 이중범주가 아닌 ‘강(strict)’ 이중범주에서 자연스럽게 나타나는 경우를 다룬다.

승강 조건을 만족하면, 이중범주의 수직·수평 합성을 하나의 2-범주적 합성으로 통합할 수 있다. 이때 1-셀은 이중범주의 수직·수평 1-셀의 쌍으로 정의되고, 2-셀은 이중 셀들의 등가류(iso‑class)로 구성된다. 중요한 점은 모노이달 구조가 이 2-범주 수준에서도 그대로 승격되어, 텐서곱 ⊗와 단위 객체 I가 2-범주의 전반에 걸쳐 강하게 연관된다. 또한, 대칭성 변환 σ는 2-범주 내에서 자연스러운 변환으로 작용해, 교환법칙과 결합법칙이 모두 고전적인 모노이달 2-범주의 공리와 일치한다.

논문은 이론적 프레임워크를 제시함과 동시에, 구체적인 예시를 통해 방법론의 실용성을 검증한다. 예를 들어, 스팬(spans) 이중범주, 프로피(Prof) 이중범주, 그리고 내부 카테고리(Internal categories)에서 유도된 이중범주가 모두 승강 조건을 만족함을 보인다. 특히, 스팬 이중범주의 경우, 수직 합성은 푸시아웃(pullback)으로, 수평 합성은 푸시아웃(pushout)으로 정의되며, 이 두 연산 사이의 교환법칙이 대칭적 모노이달 구조와 완벽히 맞물린다.

또한, 논문은 기존의 ‘가짜’ 대칭적 모노이달 2-범주 구축 방법과 비교해, 현재 제시된 방법이 더 일반적이며, 특히 ‘강한’(strict) 대칭성을 요구하지 않으면서도 동등성(weak equivalence) 수준에서 충분히 강력함을 강조한다. 마지막으로, 승강 조건이 깨지는 경우(예: 비대칭적 교환법칙을 가진 이중범주)에는 본 방법이 적용되지 않으며, 이러한 한계점과 향후 연구 방향을 명시한다.