삼차 범주에서의 이중동등과 이중수반 이중동등

초록

이 논문은 모든 삼차 범주 (T) 의 내부 이중동등이 자동으로 이중수반 이중동등 구조를 가짐을 증명하고, 이를 이용해 모노이달 구조의 전이와 Picard 2‑카테고리에서의 역원 선택을 일관되게 구성하는 두 가지 응용을 제시한다.

상세 분석

논문은 먼저 2‑범주 ( \mathbf{Bicat} ) 에서의 결과를 상세히 검증한다. 여기서는 이중동등(biequivalence)을 “약한 역원”과 “지역 동등성”이라는 두 가지 동등성 조건으로 동등시킨 뒤, 기존의 2‑범주 이론에서 알려진 ‘모든 동등은 수반 동등(adjoint equivalence)으로 완성된다’는 정리를 삼차 수준으로 끌어올린다. 핵심은 1‑셀 (f) 가 이중동등이면, 적절한 2‑셀 (\eta,\varepsilon) 와 3‑셀 (\alpha,\beta) 을 구성해 ‘이중수반 이중동등(biadjoint biequivalence)’의 전부 데이터를 얻는 것이다.

두 번째 단계에서는 ‘지역 삽입(local embedding)’ 조건을 만족하는 삼차 범주 사상 (F!:!S\to T) 에 대해, 목표 삼차 범주 (T) 가 모든 이중동등을 이중수반 이중동등으로 확장한다면, 원천 (S) 도 동일한 성질을 물려받는 것을 보인다. 여기서는 삽입이 보존하는 1‑셀·2‑셀·3‑셀의 구조를 정밀히 추적하고, 삽입이 전단사적(essentially surjective)임을 이용해 필요한 3‑셀들을 ‘역으로 끌어올린다’.

세 번째 단계는 ‘함자 삼차 범주’ (\mathbf{Tricat}(S,T)) 에 대한 논증이다. Yoneda 삽입을 이용해 임의의 삼차 범주 (T) 를 (\mathbf{Bicat})‑값 함자 범주에 완전하게 삽입하고, 앞선 두 단계의 결과를 연쇄적으로 적용한다. 이 과정에서 삼차 범주의 코히런스 정리(모든 자유 삼차 범주의 도식이 교환한다)를 핵심 도구로 사용해 복잡한 3‑셀 합성의 일관성을 확보한다.

논문은 또한 ‘수평 고리(horizontal cusp)’ 공리와 ‘동료(mates) 계산법’을 활용해 두 형태의 이중수반 이중동등 정의가 동등함을 보이며, 이를 통해 실제 계산에서 어느 정의든 자유롭게 선택할 수 있음을 강조한다.

응용 부분에서는 첫째, 이중동등 (F!:!X\to Y) 가 주어지면 (Y) 위에 약한 역원 (G) 을 선택하고, 전체 이중수반 구조를 이용해 (X) 의 모노이달 2‑구조(텐서, 단위, 연관자, 2‑셀 등)를 (Y) 에 ‘전이’한다. 여기서는 특히 3‑셀 수준에서의 연관성(associator, unitors)과 그 코히런스 조건을 어떻게 끌어올리는지가 상세히 다뤄진다.

둘째, Picard 2‑카테고리(모든 객체가 약하게 가역인 모노이달 2‑카테고리)에서 역원 선택을 일관되게 할 수 있음을 보인다. 구체적으로, 자유 Picard 2‑카테고리 모나드에 대한 삼차 차원의 멱등성(idempotency) 성질을 이용해, 역원 선택을 포함하는 ‘코히런트 Picard 2‑카테고리’와 일반 Picard 2‑카테고리 사이가 삼차 동등(triequivalence)임을 증명한다. 이는 역원 선택이 존재함을 보이는 것에 그치지 않고, 선택이 자연스럽게 변형(모노이달 함자)과 호환됨을 의미한다.

전체 증명은 복잡한 3‑셀 도식과 코히런스 검증을 피하기 위해 ‘모든 자유 삼차 범주의 도식이 교환한다’는 강력한 코히런스 정리를 적극 활용한다. 저자는 필요한 경우에만 구체적인 도식 검증을 제시하고, 나머지는 독자에게 위임함으로써 논문의 가독성을 유지한다.

이러한 일련의 결과는 고차 범주 이론에서 ‘동등성’과 ‘수반 구조’ 사이의 관계를 명확히 하고, 실제 수학·물리 모델링(예: 고차 대수적 위상 이론, 고차 양자 대수)에서 구조 전이와 역원 선택을 체계적으로 다룰 수 있는 기반을 제공한다.