선형분배적 폭스 정리 확장

초록

본 논문은 선형분배 범주(LDC)에 대한 폭스 정리의 일반화를 제시한다. 저자는 LDC와 듀오이드 구조를 연결하는 ‘중간 규칙(메디얼)’을 도입해, 텐서 구조는 카테시안, 파 구조는 코카테시안인 특수한 LDC인 카테시안 선형분배 범주(CLDC)를 정확히 규정한다. 이를 위해 중간 선형분배 범주(MLDC)와 중간 이중모노이드(메디얼 바이모노이드)를 정의하고, 이들 사이의 선형 함자와 변환을 구축한다. 최종적으로 CLDC가 대칭 MLDC의 메디얼 바이모노이드 구조를 갖는 경우와 동치임을 보이며, 기존 폭스 정리와 완전한 유사성을 확보한다.

상세 분석

논문은 먼저 전통적인 폭스 정리를 카테시안 범주와 대칭 모노이달 범주의 관계로 재정리한다. 여기서 핵심은 대칭 모노이달 범주의 객체가 고유한 코모노이드(대각선과 단위)를 갖는다는 점이며, 이러한 코모노이드를 취함으로써 카테시안 구조를 복원한다는 사실이다. 저자는 이 아이디어를 선형분배 범주(LDC)로 확장하려는 시도를 시작한다. LDC는 두 개의 모노이달 구조 ⊗(텐서)와 ⊕(파)를 가지고, 선형 분배 변환 δ_L, δ_R을 통해 서로 연결된다. 그러나 일반적인 LDC에 바로 폭스 정리를 적용하면, 텐서와 파 구조 사이에 필요한 교환 법칙이 결여되어 adjunction을 구성할 수 없다는 장애가 발견된다.

이를 해결하기 위해 저자는 ‘중간 규칙(medial rule)’을 도입한다. 논리학에서 깊은 추론(deep inference) 체계의 한 규칙인 메디얼은 (A⊗B)⊕(C⊗D) → (A⊕C)⊗(B⊕D) 형태의 변환으로, 이는 듀오이드 범주의 교환 지도와 동일시될 수 있다. 따라서 LDC에 메디얼 변환 μ와 추가적인 단위·코단위 지도(Δ_⊥, ∇_⊤, m) 등을 부여해 ‘중간 선형분배 범주(MLDC)’를 정의한다. MLDC는 두 모노이달 구조가 각각 카테시안·코카테시안이 아닌 일반적인 형태를 유지하면서도, 메디얼 변환을 통해 듀오이드의 교환성을 확보한다는 점에서 기존 LDC와 듀오이드 사이의 교량 역할을 한다.

다음 단계에서는 MLDC 내에서 ‘메디얼 바이모노이드’를 정의한다. 이는 객체 A가 ⊗‑대각선 Δ_A, ⊗‑단위 e_A, ⊕‑곱 ∇_A, ⊕‑단위 u_A를 동시에 갖고, 이 네 구조가 메디얼 변환 μ와 호환되는 일련의 연산 규칙을 만족한다는 의미이다. 특히, 코모노이드와 모노이드가 서로 교환되는 형태가 (A⊗B)⊕(C⊗D) → (A⊕C)⊗(B⊕D)와 일치하도록 설계된다. 이러한 메디얼 바이모노이드는 기존 폭스 정리에서 코모노이드를 대체하는 역할을 수행한다.

저자는 이제 CLDC, 즉 텐서 구조가 카테시안이고 파 구조가 코카테시안인 특수 LDC를 고려한다. CLDC는 본질적으로 ‘대칭 MLDC’에 메디얼 바이모노이드 구조가 존재하는 경우와 동치임을 보인다. 구체적으로, CLDC의 텐서 카테시안 구조는 객체마다 고유한 ⊗‑대각선과 ⊗‑단위를 제공하고, 파 코카테시안 구조는 ⊕‑곱과 ⊕‑단위를 제공한다. 이때 메디얼 변환 μ가 존재하면, 두 구조 사이의 교환 법칙이 자동으로 만족되어 MLDC의 대칭성 조건을 충족한다.

마지막으로 저자는 ‘선형분배 폭스 정리’를 정리한다. 이는 ‘CLDC → 대칭 MLDC’ 포함 함자를 오른쪽에 코모노이드(메디얼 바이모노이드) 취함 functor가 좌측에 존재한다는 adjunction을 의미한다. 즉, 임의의 대칭 MLDC에 대해 메디얼 바이모노이드의 코모노이드(또는 바이모노이드) 범주를 취하면, 그 결과는 카테시안 텐서와 코카테시안 파를 동시에 갖는 CLDC가 된다. 이 adjunction은 기존 폭스 정리와 구조적으로 동일하지만, 두 모노이달 구조와 메디얼 변환이라는 추가적인 층을 포함한다는 점에서 새로운 통찰을 제공한다.

전반적으로 논문은 LDC와 듀오이드 이론을 결합해, 카테시안·코카테시안 혼합 구조를 갖는 범주를 정확히 기술하고, 이를 통해 폭스 정리의 선형분배적 버전을 완성한다. 이는 선형 논리, 깊은 추론, 그리고 이중 모노이달 구조를 활용하는 다양한 분야(예: 양자 계산, 관계 대수)에서 이론적 기반을 확장하는 중요한 기여라 할 수 있다.