라플라자 집합: 의사대수의 일관성 도표 선택

초록

이 논문은 이론(theory)과 2‑이론 위에 정의되는 의사대수(pseudo algebra)의 일관성 도표를 선택하는 새로운 체계인 “라플라자 집합(Laplaza set)”을 제시한다. 기존의 모든 가능한 도표를 강제하는 방식이 지나치게 강력함을 지적하고, 변수의 중복 사용을 제한하는 조건을 통해 필요한 도표만을 선택하도록 일반화한다. 이를 통해 교환 모노이드, 반대칭 반도체, 세계시트와 같은 다양한 예제가 올바르게 모델링된다.

상세 분석

논문은 먼저 Lawvere 이론을 일반화한 ‘이론(theory)’과 그 내부화인 ‘범주 이론(categorical theory)’를 정밀히 정의한다. 이론 T는 자연수 객체들의 집합 Γ 위에 정의된 함자 T: Γ→Sets와 합성 연산 γ, 단위 1을 갖으며, 연산들의 조합과 변수 치환에 대한 네 가지 공리(연관성, 단위성, 두 종류의 함자성)를 만족한다. 이러한 구조는 전통적인 1‑정렬 대수와 다중정렬 대수를 모두 포괄한다.

다음으로 ‘연산자(opera)d’를 도입한다. 여기서는 Γ의 사상들을 전단사(bijection)로 제한하고, 공리(3),(4)를 전단사에만 적용함으로써 변수의 중복 없이 각 변수가 정확히 한 번씩만 등장하는 식을 다룰 수 있게 한다. 이때 자유 이론은 주어진 연산자와 ‘각 변수가 한 번씩만 사용되는’ 동등식으로 생성된다.

핵심 아이디어는 ‘라플라자 집합’ S⊂T(n) 를 선택함으로써, 어떤 단어(연산식)가 일관성 도표의 대상이 되는지를 지정하는 것이다. 주어진 S에 대해 그래픽 전이론 G_S를 만든 뒤, 자유 범주 이론 F_S를 구성하고, 두 종류의 동등식(ι_{ab}≈ι_{ba}^{-1} 및 동일 출발·도착을 갖는 화살표의 동일성)을 강제로 나눔으로써 새로운 범주 이론 T’_S를 얻는다. T’_S‑알제브라, 즉 T’_S→End_Cat(X) 의 모프리즘은 원래 이론 T 위에 ‘라플라자 집합 S에 포함된 단어들만을 대상으로 하는’ 일관성 이성질을 갖는 의사대수이다.

이 구조는 기존 Hu‑Kriz의 정의가 요구했던 “모든 가능한 도표를 강제”하는 접근을 교정한다. 예를 들어 교환 모노이드의 경우, a⊕a 를 항등식(빈 변환)과 교환 법칙 τ_{aa} 두 경로로 변환할 수 있는데, 기존 정의는 τ_{aa}=Id 를 요구해 대칭 모노이달을 지나치게 제한한다. 라플라자 집합을 {a⊕b | a≠b} 로 잡으면 a⊕a 에 대한 교환 도표는 제외되어, 대칭 모노이달이 정상적인 의사대수로 받아들여진다.

또한 반대칭 반도체와 같은 경우, 분배법칙에서 변수 중복이 발생한다. 라플라자 집합은 변수 중복을 허용하는 특정 동등식만을 선택하도록 설계될 수 있어, Laplaza가 제시한 ‘분배 모노이달’의 일관성 조건을 정확히 재현한다. 세계시트와 같이 동적 인덱싱이 필요한 2‑이론에서도 2‑연산자와 2‑라플라자 집합을 정의함으로써, 글루잉 연산에 대한 복잡한 일관성 도표를 적절히 제어한다.

결과적으로 라플라자 집합은 “각 변수는 한 번씩만 사용한다”는 제한을 기반으로, 필요한 일관성 도표만을 선택하도록 하는 일반적인 메커니즘을 제공한다. 이는 기존 이론의 강제성을 완화하면서도, 중요한 예제(대칭 모노이달, 이중 모노이달, 세계시트 등)에서 기대되는 수학적 구조를 정확히 포착한다.