[논문 리뷰] Two Models for the Homotopy Theory of Cocomplete Homotopy Theories

Karol Szumiło|arXiv (Cornell University)|2014. 11. 02.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 코호모토피 이론의 코프ibration 범주와 완비 쿼티케이테고리 사이의 등치성을, 둘 다에 대해 피브레이션 범주 구조를 구성하고 명시적인 함자들을 통해 그것이 등치됨을 증명함으로써 수립한다. 핵심 기여는 코프ibration 범주의 심플리셜 국소화를 실현하는 새로운 함자—'프레임의 쿼티케이테고리'—를 제안한 것으로, 이는 그들의 호모토피 유형에 대한 구체적인 묘사와 타입 이론 및 고차 범주론에의 적용을 가능하게 한다.

ABSTRACT

We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration categories and constructing an explicit equivalence between them.

연구 동기 및 목표

• 코프ibration 범주의 호모토피 이론과 완비 쿼티케이테고리 사이의 등치성을 수립하기.
• 코프ibration 범주들의 피브레이션 범주를 구성함으로써 '모델 2-범주로서의 모델 범주들'에 대한 기초적 질문을 해결하기.
• 코프ibration 범주의 심플리셜 국소화를 실현하는 새로운 명시적 함자—'프레임의 쿼티케이테고리'—제공하기.
• 의존적 타입 이론의 범주론적 모델의 심플리셜 국소화가 국소적으로 카르테시안 폐쇄된 쿼티케이테고리가 됨을 보여주기.
• 쿼티케이테고리들을 통한 타입 이론적 모델로부터 유도되는 호모토피 유형에 대한 구체적이고 계산 가능성이 높은 묘사 제공하기.

제안 방법

• 코프ibration 범주들의 범주에 피브레이션 범주 구조를 구성하여, 호브이가 제기한 '모델 2-범주로서의 모델 범주들'에 대한 질문에 대한 긍정적 해답을 제시한다.
• 코프ibration 범주를 완비 쿼티케이테고리로 보내는 '프레임의 쿼티케이테고리' 함자를 도입하며, 국소화에 유리한 성질을 지닌다.
• 심플리셜 집합 위의 다이어그램과 완비 쿼티케이테고리 사이의 관계를 Dgκ 함자를 통해 연결함으로써 약한 동치의 구성이 가능해진다.
• 경로 객체 이론과 2-자연성의 응용을 통해 유도된 함자들이 호모토피 범주에서 동치임을 보인다.
• 유한한 경우(κ = ℵ₀)에서 유한 심플리셜 집합(D^(k)K) 위의 코일리미트를 사용하여 Dg_ℵ₀N_fC와 C 사이의 약한 동치의 지그재그를 정의한다.
• 일반화된 콘의 성질, 세이브, 최종적으로 일정한 성질에 기반하여 프레임 함자가 코프ibration, 약한 동치, 정확성을 유지함을 검증한다.

실험 결과

연구 질문

• RQ1 코프ibration 범주들의 범주에 피브레이션 범주 구조가 존재하는가? 이는 약한 의미에서 '모델 2-범주로서의 모델 범주들'을 실현하는가?
• RQ2 코프ibration 범주의 심플리셜 국소화를 완비 쿼티케이테고리로 가는 함수를 통해 구체적으로 묘사할 수 있는가?
• RQ3 프레임의 쿼티케이테고리 함자가 기존의 구성보다 더 편리하고 명시적인 국소화 묘사를 제공하는가?
• RQ4 코프ibration 범주의 호모토피 이론이 완비 쿼티케이테고리의 이론과 완전히 등치되는가?
• RQ5 이 등치성이 고차 범주론에서 의존적 타입 이론의 모델에 어떤 영향을 미치는가?

주요 결과

• 코프ibration 범주들의 범주는 피브레이션 범주 구조를 지닌다. 이는 호브이의 '모델 2-범주로서의 모델 범주들' 존재성에 대한 질문에 대한 해결이다.
• 완비 쿼티케이테고리들의 범주 역시 피브레이션 범주 구조를 지니며, 이 두 범주는 피브레이션 범주로서 등치된다.
• '프레임의 쿼티케이테고리' 함자 N_f: CofCat_κ → QCat_κ 는 피브레이션 범주로서의 약한 동치이며, 주요 등치성을 수립한다.
• 코프ibration 범주들에 대해 심플리셜 국소화는 프레임의 쿼티케이테고리와 동치이며, 국소화의 구체적 실현을 제공한다.
• 이 구성은 어떤 의존적 타입 이론의 범주론적 모델의 심플리셜 국로컬화가 국소적으로 카르테시안 폐쇄된 쿼티케이테고리가 됨을 보여주는 데 기여한다.
• 유한한 경우(κ = ℵ₀)에서 Dg_ℵ₀N_fC와 C 사이에 세 개의 약한 동치로 이루어진 지그재그가 존재하며, 중간의 함자는 유한 다이어그램 D^(k)K 위의 코일리미트를 통해 정의된다.