레인스터의 ω 카테고리 연산자를 위한 보편적 코프리벗 교체의 동형론적 보편성

본 논문은 현대 동형론에서 자주 등장하는 ‘대수적 구조의 약화’를 체계적으로 다루기 위해, 먼저 약한 인수분해 체계(weak factorisation system, w.f.s.)의 기본 정의와 그 구성 요소인 코프리벗(cofibration)과 아시클릭 피브레이션(acyclic fibration)을 소개한다. 전통적인 작은 물체 논증(small object argument, SOA)은 주어진 생성 셀 집합 I 에 대해 전이 사상 I↓↑ 와 오른쪽 사상 I↓ 을 정의하고, 이를 통해 (I↓↑, I↓)라는 w.f.s.를 만든다. 그러나 SOA는 정규 기수 α 에 따라 전이 단계의 길이가 달라지며, 결과적으로 얻어지는 코프리벗 교체가 비동형적일 수 있다. 이 문제를 해결하고자 저자는 ‘대수적 실현(algebraic realisation)’이라는 강화된 구조를 도입한다. 구체적으로, 주어진 I 에 대해 먼저 전이 사상 λ′_f와 오른쪽 사상 ρ′_f를 구성하고, 이를 통해 두 함자 L′, R′: C²→C²를 만든다. R′ 는 I↓ 에 속하는 사상들의 자유 모나드 구조를 갖도록 자유 모나드 구축법을 적용하고, L′ 는 대칭적으로 자유 코모나드 구조를 부여한다. 이후 두 구조 사이에 분배법칙 Δ: LR⇒RL을 정의함으로써 (L,R)이라는 ‘대수적 w.f.s.’를 완성한다. 이 과정에서 중요한 점은 모든 선택이 I 와 경계만을 기반으로 하며, 정규 기수 α 에 대한 의존성이 사라진다는 것이다. 따라서 (L,R)은 ‘보편적 대수적 실현(universal algebraic realisation)’이라 불리며, 동일한 I 에 대해 유일한(동형류 의미에서) 구조가 얻어진다. 다음으로, 이러한 보편적 구조를 이용해 코프리벗 교체 코모나드 Q = (Q, ε, δ)를 정의한다. 초기 객체 0 에서 시작해 사상 0→X 를 0→QX→X 로 분해함으로써, 모든 객체 X 에 대해 자연스러운 코프리벗 교체 QX 가 제공된다. Q‑코알제브라(Q‑coalgebra)는 코프리벗 사상에 추가적인 ‘자유 생성자’ 데이터를 부여한 구조로, 예를 들어 체인 복합체 Ch(R) 에서는 자유적인 생성원과 차등을 통해 바르 해석을 재구성한다. 본 논문의 핵심 응용은 구형( globular ) 연산자 이론이다. Batanin이 정의한 ‘구형 연산자’ O_strict 은 엄격 ω‑카테고리의 연산자를 모델링한다. 이 연산자는 Glob‑Set (구형 집합) 위에 정의된 모노이드이며, 그 자체가 Th(C) 내의 객체가 된다. 저자는 앞서 구축한 보편적 대수적 w.f.s.를 Glob‑Operad 범주에 전이시킨다(슬라이스와 전이 기술을 이용). 전이된 w.f.s.의 코프리벗 교체 Q(O_strict) 는 자동적으로 자유적인 고차 셀을 추가하며, 그 결과는 정확히 Leinster가 제시한 ‘약한 ω‑카테고리 연산자’ O_Leinster 와 동형임을 보인다. 이 동형성은 두 단계로 증명된다. 첫째, O_Leinster가 만족해야 할 ‘약한 연산 법칙’이 코프리벗 교체에 의해 생성되는 고차 셀과 동일한 형태임을 확인한다. 둘째, 두 연산자 사이에 자연스러운 변환이 존재하고, 이는 양쪽 모두 코프리벗 교체의 보편적 성질에 의해 동형성을 강제한다. 결과적으로, 엄격 ω‑카테고리 연산자를 시작점으로 삼아, 선택에 의존하지 않는 보편적 코프리벗 교체 과정을 거치면, 레인스터가 제안한 약한 ω‑카테고리 연산자를 ‘자동으로’ 얻을 수 있다. 이는 약한 ω‑카테고리 이론의 기본 객체가 기존의 엄격 구조에서 자연스럽게 도출될 수 있음을 보여주며, 복잡한 고차 연산자를 직접 구성하는 대신 범주론적 기계(보편적 대수적 w.f.s.)만으로도 충분함을 시사한다. 또한, 이 방법은 다른 대수적 구조(예: 모나드, 라우베 이론 등)에도 적용 가능함을 암시한다. 논문은 마지막에 전이 기술(슬라이스, 코스라이즈)과 예시(체인 복합체) 등을 통해 이론의 범용성을 강조하고, 앞으로의 연구 방향으로는 더 일반적인 모델 구조와의 연계, 그리고 구체적인 계산 가능성을 탐구할 것을 제안한다.