반전 범주와 모노이드 그리고 GNS 대응

본 논문은 ‘반전(involutive) 범주’를 새로운 기본 구조로 제시하고, 이를 통해 반전 모노이드와 GNS(Gelfand‑Naimark‑Segal) 대응을 일반적인 범주론적 틀 안에서 기술한다. **1. 반전 범주의 정의와 기본 성질** ‘반전 범주’는 엔도펑터 (‑)와 자연동형 ι_X : X ≅ X̄을 갖는 범주(C, (‑), ι)로 정의된다(정의 2.1). (‑)는 공변이며, ι는 (‑)와 항등함수 사이의 이중동형을 제공한다. 이 구조는 dagger 범주(역함수)나 *‑autonomous 범주(대칭적 반대)와 구별된다. Lemma 2.2는 (‑)가 자체 좌우 adjoint임을 보이며, 따라서 모든 한계·공한계가 보존된다. Lemma 2.4는 반전 펑터에 대한 자연 변환 ν가 자동으로 동형임을 증명한다. **2. 자기‑공액 객체와 SC(C) 범주** 객체 X에 대해 ι와 호환되는 동형 j : X̄ → X을 ‘자기‑공액’이라 부른다(정의 3.1). 이러한 객체와 그 사이의 호모모르피즘을 모은 범주 SC(C)는 Lemma 3.2에 의해 다시 반전 구조를 상속한다. SC(C)는 2‑범주 ICat 위의 2‑모나드이며(Lemma 3.6), 따라서 반전 펑터와 자연 변환을 자동으로 끌어올릴 수 있다. SC(C)는 또한 한계·공한계를 C와 동일하게 보존한다(Lemma 3.5). **3. 반전 대칭 모노달 범주(IMC/ISMC)** 반전 펑터가 (강)모노달 펑터이며, 단위 I와 텐서 ⊗에 대한 구조사상 ζ, ξ가 ι와 모노달 자연 변환으로 호환될 때, C를 ‘반전 대칭 모노달 범주’라 부른다(정의 4.1). Lemma 4.2는 ζ와 ξ가 자동으로 동형임을 보이며, 이는 (‑)가 강모노달 펑터임을 의미한다. Proposition 4.4는 SC(C)도 C의 (대칭)모노달 구조를 물려받아, forgetful functor SC(C)→C가 반전 모노달 펑터가 됨을 증명한다. 또한 C가 모노달 폐쇄(monadically closed)하면 SC(C)도 폐쇄성을 유지한다. **4. 반전 모노이드** 반전 대칭 모노달 범주 C 안에서 모노이드 (M, m, u)와 ι‑호환 동형 j : M̄ → M을 함께 고려한다(정의 5.1). 여기서 곱과 반전 사이의 교환법칙은 ‘뒤집는(reversing)’( (x·y)⁻ = y⁻·x⁻ ) 혹은 ‘비뒤집는(non‑reversing)’( (x·y)⁻ = x⁻·y⁻ ) 중 하나를 선택한다. ‘비뒤집는’ 경우는 전통적인 *‑구조와 일치하고, ‘뒤집는’ 경우는 리스트 뒤집기와 같은 비대칭적 예를 포괄한다. Lemma 5.2는 비뒤집는 반전 모노이드를 SC(C) 안의 일반적인 모노이드와 동등시켜, 기존 모노이드 이론을 그대로 활용할 수 있음을 보여준다. **5. Eilenberg‑Moore 대수와 반전 구조** 임의의 반전 모나드(T, μ, η, ν)에서 Eilenberg‑Moore 대수들의 범주 Alg(T) 역시 반전 구조를 상속한다. 이는 모듈·벡터 공간에서의 켤레 연산, 멀티셋 모나드에서의 반전 반링(semiring) 등 구체적인 사례를 통해 설명된다. **6. GNS 대응의 범주론적 재해석** 전통적인 GNS 정리는 C*‑대수 A와 힐베르트 공간 H 사이의 ‘상태 φ : A→ℂ’와 ‘내부곱 ⟨·,·⟩ : A×A→ℂ’ 사이의 전단사 대응을 말한다. 논문은 이를 일반적인 반전 대칭 모노달 범주 C에서 ‘상태’를 I→