고차 범주의 동형 이론과 세갈식 모델 구조

** 이 논문은 고차 범주 이론을 세갈(Segal) 방법을 반복 적용함으로써 체계적으로 구축하는 새로운 접근법을 제시한다. 전체 구조는 다섯 개의 주요 파트와 서문, 서문 뒤의 참고문헌으로 이루어져 있다. **Ⅰ 서론 및 동기** 첫 장에서는 고차 범주의 역사적 배경을 조명한다. 초기에는 엄격한 \(n\)-범주가 주류였으나, 위상학적·대수기하학적 응용에서 약한 동형(weak equivalence)과 고차 합성의 ‘동형적’ 성질을 포착해야 함을 강조한다. 특히 Grothendieck의 “Pursuing Stacks”와 Baez‑Dolan의 “Conjecture” 등에서 제시된 문제들이 현재 연구의 동기가 된다. **Ⅱ 엄격 \(n\)-범주와 그 한계** ‘엄격 \(n\)-범주’는 객체와 \(k\)-사상(0≤k≤n) 사이에 정확한 합성 연산과 단위가 존재한다는 전제하에 정의된다. 저자는 Eckmann‑Hilton 논쟁을 통해 고차 수준에서의 교환 법칙이 강제되면 구조가 과도하게 제한된다는 점을 보인다. 또한, ‘엄격 3‑그룹오이드가 \(S^2\)의 3‑형을 재현할 수 없음’을 예시로 들어, 위상적 정보를 충분히 반영하지 못함을 증명한다. **Ⅲ 세갈식 접근법** 세갈의 ‘delooping machine’을 재해석한다. \(\Delta\) (단순체 카테고리)의 객체를 유한 순서집합으로 보고, \(\Delta^{op}\)‑함자 \(A:\Delta^{op}\to\mathcal{S}\) (여기서 \(\mathcal{S}\)는 모델 범주) 를 세갈 공간이라 한다. - \(A_0\)는 객체 집합(또는 이산 공간) - \(A_1\)는 ‘동형 사상 공간’ - 세갈 지도 \(\sigma_m:A_m\to A_1\times_{A_0}\cdots\times_{A_0}A_1\) 가 약한 동형 등가가 되도록 요구한다. 이때 \(A\)가 만족하는 조건은 ‘곱이 존재한다’는 것을 강제하지 않으며, 대신 곱이 존재함을 ‘동형적으로’ 보장한다. 이러한 구조를 **세갈 범주**라 정의하고, 기존의 ‘Segal categories’, ‘Rezk categories’, ‘quasicategories’와 비교한다. **Ⅳ 모델 범주와 카테시안 구조** 다음으로는 모델 범주 이론을 도입한다. - **Quillen 모델 구조**: 약한 동형, 코피브레이션, 푸리베이션을 정의한다. - **좌측 적절성**과 **트랙터블성**을 가정하면, 작은 객체 논(argument of small object)와 코피브레이션 생성자를 이용해 모델 구조를 구축할 수 있다. 특히 **Cartesian 모델 범주**(내부 Hom이 존재하고, 곱이 코피브레이션을 보존) 를 강조한다. 기존의 Bergner 모델 구조는 카테시안이 아니므로, 새로운 구조가 필요함을 지적한다. **Ⅴ 직접 좌측 Bousfield 지역화** ‘Direct left Bousfield localization’이라는 특수한 지역화 기법을 도입한다. 이는 1. 전범주 \(\mathrm{PC}(X,M)\) (객체 집합 \(X\)와 \(M\)‑풍부 전범주) 2. 세갈 전사 \(\mathcal{L}_{\mathrm{Seg}}\) (세갈 조건을 강제) 3. 새로운 약한 동형 \(\mathcal{W}_{\mathrm{Seg}}\) 을 정의하는 과정을 포함한다. 이 과정에서 **Weak monadic projection**과 **new trivial cofibrations**를 명시적으로 기술한다. 또한, **Reedy 구조**를 이용해 코피브레이션을 단계별로 생성하고, **\(\Upsilon\)-전범주**를 통해 자유 전범주를 만든 뒤, **Gen** 단계에서 세갈 조건을 강제한다. **Ⅵ 전범주와 생성자·관계** 전범주를 ‘생성자와 관계’의 관점에서 해석한다. - **생성자**: 자유 전범주 \(\Upsilon\)의 원소들 - **관계**: 세갈 전사에 의해 부과되는 동형 등가 관계 이를 통해 **계산법**을 제시한다. 예시로, \(K\) (단순 집합의 모델 범주) 위에 약하게 풍부된 범주를 잡고, 그 루프 공간을 계산해 \(\pi_3(S^2)\) 를 구한다. **Ⅶ 반복적인 고차 범주 구축** 핵심 결과는 **반복 가능한 카테시안 모델 구조**이다. 1. 초기 모델 범주 \(M\)을 선택한다. 2. \(M\)-전범주에 세갈 조건을 적용해 \((\infty,1)\)-범주 모델 \(\mathcal{C}_1\)를 만든다. 3. \(\mathcal{C}_1\)을 새로운 입력 모델로 삼아 같은 과정을 반복, \(\mathcal{C}_2,\dots,\mathcal{C}_n\) 를 얻는다. 각 단계에서 객체 집합은 이산을 유지하고, 세갈 지도는 약한 동형 등가가 되도록 보장한다. 결과적으로 \((\infty,n)\)-범주에 대한 **Cartesian 모델 구조**가 귀납적으로 구축된다. **Ⅷ 부록 및 참고문헌** 마지막으로, 로컬 프레젠터블 카테고리, 작은 객체 논, 내부 Hom, 모노이드 구조 등 모델 범주론 전반에 걸친 배경을 정리한다. 참고문헌은 Segal, Tamsamani, Pelissier, Lurie 등 최신 연구를 포괄한다. **전체적인 의의** 이 논문은 고차 범주를 정의하는 다양한 기존 접근법을 하나의 통일된 모델 범주론 프레임워크 안에 끌어들인다. 특히 **카테시안성**을 유지하면서 **세갈 조건**을 반복 적용하는 방법은, 기존의 Bergner‑simplicial‑category 모델이 갖는 한계를 극복하고, 고차 동형 이론을 실제 계산에 적용할 수 있는 기반을 제공한다. 또한, ‘생성자·관계’라는 대수적 시각을 도입해 복잡한 고차 구조를 구체적인 모델로 전환하는 절차를 명확히 제시함으로써, 향후 고차 위상학, 대수기하학, 양자장론 등에서의 응용 가능성을 크게 확장한다. **