다항함자와 다항모나드

초록

다항함자를 로컬리 카테시안 폐쇄 범주 위에서 정의하고, 이들의 구조를 이중범주와 프레임드 바이카테고리로 조직한다. 또한 다항 엔도함자의 자유 모나드가 다시 다항함자임을 증명하고, 이를 통해 연산자와의 관계를 조명한다.

상세 분석

이 논문은 로컬리 카테시안 폐쇄(LCCC) 범주 𝒞 위에서 다항함자(polynomial functor)를 체계적으로 구축한다. 다항함자는 객체 I, J와 사상 s:E→I, p:E→J, t:J→𝟙 로 구성된 삼각형으로 표현되며, 이는 𝒞의 푸시아웃과 풀백을 이용해 I←E→J 형태의 스팬으로 나타난다. 저자는 이러한 스팬을 이용해 다항함자를 ‘s⁎·p₊·t₊’ 형태의 합성으로 정의하고, 이때 사용되는 좌측 사상 s⁎는 재지정(reindexing) 함자, p₊는 종속합, t₊는 종속곱을 의미한다. 이러한 구성은 LCCC의 기본 성질을 활용해 보존되는 구조를 명확히 보여준다.

다음으로 저자는 다항함자들의 변환을 2-셀(2‑cell)로 취급하여 이중범주(double category)를 만든다. 가로 방향은 스팬의 합성, 세로 방향은 자연 변환이며, 교환법칙은 푸시아웃-풀백 교환을 통해 보장된다. 특히 이 이중범주는 ‘프레임드 바이카테고리(framed bicategory)’라는 강력한 구조를 갖는데, 이는 각 객체에 대한 내부 동형군이 자동으로 존재하고, 수평·수직 합성이 서로 조화롭게 작용함을 의미한다.

핵심 정리 중 하나는 ‘다항 엔도함자의 자유 모나드가 다시 다항함자이다’라는 명제이다. 저자는 다항 엔도함자 P에 대해 자유 모나드 T(P) = Σ_{n≥0} Pⁿ을 구성하고, 각 Pⁿ이 다시 다항함자임을 귀납적으로 증명한다. 여기서 중요한 기술은 합성된 다항함자의 스팬 구조가 푸시아웃-풀백의 폐쇄성에 의해 유지된다는 점이다. 따라서 T(P) 역시 동일한 형태의 스팬으로 표현될 수 있어, 다항함자 범주 안에서 자유 모나드가 존재함을 보인다.

마지막으로 저자는 다항함자와 전통적인 operad, Lawvere 이론, 그리고 종속형 타입 이론 사이의 연관성을 탐구한다. 다항함자는 특히 ‘다항 모나드(polynomial monad)’라는 개념을 통해 operad의 알제브라적 구조와 동형 사상군을 포괄한다. 이는 기존의 다항 모나드 이론을 범주론적 관점에서 재해석하고, 새로운 응용 가능성을 제시한다. 전체적으로 논문은 LCCC 위에서 다항함자의 구조적 특성을 명확히 하고, 이를 통해 모나드와 operad 이론을 통합하는 강력한 프레임워크를 제공한다.