모노이달 모나드의 형식 이론

초록

이 논문은 2‑범주 D에서 유한 곱을 가질 때, 느슨한 모노이달 모나드들의 2‑범주와, 모나드 2‑범주 안에서 느슨한 사상으로 이루어진 모노이달 객체들의 2‑범주가 서로 동형임을 보인다. 이를 이용해 렐리 클라이즈 대수와 에일렌베르-모어 대수 각각에 자연스러운 모노이달 구조가 항상 존재함을 3‑범주적 형식 논증으로 설명한다.

상세 분석

논문은 먼저 2‑범주 D에 유한 곱이 존재한다는 가정 하에, “느슨한 모노이달 모나드(lax monoidal monad)”라는 구조를 정의한다. 이는 일반적인 모나드 T에 대해 T가 D의 모노이달 구조와 호환되는 추가적인 2‑셀(즉, μ와 η가 모노이달 곱과 단위에 대해 lax하게 보존됨)을 갖는 경우를 말한다. 저자는 이러한 객체들의 2‑범주 LMon(D)를 구성하고, 그 내부 사상은 “lax monoidal morphism” 즉, 모나드 사상과 동시에 모노이달 구조에 대한 lax 변환을 만족하는 쌍으로 정의한다.

핵심 정리는 LMon(D)와, 모나드 2‑범주 Mnd(D) 안에서 “lax morphism”을 갖는 모노이달 객체들의 2‑범주 Mon_oplax(Mnd(D))가 동형이라는 것이다. 여기서 Mon_oplax는 모노이달 객체와 그 사이의 “oplax morphism”(곱과 단위에 대해 역방향으로 2‑셀을 허용)으로 이루어진 2‑범주를 의미한다. 동형을 구성하는 과정은 두 단계로 나뉜다. 첫째, 어떤 느슨한 모노이달 모나드 (T, m, u) 를 Mnd(D) 안의 객체로 보면서, T가 자체적으로 모노이달 구조를 갖는 것으로 재해석한다. 둘째, 모나드 사상 f: T→S에 대해, 그에 대응하는 oplax 모노이달 사상은 f가 곱과 단위에 대해 “역방향” 2‑셀을 제공하도록 만든다. 이 변환은 완전히 역함수적이며, 2‑셀들의 교환 법칙과 연관성 조건을 보존한다.

이 동형을 이용하면, 렐리 클라이즈(Kleisli) 범주와 에일렌베르-모어(Eilenberg‑Moore) 범주에 자연스러운 모노이달 구조가 존재함을 즉시 얻는다. 구체적으로, T가 lax monoidal이면 그 Kleisli 범주 Kl(T) 는 D의 모노이달 구조를 “전달”받아 자체적으로 모노이달이 된다. 반대로, T가 oplax monoidal이면 그 EM 범주 EM(T) 는 모노이달 구조를 “끌어올려” 모노이달이 된다. 이 결과는 기존에 개별적인 구성과 검증이 필요했던 사례들을 일괄적으로 설명해 주는 강력한 형식적 도구가 된다.

마지막으로 저자는 이 현상이 다른 2‑범주적 상황—예를 들어, 코모나드, 이중 모나드, 혹은 내부 카테고리 이론 등—에서도 유사하게 나타난다고 언급하며, 전반적인 3‑범주적 관점에서 “구조와 사상의 교환” 원리가 어떻게 작동하는지를 제시한다. 이는 고차원 범주 이론에서 구조적 대칭성을 탐구하는 연구자들에게 새로운 연구 방향을 제공한다.