대수적 섬유체와 고차 범주 모델링

** 본 논문은 고차 범주론과 모델 범주 이론을 연결하는 새로운 프레임워크를 제시한다. 먼저 **대수적 섬유체(algebraic fibrant objects)** 라는 개념을 도입한다. 일반적인 코페어링 집합 \(\{A_j\to B_j\}_{j\in J}\) 를 고정하고, 모델 범주 \( \mathcal{C}\) 에서 섬유체가 되기 위해서는 모든 사다리 \(A_j\to X\) 에 대해 충족 사다리 \(B_j\to X\) 가 존재해야 한다는 조건을 만족한다. 저자는 여기서 “지정된” 충족 사다리를 선택하도록 강제한다. 이를 위해 작은 물체 논법을 변형한 **자유 대수적 섬유체** 구성을 제시한다. 주어진 객체 \(X\) 에 대해 일련의 푸시아웃을 반복해 \(X\to X_1\to X_2\to\cdots\) 를 만들고, 그 콜리밋 \(X_\infty\) 를 정의한다. 이 과정은 각 단계에서 트리비얼 코페어링을 이용한 푸시아웃이므로 전부가 코페어링이며, 최종 포함 \(X\to X_\infty\) 은 트리비얼 코페어링이자 약동형이다. 결과적으로 \(X_\infty\) 은 지정된 충족 사다리를 모두 갖는 **대수적 섬유체**가 된다. 다음으로, 자유 함자 \(F:\mathcal{C}\to\mathrm{Alg}\,\mathcal{C}\) 와 망각 함자 \(U:\mathrm{Alg}\,\mathcal{C}\to\mathcal{C}\) 가 서로 좌·우 적응자 관계에 있음을 보이고, 이 쌍이 **단조(monadic)** 임을 증명한다. 베크의 단조성 정리를 이용해 (1) \(U\) 가 동형을 보존하고, (2) \(U\)-분할 동등화 쌍을 보존한다는 두 조건을 검증한다. 따라서 \(\mathrm{Alg}\,\mathcal{C}\) 는 모나드 \(T=UF\) 의 대수 범주와 동등함을 얻는다. 그 후, 이 일반 이론을 두 구체적인 모델 범주에 적용한다. 1. **대수적 Kan 복합체** - 대상: 전통적인 Quillen 모델 구조를 가진 단순 집합(sSet). - 섬유체: Kan 복합체. - 대수적 섬유체: 각 트리비얼 코페어링에 대해 지정된 충족 사다리를 가진 Kan 복합체, 즉 **대수적 Kan 복합체**. - 주요 결과: * \(\mathrm{AlgKan}\) 은 모든 한계와 공한계를 갖고, 로컬하게 프레젠터블함(정리 3.2.3). * 모델 구조를 부여해 원래 sSet과 Quillen 동등함을 유지(정리 3.2.4‑5). * 생성 코페어링과 트리비얼 코페어링을 명시적으로 제시. - **동형 가설** 증명: 대수적 Kan 복합체를 ∞‑군집의 모델로 삼아, 기본 군집화 \(\Pi_\infty\) 와의 동등성을 구축한다. 모든 ∞‑군집이 어떤 대수적 Kan 복합체와 동등함을 보이며, 이는 기존 증명보다 구조적으로 명확하고 계산 가능성을 제공한다(정리 3.6). 2. **대수적 준범주** - 대상: Joyal 모델 구조를 가진 sSet, 여기서 섬유체는 **준범주(quasi‑category)**. - 대수적 섬유체: 각 트리비얼 코페어링에 대해 지정된 충족 사다리를 가진 준범주, 즉 **대수적 준범주(AlgQuasi)**. - 주요 결과: * \(\mathrm{AlgQuasi}\) 에도 한계·공한계가 존재하고 로컬 프레젠터블함을 만족한다. * 생성 코페어링·트리비얼 코페어링을 구체적으로 제시하여, 기존 Joyal 구조보다 명시적인 모델 구조를 제공한다(정리 4.4). * 이 구조는 기존 Joyal 모델과 Quillen 동등함을 갖는다. 논문은 또한 **비교** 섹션을 통해 대수적 Kan 복합체와 대수적 준범주의 차이와 공통점을 논의한다. Kan 복합체는 모든 차원의 사다리를 충족하지만, 그 충족 사다리는 일반적으로 비유일하고 동형에 의존한다. 반면 준범주는 2‑이상 차원에서만 사다리를 요구하므로, 대수적 구조가 보다 간단히 정의될 수 있다. 두 모델 모두 **알고리즘적 선택**을 통해 구성되므로, 실제 계산이나 컴퓨터 구현에 유리하다. 마지막으로, 저자는 이 프레임워크가 다른 모델 범주(예: 스펙트럼, 교차 모듈러 형식)에도 적용 가능함을 제시하며, 향후 연구 방향으로 **대수적 섬유체의 응용**(예: 고차 동형 이론, 고차 대수적 위상수학)과 **모나드 기반 모델 구조의 일반화**를 제안한다. **