지수형 클레이슬리 모노이드와 이멘베르 대수

초록

이 논문은 멱집합으로 강화된 완화 단조 모나드가 클레이슬리 범주 내 모노이드에 단조 구조를 부여함을 보이고, 그 범주에서 지수 가능한 객체가 정확히 이멘베르 대수 구조를 가진 클레이슬리 모노이드임을 증명한다. 이는 열린 집합 격자가 연속 격자를 이루는 경우와 동일한 고전적 결과를 일반화한다.

상세 요약

논문은 먼저 “멱집합‑강화된(lax monoidal powerset‑enriched) 모나드”라는 개념을 정의한다. 이는 기본적인 모나드 (T)에 대해 (\mathcal{P})‑강화 구조, 즉 각 집합 (X)에 대해 (T X)가 멱집합 (\mathcal{P}X) 위에 부분순서(포함관계)로 정렬되고, 모나드의 단위와 승격이 이 순서를 보존하는 경우를 말한다. 이러한 강화는 (T)가 완화 단조(lax monoidal) 구조를 가짐을 의미하는데, 구체적으로는 이항 연산 (\otimes : T X \times T Y \to T (X \times Y))가 순서 보존이며, 단위 객체와 결합법칙이 순서적으로 약화된 형태로 만족한다.

다음으로 저자는 (T)‑클레이슬리 범주 (\mathbf{Kl}(T)) 안에서 모노이드를 정의한다. 여기서 모노이드는 객체 (X)와 연산 (\mu : X \times X \to T X) 및 단위 (e : 1 \to T X)가 존재하고, 이 연산들이 (T)‑의 구조와 호환되는 것을 요구한다. 이러한 “클레이슬리 모노이드”는 전통적인 모노이드와 달리 결과가 (T)‑값으로 들어가므로, 그 자체가 (T)‑알제브라(이멘베르 대수)와 연관될 가능성을 내포한다.

핵심 정리는 “지수 가능한 객체”와 “이멘베르 대수 구조를 가진 클레이슬리 모노이드” 사이의 동형을 제시한다. 지수 가능성은 범주 (\mathbf{Mon}(\mathbf{Kl}(T)))가 모노이드를 대상으로 내부 함자 (