운용론적 n 범주 이론의 비교와 통합

논문은 크게 네 부분으로 전개된다. **1부**에서는 Trimble‑식 n‑범주 이론을 재정리하고, 이를 일반화하기 위해 V‑operad P에 의해 약화된 V‑범주 (V,P)-category 개념을 도입한다. 여기서는 P‑알gebra와 V‑category 사이의 교차 구조를 통해, 각 arity k에 대해 P(k)×A^{k}→A 형태의 파라미터화된 합성 사상을 정의한다. 이는 전통적인 모노이드→P‑알gebra 일반화와 완전히 일치한다. **2부**에서는 이러한 (V,P)-category 구성을 반복하여 약한 n‑범주 V_n을 구축한다. V₀=Set, V₁=(V₀,P₀)-Cat, …, V_n=(V_{n‑1},P_{n‑1})-Cat 로 정의하고, 각 단계에서 P_i가 contractible임을 가정한다. 이때 “contractible”은 Leinster가 정의한, 모든 arity k에 대해 P_i(k) 가 비자명한 동형을 갖는다는 의미이며, 이는 고차 합성의 coherence를 보장한다. 저자는 각 단계가 자유 (V_i,P_i)-category 모나드 f_{(V_i,P_i)}를 갖는다는 사실을 증명하고, 이를 통해 전체 구조가 카테고리 이론적 의미에서 잘 정의됨을 확인한다. **3부**에서는 Batanin‑식 정의를 요약한다. Batanin은 globular set 위에 **globular operad** O를 놓고, O‑대수를 약한 n‑범주로 정의한다. 여기서 arity는 단순히 정수가 아니라 pasting diagram이며, 시스템 of compositions 혹은 contraction을 통해 이산적인 합성 연산을 모두 포괄한다. Leinster는 이를 하나의 “contraction” 개념으로 통합했으며, contractible globular operad 은 모든 pasting diagram에 대해 충분히 많은 연산을 제공한다. **4부**가 논문의 핵심이다. 저자는 일련의 operad P_i와 카테고리 V_i 로부터, 각 n에 대해 globular operad Q⁽ⁿ⁾를 구성한다. 구체적으로, pasting diagram α의 각 셀 c에 대해 차원 d=dim(c)와 arity k(c) (c가 포함하는 하위 셀 수)를 구하고, Q⁽ⁿ⁾(α)=∏_{c∈α} P_{d‑1}(k(c)) 로 정의한다. 이때 P_{‑1}는 Set‑operad P₀를 의미한다. 이렇게 하면 Q⁽ⁿ⁾‑대수와 V_n이 정확히 일치한다는 정리를 증명한다. 또한, 모든 P_i가 contractible이면 Q⁽ⁿ⁾도 contractible가 되며, 따라서 Batanin‑식 정의와 동등함을 얻는다. 저자는 이 과정을 “operadic suspension”과 “iterated distributive law”라는 두 기술적 도구를 이용해 체계화한다. 특히, 자유 (V_i,P_i)-category 모나드와 globular operad의 카테고리적 구조 사이에 존재하는 교환법칙을 이용해, 복합적인 합성 연산을 하나의 globular operad 안에 깔끔히 통합한다. **5부**에서는 특별히 Trimble의 원래 topological operad E를 시작점으로 할 때, P_i가 E로부터 귀납적으로 생성되는 경우를 다룬다. 이때 얻어지는 Q⁽ⁿ⁾는 Batanin이 정의한 “fundamental n‑groupoid operad”과 동형이며, 두 이론 사이의 구체적 사상(예: E‑suspension → Q⁽ⁿ⁾)을 제시한다. 이를 통해 Trimble‑Batanin 비교가 단순히 형태론적 유사성에 머무르지 않고, 실제 operadic 구조 수준에서 완전 동등함을 보인다. 마지막으로 논문은 향후 연구 방향을 제시한다. (i) 무한 차원 ω‑범주에 대한 연속적인 합성 구조, (ii) 다른 종류의 V (예: 모델 카테고리, ∞‑그룹)와의 결합, (iii) 계약성 조건을 완화한 보다 일반적인 operad‑기반 정의의 가능성 등을 제안한다. 전체적으로 이 연구는 operad 이론을 활용한 고차 범주론의 통합적 프레임워크를 제공함으로써, 기존에 파편화된 여러 정의들을 하나의 일관된 수학적 구조 안에 끌어들인다.