이중 범주에서의 모나드

초록

이 논문은 Street의 2‑범주 이론을 이중 범주로 일반화한다. 이중 범주 C에 대한 모나드 이중 범주 Mnd(C)를 정의하고, 자유 모나드 구성을 허용하는 조건을 제시한다. 주요 정리는 가로 2‑범주가 자유 모나드를 가질 때, 프레임된 이중 범주도 동일한 구조를 갖는다는 것이다. 이를 통해 그래프와 범주 사이, 다항함수와 다항 모나드 사이의 기존 이중 사상들을 확장한다.

상세 분석

본 연구는 이중 범주(double category)라는 보다 풍부한 2‑차원 구조 위에 Street가 제시한 모나드 이론을 옮겨 놓음으로써, 기존 2‑범주 이론이 다루지 못했던 수평·수직 방향의 상호작용을 포착한다. 먼저 저자들은 임의의 이중 범주 C에 대해 모나드들의 객체·수평·수직 1‑셀·2‑셀을 모두 포함하는 이중 범주 Mnd(C)를 체계적으로 구축한다. 여기서 중요한 점은 모나드의 단위와 곱셈이 수평·수직 각각의 합성에 대해 자연스럽게 호환된다는 것을 보이며, 이는 기존 2‑범주 모나드와는 다른 ‘이중’ 구조를 만든다.

다음으로 자유 모나드의 존재 조건을 정의한다. 자유 모나드란 주어진 1‑셀에 대해 가장 작은 모나드 구조를 부여하는 왼쪽 대수적 구조이며, 이를 이중 범주 수준에서 구현하려면 수평 2‑범주의 자유 모나드 구축이 충분조건이 된다. 저자들은 ‘프레임된 이중 범주(framed bicategory)’라는 가정—즉, 수평·수직 1‑셀 사이에 적절한 동등성(동형 사상)과 보조 구조가 존재함—을 도입하고, 이 가정 하에서 수평 2‑범주가 자유 모나드를 갖는 경우 전체 이중 범주도 자유 모나드 구성을 가질 수 있음을 정리한다. 증명은 주로 가로 2‑범주의 모나드 대수와 수직 구조 사이의 교환법칙을 이용해, 자유 모나드의 보편성을 수평·수직 양쪽에서 동시에 만족시키는 객체를 구성한다.

응용 부분에서는 두 가지 중요한 예시가 제시된다. 첫 번째는 그래프와 범주 사이의 전통적인 adjunction을 이중 범주 수준으로 끌어올려, 그래프를 객체·수평 1‑셀, 범주를 모나드 객체로 보는 새로운 이중 adjunction을 만든다. 두 번째는 다항(endofunctor)와 다항 모나드 사이의 adjunction을 확장하여, 다항 함자들의 이중 범주와 그에 대응하는 다항 모나드 이중 범주 사이에 자유-잊혀짐(free‑forgetful) 쌍을 구축한다. 이 결과는 다항 구조를 다루는 고차원 범주론 및 컴퓨터 과학(특히 유형 이론과 데이터베이스 스키마)에서 새로운 도구를 제공한다.

전체적으로 이 논문은 이중 범주라는 복합 구조 위에 모나드 이론을 성공적으로 정립하고, 프레임된 bicategory라는 실용적인 조건 하에 자유 모나드 구축을 가능케 함으로써, 기존 2‑범주 이론의 적용 범위를 크게 확장한다는 점에서 학술적·응용적 의의가 크다.