느슨한 단조 섬유와 고차 범주 구조

본 논문은 고차 범주 이론에서 등장하는 여러 복합 구조들을 일관된 틀로 묶어 주는 ‘느슨한 단조 섬유(lax monoidal fibration)’라는 새로운 개념을 도입한다. 2장에서는 섬유화와 기본적인 용어를 정리한 뒤, 텐서 연산 ⊗ : E ×_B E → E와 단위 사상 I : B → E 를 섬유 위에 정의하면서, 이 연산들이 섬유 사상 자체를 보존할 필요는 없지만, 각 섬유가 모노이달 카테고리를 이루도록 요구한다. 코히어런스 변환 α, λ, ρ는 일반적인 단조 섬유와 달리 동형이 아니어도 된다. 이러한 ‘느슨함’은 섬유의 재인덱싱 사상이 강한 모노이달 사상이 되지 않는 실제 사례들을 포괄한다. 3장에서는 이러한 섬유가 다른 섬유 위에 작용(action)할 수 있음을 보이고, 작용에 대한 정의와 모노이드와의 상호작용을 전개한다. 작용을 통해 얻어지는 지수 섬유(expontial fibration)는 섬유 사이의 비교를 가능하게 하며, 왼쪽 적응자(left adjoint)와의 관계를 통해 섬유의 자유 구조를 구축한다. 이는 이후 섬유를 반복하거나 층화하여 복잡한 고차 구조를 만들 때 핵심적인 도구가 된다. 4장에서는 ‘지수 섬유’를 구체적으로 다룬다. Cat/B와 Fib/B 두 환경에서 지수 섬유를 정의하고, 특히 기본 섬유 cod : B → B⁽ᶜᵒᵈ⁾가 풀백을 보존할 때 존재하는 Exp(B) → B 를 소개한다. 이 섬유는 모든 섬유와 표준 섬유 사이의 대표 사상(representation morphism)을 제공하며, 이후 섬유들의 자유 구조를 기술하는 데 사용된다. 5장에서는 Burroni‑T‑카테고리와 관련된 섬유들을 상세히 분석한다. 먼저 T‑그래프 섬유 p_T : Gph(T) → C 를 정의하고, 그 위에 단조 구조를 부여한다. 이 섬유의 모노이드는 정확히 Burroni가 정의한 T‑카테고리가 된다. T가 카르테시안이 아니어도 섬유 자체는 강한 모노이달이 아니므로 일반적인 T‑카테고리를 다룰 수 있다. 또한 상대적 Burroni 섬유와 자유 T‑카테고리의 존재를 보이며, 이를 통해 Leinster가 제시한 옵셋(opetope) 집합을 임의의 Grothendieck 토포스 내부에서도 재구성한다. 마지막으로 ω‑단계 반복을 통해 ‘옵셋 집합’과 ‘n‑카테고리’의 두 층을 동시에 모델링하는 복합 섬유 구조를 제시한다. 6장에서는 ‘합성 서명(amalgamated signatures)’과 ‘다항식 다이어그램(polynomial diagrams)’을 각각 섬유 p_a : Sig_a → Set 와 p_pd : PolyDiag → Set 로 정의하고, 이 두 섬유가 동등한 ‘느슨한 단조 섬유’임을 증명한다. 특히 p_a는 기본 섬유에 직접 작용하고, p_pd는 지수 섬유 Exp(Set) → Set 로의 대표 사상을 통해 다항식 (endo)functor 섬유 p_poly : Poly → Set 와 연결된다. 결과적으로 1‑레벨 다중카테고리와 (유한, 카르테시안) 다항식 모나드 사이의 동등성이 섬유 수준에서 자연스럽게 도출된다. 또한 ‘단일 텐서(single tensor)’와 2‑레벨 객체에 대한 논의를 통해 HMP에서 사용된 복합 구조와의 연관성을 설명한다. 7장에서는 대칭 서명(symmetric signatures)과 ‘분석적(analytic) 다변량 functor’를 연결한다. 대칭 서명 섬유 p_s : Sig_s → Set 은 기본 섬유에 작용하고, 그 지수 섬유를 통해 ‘분석적 섬유’ p_an 으로 사상된다. 여기서 핵심 정리는 p_an 의 객체가 ‘슬라이스 Set/O 위의 유한 함수이며, 넓은 풀백을 약하게 보존한다’는 것과, 사상이 ‘약하게 카르테시안’인 변환이라는 점이다. 이를 통해 대칭 다중카테고리와 분석적 모나드가 섬유 수준에서 동등함을 보이며, 분석적 다이어그램(analytic diagrams)이라는 새로운 중간 개념을 도입해 다항식 다이어그램과의 비교를 완성한다. 마지막으로 섬유들의 관계를 한눈에 보여 주는 사다리형 도표를 제시하고, 각 수평·수직 사상이 강한 모노이달 섬유 사상, 동등성, 포함 관계임을 정리한다. 부록에서는 기술적 증명과 추가 예시를 제공한다. 전체적으로 논문은 ‘느슨한 단조 섬유’를 매개로 다양한 고차 범주 구조—Burroni‑T‑카테고리, 다항식 모나드, 대칭 다중카테고리, 분석적 모나드—를 통합하고, 이들 사이의 비교·전이를 지수 섬유와 작용 이론을 통해 체계화한다는 새로운 관점을 제시한다.