C 작용 모나드와 분배법칙의 2 범주적 관점

초록

단일 모노이달 범주 C를 고정한다. C‑작용 범주, 콜랙스 C‑동등함수, 그리고 콜랙스 함수 사이의 C‑동등 자연 변환으로 이루어진 2‑범주 안에서의 모나드 2‑범주는, 일반적인 모나드와 그 모나드와 C의 작용 사이의 분배법칙 한 쌍, 분배법칙을 보존하는 모나드 사상, 그리고 작용과 분배법칙에 대한 일정한 호환성을 만족하는 모나드 변환으로 다시 기술될 수 있다. 이 그림에서의 모나드는 모노이달 범주의 작용, 특히 PRO‑작용으로 일반화될 수 있다. C 자체가 PRO이면, 특수한 경우에 고전적인 유형의 다양한 분배법칙—예를 들어 코모나드와 엔도함자 사이, 혹은 모나드와 코모나드 사이의 분배법칙—을 얻는다. 일반적인 사각형 펜타곤은 다각형으로 대체되며, 서로 다른 두 분배법칙이 얽힌 “혼합” 다각형도 나타난다. 베크의 정리에서와 같이 분배법칙과 한 모나드의 에밸런‑모어 카테고리로의 상승(lift)은 2‑범주의 동형사상으로 확장된다. 위에서 언급한 쌍의 사상의 상승은 콜랙스 C‑동등함이 된다. 마지막으로 두 의사대수 구조 사이의 상대적 분배법칙을 간단히 다루며, 이는 두 의사모나드의 분배성에 대한 일반화 가능성을 시사한다.

상세 요약

이 논문은 현대 범주론에서 중요한 두 축, 즉 모노이달 작용과 분배법칙을 2‑범주의 언어로 통합하는 시도를 보여준다. 먼저 ‘C‑actegory’라는 개념은 모노이달 범주 C가 다른 범주 𝔛에 작용하는 구조를 말한다. 여기서 작용은 일반적인 텐서곱처럼 행동하지만, 2‑범주적 관점에서는 객체·사상·2‑사상의 삼중 구조를 모두 고려해야 한다. 논문은 이러한 C‑actegory들을 객체로, colax C‑equivariant functor들을 1‑사상으로, 그리고 이들 사이의 C‑equivariant natural transformation들을 2‑사상으로 모아 새로운 2‑범주 𝔄를 만든다.

그 다음 단계는 𝔄 안에서 모나드를 정의하는 것이다. 전통적인 모나드는 한 범주 𝔛 위의 엔도함자 T와 두 자연 변환 η, μ로 구성된다. 그러나 𝔄 안에서는 T가 단순히 엔도함자가 아니라 C‑작용과도 호환되어야 한다. 구체적으로, T와 C의 작용 사이에 분배법칙 λ: C⊗T ⇒ T⊗C가 존재해야 하며, 이 λ는 일련의 다각형(일반화된 펜타곤)으로 규정된 일관성 조건을 만족한다. 이러한 λ는 기존 베크의 분배법칙을 일반화한 것으로, C가 PRO(프로덕트 연산을 갖는 카테고리)일 때는 특히 풍부한 구조를 제공한다. 예를 들어, C가 코모나드의 작용을 나타내면 λ는 코모나드와 모나드 사이의 교환 법칙을 기술하고, 이는 전통적인 ‘코모나드‑모나드 분배법칙’으로 귀축된다.

논문은 또 모나드 사상과 모나드 변환에 대한 호환 조건을 명시한다. 사상 f: (T,λ) → (T′,λ′)는 f가 단순히 모나드 사상일 뿐 아니라 λ와 λ′ 사이를 보존해야 한다. 변환 α: f ⇒ g는 두 사상 사이의 2‑사상으로, C‑작용과 λ,λ′에 대한 추가적인 교환 다각형을 만족한다. 이러한 구조를 모두 모으면, ‘보통의 모나드와 분배법칙 쌍’이라는 데이터를 2‑범주적으로 정리할 수 있다.

특히 주목할 점은 베크의 정리가 2‑범주 수준으로 확장된다는 것이다. 베크는 “분배법칙 ↔ 한 모나드의 에밸런‑모어 카테고리로의 상승”이라는 일대일 대응을 보였는데, 여기서는 그 대응이 단순한 집합 수준이 아니라 2‑범주 동형사상으로 강화된다. 즉, λ에 대응하는 상승 구조는 자동으로 콜랙스 C‑동등함을 가지며, 사상과 변환 역시 그 상승을 통해 자연스럽게 정의된다.

마지막으로 논문은 상대적 분배법칙을 언급한다. 두 의사모나드 S, T가 각각 다른 의사대수 구조를 갖고 있을 때, 이들 사이에 ‘상대적’인 분배법칙을 정의하면, 기존의 절대적 분배법칙을 포함하는 더 일반적인 프레임워크가 된다. 이는 향후 고차원 대수 구조, 예를 들어 이중 모나드, 트리플 모나드, 혹은 고차원 양자 대수 등에 적용될 가능성을 열어준다.

전체적으로 이 연구는 “작용‑분배‑모나드”라는 삼위일체를 2‑범주적 언어로 정형화함으로써, 기존에 별도로 다루어졌던 여러 분배법칙(모나드‑코모나드, 코모나드‑엔도함자 등)을 하나의 통일된 이론 안에 끌어들인다. 이는 복합적인 연산자 구조를 가진 현대 수학·컴퓨터 과학(예: 효과 시스템, 동시성 모델, 양자 프로그래밍)에서 새로운 설계 원칙과 증명 도구를 제공할 수 있는 기반이 된다.