스칼라·모나드·범주 삼각형의 교차점

본 논문은 “스칼라, 모나드, 그리고 범주”라는 세 요소 사이의 상호작용을 삼각형 형태의 adjunction 네트워크로 체계화한다. 서론에서는 스칼라가 벡터·모듈·그룹·모노이드 작용에서 어떻게 등장하는지를 설명하고, 모노이달 카테고리 C의 텐서 단위 I에 대한 동형 사상 C(I,I) 가 스칼라 집합을 형성한다는 ‘스칼라의 기적’을 소개한다. 특히 양자 계산에서의 biproduct와 dagger 구조가 스칼라에 반링·역전 성질을 부여한다는 최근 연구들을 인용한다. 첫 번째 기술적 섹션은 기본 삼각형(그림 1)을 제시한다. 여기서는 ℵ₀(자연수 집합을 객체로 하는 카테고리)와 Sets 사이의 전단사 관계, 그리고 A↦A×(–)와 평가 함수(–)(1) 사이의 좌·우 adjunction을 통해, 집합에 대한 ‘곱함수’와 ‘평가함수’가 서로 반대되는 역할을 함을 보인다. 이 삼각형은 이후 모든 확장 삼각형의 토대가 된다. 섹션 3에서는 모노이드와 모나드 사이의 기본 adjunction을 전개한다. 모노이드 M에 대해 행동 모나드 A(M)=M×(–)를 정의하고, 강한 모나드 T에 대해 T(1)에서 모노이드 구조를 유도한다. 두 변환 A와 E는 서로 좌·우 adjoint이며, 반사 관계를 형성한다. 이는 전통적인 ‘모노이드‑모나드 대응’을 카테고리 수준에서 재현한다. 섹션 4는 ‘덧셈 모나드’를 도입한다. 덧셈 모나드란 Kleisli 범주 Kℓ(T)와 대수 범주 Alg(T) 모두에서 이항 합이 존재하고, 이 합이 모나드의 연산과 호환되는 모나드이다. 저자는 이를 통해 모나드가 반링 구조와 연결될 수 있음을 보인다. 특히, Kℓ_N(T)에서 자연수 객체에 대한 coproduct가 덧셈 연산과 일치함을 증명한다. 섹션 5와 6에서는 가환 반링과 그에 대응하는 가환 덧셈 모나드, 그리고 biproduct를 가진 대칭 모노이달 로와이어 이론 사이의 삼각형(그림 4)을 구축한다. 반링의 두 연산(덧셈·곱셈)이 각각 모나드의 덧셈형·곱셈형 구조와 일치함을 보이며, 로와이어 이론 L이 생성하는 모나드 T_L는 L(1, i)와 X^i의 합으로 정의된다. 이때 L이 biproduct를 갖는 경우, T_L는 가환 반링 모나드가 된다. 섹션 7에서는 역전(involution)과 덱거(dagger) 구조를 추가한다. 역전이 있는 반링은 a↦a†라는 연산을 갖고, 덱거 구조는 모나드와 로와이어 이론 모두에 자기수반성(자기동형)성을 부여한다. 저자는 이러한 구조가 존재할 때, 모나드의 강도(st)와 교환성(dst)이 추가적인 대칭성을 만족함을 보인다. 결과적으로, 덱거·역전이 있는 로와이어 이론은 ‘덱거 대칭 모노이달 로와이어 이론’이 되며, 이에 대응하는 모나드는 ‘덱거 가환 덧셈 모나드’가 된다. 각 삼각형은 다음과 같이 요약된다. - 그림 2: Mon ↔ Mnd ↔ Law (일반) - 그림 3: 가환 Mon ↔ 가환 Mnd ↔ 대칭 Law - 그림 4: 반링 ↔ 가환 덧셈 Mnd ↔ biproduct를 가진 Law - 그림 5: 역전·덱거 반링 ↔ 덱거 가환 덧셈 Mnd ↔ 덱거 biproduct Law 이 네 단계는 포함관계와 제한관계를 통해 서로 연결되며, 각 단계마다 추가되는 대수적 제약이 adjunction의 한쪽 방향을 강화한다. 논문은 이러한 체계가 스칼라의 다양한 대수적 성질(비가환·가환·반링·역전·덱거)을 범주론적 관점에서 일관되게 해석할 수 있음을 강조한다. 마지막으로, 저자는 향후 연구 방향으로 (1) 보다 일반적인 카테고리 C 위에서의 확장, (2) 양자 정보 이론에서의 구체적 적용, (3) 고차원 대수 구조와의 연계 등을 제시한다.