[논문 리뷰] The Equivalence Extension Property and Model Structures

Christian Sattler|arXiv (Cornell University)|2017. 04. 23.

Logic, programming, and type systems참고 문헌 13인용 수 15

한 줄 요약

이 논문은 위상공간, 최소 복합체, 또는 Kan의 $\langle\text{code}\rangle\operatorname{Ex}^\infty$ 함수를 사용하지 않고 단순복합체 위의 칸 모델 구조를 구성하는 간단하고 구성적인 방법을 제시한다. 이는 입방체 복합체에서 유래된 접합 구조로부터 유도된 등가 확장 성질을 중심 기술적 도구로 사용하여 분류성과 모델 구조 공리계를 확립하며, 범주론적 프레임워크 내에서 순수하게 범주론적 및 조합론적 방법을 사용하여 칸 모델 구조의 새로운 증명을 이룩한다.

ABSTRACT

We give an elementary construction of a certain class of model structures. In particular, we rederive the Kan model structure on simplicial sets without the use of topological spaces, minimal complexes, or any concrete model of fibrant replacement such as Kan's Ex^infinity functor. Our argument makes crucial use of the glueing construction developed by Cohen et al. in the specific setting of certain cubical sets.

연구 동기 및 목표

• 위상공간이나 $\operatorname{Ex}^\infty$와 같은 구체적인 피브라ント 재구성 함수를 사용하지 않고 단순복합체 위의 칸 모델 구조를 구성적이고 간단하게 유도하는 것.
• 등가 확장 성질—입방체 유형 이론의 접합 구조에서 일반화된 범주론적 원리—를 기반으로 한 기초 기술적 도구로서의 개발 및 적용을 통한 모델 구조 구성.
• 약한 분해 체계와 함수적 실린더로부터 쿼일렌 모델 구조를 구성하는 충분한 조건을 설정하는 것, 특히 우아한 리디 케이테고리의 맥락에서.
• 선택 공리나 비구성적 가정에 의존하지 않고, 확장 성질과 국소 피브라션 조건을 통해 피브라션과 약한 동치의 2-중-3 성질을 유도할 수 있는지의 여부를 입증하는 것.

제안 방법

• 등가 확장 성질을 범주론적 끼워넣기 조건으로 정의하여, 한 피브라션이 확장될 때 다른 피브라션 간의 등가를 공액으로 확장할 수 있도록 한다.
• 모노이드 구조와 끝점과 연결을 갖는 간격 대상에서 유도된 범주 $\cal{E}$ 위의 함수적 실린더 구조를 사용한다.
• 두 개의 약한 분해 체계를 정의한다: $\mathbf{C} = \cal{M}$ (코프리즘 생성자), $\mathbf{F}$ ({$<\delta_0,\delta_1\}> \widehat{\otimes} \cal{M}$에 대해 올림 조건으로 정의된 피브라션), $\mathbf{TC}$ 및 $\mathbf{TF}$는 중간 클래스이다.
• 확장 성질이 성립하고 피브라션이 국소적일 경우 모델 구조의 존재를 보장하는 기준(정리 2.6)을 적용한다.
• 생성된 영역이 없는 트ivial 코프리즘에 대해 올림 조건을 통해 국소 피브라션의 개념을 정의하여 피브라트된 재구성 조건을 충족시킨다.
• 단순복합체의 $\Delta$가 우아한 리디 케이테고리임을 이용하여 단순복합체의 단순 포함관계들이 경계 포함관계의 코베이스 변화의 $\omega$-합성임을 보장하며, 이는 확장 성질 검증의 핵심 단계이다.

실험 결과

연구 질문

• RQ1 단순복합체 위의 칸 모델 구조는 위상공간이나 $\operatorname{Ex}^\infty$와 같은 명시적 피브라트된 재구성 함수를 사용하지 않고 재구성될 수 있는가?
• RQ2 입방체 유형 이론의 접합 구조는 어떻게 범주론적 원리로 일반화되어 모델 구조를 구성하는 데 사용될 수 있는가?
• RQ3 생성된 영역이 작은 것이 아닌 경우, 피브라션의 약한 분해 체계가 국소적임을 보장하는 조건은 무엇인가?
• RQ4 등가 확장 성질은 우아한 리디 케이테고리 위의 프레샤브 케이테고리에서 모델 구조를 구성하는 데 통합 원리로 기능할 수 있는가?

주요 결과

• 위상공간이나 $\operatorname{Ex}^\infty$에 대한 언급 없이 등가 확장 성질과 함수적 실린더만을 사용하여 단순복합체 위의 칸 모델 구조가 재구성된다.
• 등가 확장 성질은 트ivial 코프리즘에 대해 피브라션이 끼워넣기 조건을 만족시키는 충분한 조건임이 입증되었으며, 이는 약한 분해 체계로부터 모델 구조를 구성하는 데 기여한다.
• {$<\delta_0,\delta_1\}> \widehat{\otimes} \cal{M}$로 정의된 피브라션은 기존의 칸 피브라션과 일치하며, 그 국소성(A.2)은 표현 가능 도메인을 갖는 홀 인클루전에 대해 올림 조건을 통해 검증된다.
• 이 구성은 구조적이며 선택 공리를 제외하고는 비구성적 가정에 의존하지 않으며, 단순복합체의 단순 포함관계 분해는 탈진의 원리에 의존하여 비탈성 여부를 결정한다.
• 정리 8.5는 단순복합체가 등가 확장 성질과 $\Delta$의 우아한 리디 구조만을 사용하여 일반 칸 피브라션과 일치하는 적절한 Cisinski 모델 구조를 갖는다고 보여준다.