대칭 범주 문법 잔류와 갈루아 연결

초록

본 논문은 Lambek‑Grishin 계산에 Galois 연결을 도입해 잔류 연산과 대조되는 반단조 연산군을 정의한다. 기존의 곱·좌·우 나눗셈(잔류 연산)은 단조적이지만, 새로 제시된 차이·좌·우 차이 연산은 반단조이며, 이들 사이의 대칭성을 유지한다. 저자는 이러한 연산들의 대수적 성질을 분석하고, 부정 연산을 포함한 선형 분배 원리를 일반화한다. 또한 CPS 변환을 통해 새로운 타입 형성 연산을 해석하고, 언어학적 예시로 의미론적 부정과 양화 등을 설명한다.

상세 요약

Lambek‑Grishin 계산은 전통적인 Lambek 계산에 대칭적인 공배(product)와 차이(coproduct) 연산을 추가함으로써, 논리적·언어학적 구조를 보다 풍부하게 만든다. 이 구조에서 핵심은 residuation 관계, 즉 A·B ⊢ C ⇔ A ⊢ C / B ⇔ B ⊢ A \ C 와 그 대칭인 co‑residuation 관계이다. 논문은 이러한 잔류 연산이 모두 단조(monotone)임을 재확인하고, 동시에 Galois 연결이라는 반단조(antitone) 연산군을 도입한다. 구체적으로, 차이 연산 ⟂와 그 좌·우 변형은 A ⟂ B ⊢ C ⇔ A ⊢ B ⇒ C 와 같은 형태로 정의되며, 여기서 ⇒는 반단조 함수이다. 이때 Galois 연결은 A ≤ B ⇒ C ⇔ C ≤ A ⟂ B 라는 이중성으로 표현된다.

저자는 이러한 Galois 연산이 기존의 residuated 연산과는 독립적인 대수적 구조를 형성함을 보인다. 특히, 차이 연산은 합성법칙에서 교환법칙을 만족하지 않지만, 선형 분배 원리(distributivity)와 결합될 때 새로운 형태의 교환식—예를 들어, (A ⊕ B) ⟂ C ⊢ (A ⟂ C) ⊕ (B ⟂ C)—을 만족한다. 이는 기존의 (A·B) ⊕ C ⟶ (A ⊕ C)·(B ⊕ C)와는 대조적인 패턴이다.

알고리즘적으로는 이러한 연산들을 CPS(continuation‑passing style) 번역에 매핑함으로써, 타입 이론적 관점에서 부정과 양화 같은 언어 현상을 모델링한다. 번역 과정에서 residuated 연산은 전통적인 함수형 변환으로, Galois 연산은 컨티뉴에이션을 뒤집는 형태로 구현된다. 결과적으로, 논문은 두 연산군이 서로 보완적인 역할을 하며, 언어학적 의미론에서 긍정·부정, 전제·결론 관계를 동시에 포착할 수 있음을 시사한다.