풀백을 가진 범주에서의 다항식 이론 확장

본 논문은 Gambino와 Kock이 제시한 로컬 카르테시안 폐쇄(LCCC) 범주 E 위의 다항식(polynomial) 이론을, 단순히 풀백(pullback)만 존재하는 범주 E 로 일반화한다. 저자는 먼저 다항식이란 입력 변수 집합 In, 출력 변수 집합 Out, 그리고 중간 단계인 사용 변수 UVar와 단항식 합 MSum을 연결하는 네 개의 사상 p₁, p₂, p₃으로 표현되는 Set‑다이어그램으로 시작한다. 이를 범주론적으로 해석하면, Σ_{p₁}, Δ_{p₁}, Π_{p₂}, Σ_{p₃}와 같은 기본적인 슬라이스 사상들의 합성으로 다항식 함자 P(p):Set/In→Set/Out을 얻는다. LCCC에서는 모든 사상이 지수가능(exponentiable)하므로 Π_{p₂}가 언제나 존재한다. 그러나 Cat과 같은 중요한 예시는 LCCC가 아니므로, 저자는 “지수가능 사상”이라는 최소 조건을 도입한다. 정의에 따르면, 사상 f:X→Y가 지수가능하면 Σ_f⊣Δ_f와 Δ_f⊣Π_f 두 쌍의 adjunction이 존재한다. 이러한 사상은 풀백에 대해 안정적이며 합성에도 닫혀 있다. 다음으로 저자는 ‘분배 풀백(distributivity pullback)’이라는 새로운 개념을 정의한다. 두 사상 g:Z→A와 f:A→B가 주어졌을 때, (p,q,r)라는 풀백 주변(diagram) 중에서 Π_f가 “합을 곱 위에 분배”하는 역할을 정확히 수행하는 경우를 터미널 객체로 잡는다. 이는 δ_{p,q,r}:Π_q Δ_p Δ_g→Δ_r Π_f 가 동형사상이 되는 것과 동치이며, 따라서 Π_f가 “분배”를 보장한다는 직관과 일치한다. 이러한 기초를 바탕으로 섹션 3에서는 Poly E라는 이중범주(2‑bicategory)를 구축한다. 객체는 E의 객체, 1‑셀은 다항식 다이어그램 X←A→B→Y (p₁,p₂,p₃)이며, 2‑셀은 슬라이스 위의 카르테시안 자연 변환이다. 합성은 두 다항식을 연결할 때 중간에 발생하는 풀백을 이용해 정의되며, 분배 풀백의 존재가 핵심적인 보증 역할을 한다. 결과적으로 LCCC가 없어도 Poly E가 잘 정의되고, 다항식 함자 P:Poly E→Cat은 2‑셀을 보존하는 강한 2‑함자가 된다. 섹션 4에서는 2‑범주 K(특히 K=Cat) 로의 확장을 다룬다. K가 풀백을 갖는다면, 동일한 정의로 2‑다항식 2‑함자와 그에 대응하는 2‑다항식 모나드를 만들 수 있다. 여기서 Street의 2‑섬유화 이론과 연결하여, 다항식의 각 사상이 섬유화일 경우 2‑다항식 2‑함자가 섬유화 보존성을 갖는 충분조건을 제시한다(정리 4.4.5). 이는 2‑다항식이 2‑모나드 이론에서 중요한 ‘co‑descent object’를 생성하도록 돕는다. 또한 정리 4.5.1은 Cat 위의 다항식이 모든 시프트(colimit)와 시프트(colimit) 보존을 만족하도록 하는 충분조건을 제공한다. 마지막 섹션 5에서는 Johnstone가 제시한 “bag‑domain data”를 2‑차원으로 일반화한다. 이 데이터는 다항식 모나드의 곱셈·단위 법칙을 직접 검증하지 않고도 모나드 구조를 부여할 수 있게 해준다. 정리 5.3.3와 5.4.1은 이 방법을 정확히 기술하고, 이어지는 5.4절에서는 구체적인 예시를 제시한다. 여기에는 대칭 모노이달 카테고리와 브레이드된 모노이달 카테고리의 2‑모나드가 다항식 2‑모나드임을 보이며, 또한 operad와 관련된 여러 2‑다항식 모나드도 전시된다. 논문 전반에 걸쳐 저자는 기존 LCCC 기반 이론이 요구하는 강한 논리적 구조를 완화하고, 풀백만 있으면 충분히 다항식 이론을 전개할 수 있음을 증명한다. 이는 Algebraic Set Theory, 컴퓨터 과학의 컨테이너 타입, 고차원 동형론 등 다양한 분야에 적용 가능성을 넓힌다. 특히 2‑범주 수준에서의 확장은 고차원 논리와 2‑모나드 이론 사이의 교량 역할을 수행한다.