내부 클레이슬리 범주의 새로운 구성

초록

이 논문은 카테고리 이론에서 모노이달 구조 위에 정의된 내부 범주와, 곱이 카테시안이 아닌 경우의 내부 범주들에 대해, 모나드의 클레이슬리 객체를 어떻게 구성할 수 있는지를 체계적으로 제시한다. 2‑범주적 관점에서 일반적인 클레이슬리 구축법을 확장하고, 구체적인 예시와 함께 기존 결과와의 관계를 밝힌다.

상세 분석

본 연구는 2‑범주 𝔎 내에서 모나드 (T, μ, η) 에 대한 클레이슬리 객체 Kl(T) 의 존재와 구성을 탐구한다. 기존의 클레이슬리 구축은 카테시안 모노이달 Set 또는 Cat 과 같은 환경에서만 자연스럽게 정의되었으나, 저자는 곱이 카테시안이 아닌 모노이달 𝔙 위에 정의된 내부 범주 IntCat(𝔙) 또는 비카테시안 내부 범주 IntCatₙ(𝔙) 에서도 동일한 구조를 만들 수 있음을 보인다. 핵심 아이디어는 내부 범주의 객체와 사상에 대한 ‘내부화된’ 곱과 단위 객체를 이용해, 모나드의 작용을 내부 사상으로 승격시키는 것이다.

구체적으로, 저자는 먼저 2‑범주 IntCat(𝔙) 에 대한 기본적인 구조를 정리한다. 여기서 객체는 𝔙‑내부 범주, 1‑셀은 내부 함자, 2‑셀은 자연 변환이다. 그런 다음, 모나드 (T, μ, η) 가 내부 함자 T: C→C 와 내부 변환 μ, η 로 주어졌을 때, ‘내부 클레이슬리 범주’ Kl(T) 를 다음과 같이 정의한다.

1. 객체는 원래 범주의 객체와 동일하게 유지한다.
2. 사상은 T‑알게브라 구조를 만족하는 내부 사상의 동등류로 정의한다. 즉, 사상 f: X→TY 에 대해, μ와 η를 이용해 합성법칙을 내부적으로 기술한다.
3. 합성은 내부 곱 ⊗ 와 단위 I 를 사용해, μ의 결합법칙과 η의 단위법칙을 만족하도록 설계된다.

이때 중요한 기술적 난관은 내부 사상의 합성이 𝔙‑모노이달 구조와 호환되도록 보장하는 것이다. 저자는 ‘내부 연산자’ λ: T⊗T→T 와 ‘내부 단위’ ι: I→T 를 도입해, 이들이 모나드의 구조와 일치하도록 하는 일련의 2‑셀 방정식을 제시한다. 이러한 방정식은 전통적인 모나드 법칙을 내부화한 형태이며, 2‑범주적 동등성(즉, 2‑셀 동형사상)으로 증명된다.

주요 정리(Theorem 3.7)는 “𝔙‑내부 범주 C 와 내부 모나드 (T, μ, η) 에 대해, 위에서 정의한 Kl(T) 는 𝔙‑내부 범주 2‑범주 IntCat(𝔙) 내에서 T‑알게브라 사상들의 자유적 완비(complete) 클레이슬리 객체이다” 라는 내용이다. 증명은 두 단계로 나뉜다. 첫째, Kl(T) 가 실제로 2‑범주적 한계(2‑limit)와 코한계(2‑colimit)를 보존함을 보이며, 둘째, Kl(T) 가 모나드 T 에 대한 보편적인 성질(즉, T‑알게브라 사상과의 1‑대1 대응)을 만족함을 확인한다.

또한, 저자는 비카테시안 경우인 IntCatₙ(𝔙) 에 대해서도 동일한 구성을 적용할 수 있음을 보여준다. 여기서는 곱이 일반적인 텐서곱 ⊗ 이지만, 카테시안 구조가 없으므로 ‘내부 동등성’을 정의할 때 추가적인 ‘보조 사상’ σ: X⊗Y→Y⊗X (교환자)를 도입한다. 이 교환자는 일반적인 모노이달 교환자와는 달리, 내부 범주 수준에서만 정의되며, 클레이슬리 합성법칙에 필수적인 역할을 한다.

마지막으로, 논문은 몇 가지 구체적인 예시를 제시한다. 예를 들어, 𝔙가 벡터 공간(선형 대수)으로 구성된 경우, 내부 범주는 선형 대수적 구조를 가진 ‘선형 범주’를 의미하고, 클레이슬리 객체는 ‘선형 모나드’에 대한 자유 대수적 확장을 제공한다. 또 다른 예로, 𝔙가 확률론적 모노이달(확률 분포의 텐서곱)일 때, 내부 클레이슬리 범주는 확률적 변환을 모델링하는 ‘확률적 클레이슬리 범주’를 만든다. 이러한 예시는 제안된 이론이 전통적인 집합론적 프레임을 넘어, 다양한 응용 분야에 적용 가능함을 시사한다.

전체적으로 이 논문은 내부 카테고리 이론과 2‑범주적 모나드 이론을 결합하여, 기존에 제한적이던 클레이슬리 객체의 적용 범위를 크게 확장한다는 점에서 학술적·실용적 의의가 크다.