[논문 리뷰] Complete Segal Objects

Nima Rasekh|arXiv (Cornell University)|2018. 05. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 6

한 줄 요약

이 논문은 $(∞,1)$-범주 내부의 고차 범주적 대상으로서 완비 세갈 대상(complete Segal objects)을 도입하며, 표현 가능하고 카르탕(flat)인 피브레이션을 사용하여 유도관계, 극한, 그리고 이러한 대상에 대한 기본 정리(fundamental theorem)를 개발한다. 이는 [GK17]의 결과를 확장하여, 비현실적(비presentable)인 국소적으로 카르탕 폐쇄된 범주로의 유일성(univalence)을 일반화한다. 또한, 유일성 맵은 유계 지역적 클래스를 분류함을 보여준다.

ABSTRACT

We define complete Segal objects, which play the role of internal higher category objects. Then we study them using representable Cartesian fibrations, in particular defining adjunctions and limits of complete Segal objects. Finally we use Segal objects to define univalence in a locally Cartesian closed category that is not presentable and generalize some previous results to the non-presentable setting.

연구 동기 및 목표

• 일반적인 $(∞,1)$-범주 내부에서 완비 세갈 대상을 내부 $(∞,1)$-범주로 정의하기.
• 현실적(현실적이지 않은) 범주로의 유일성 이론을 확장하기 위해, 반드시 현실적이지 않은 국소적으로 카르탕 폐쇄된 범주에서 유일성을 정의하기.
• 표현 가능 카르탕 피브레이션을 사용하여 완비 세갈 대상의 범주론(유도관계, 극한 포함)을 개발하기.
• [GK17]의 유일성 결과를 비현실적 설정, 특히 기초 토포스와 고차 범주로 일반화하기.
• 완비성 조건이 세갈 대상에 적용될 때 유일성 맵을 분류하는 프레임워크 제공하기 — 이는 대상이 $0$-트렁케이션되지 않은 경우에도 가능함.

제안 방법

• 완비 세갈 대상을 단순형 대상으로서 세갈 조건과 완비성 조건을 만족하는 것으로 정의하여, 완비 세갈 공간의 일반화로 삼는다.
• 표현 가능 카르탕 피브레이션을 사용하여 완비 세갈 대상에 의해 표현되는 프레샤프를 모델링하고, 이 설정에서의 얀다 보조정리(Yoneda lemma)를 가능하게 한다.
• 표현 가능 카르탕 피브레이션 이론과 리디 피브란트 대체(replacement)를 통해 완비 세갈 대상의 유도관계와 극한을 구성한다.
• 완비 세갈 대상의 '기본 정리(Fundamental Theorem)'를 수립하여 표현 가능성, 피브레이션, 유도관계 간의 대응을 확립한다.
• 유일성 맵을 분류 대상의 완비성에 의해 정의함으로써, 비현실적 범주로의 유일성 조건을 일반화한다.
• 이 프레임워크를 기초 토포스에 적용하여, 유일성 맵이 부분대상 분류자(subobject classifier)의 부분대상과 정확히 대응됨을 보이고, 비단사적 유일성 맵을 분류하는 데서의 한계를 규명한다.

실험 결과

연구 질문

• RQ1 완비 세갈 공간의 개념을 $(∞,1)$-범주 내부의 범주 대상으로 내재화하여 내부 고차 범주를 정의할 수 있는가?
• RQ2 기본 범주가 현실적이지 않은 경우, 유일성 맵은 어떤 설정에서 정의되고 분류될 수 있는가?
• RQ3 표현 가능 카르탕 피브레이션은 완비 세갈 대상의 범주론(예: 유도관계, 극한) 개발에서 어떤 역할을 하는가?
• RQ4 세갈 대상에서의 완비성은 유일성과 어떻게 관련되며, 이 연결고리는 현실적 범주를 초월해 일반화될 수 있는가?
• RQ5 기초 토포스에서의 유일성 맵 이론은 고차 범주적 설정에서 비단사적 유일성 맵까지 확장될 수 있는가?

주요 결과

• 완비 세갈 대상은 세갈 조건과 완비성 조건을 만족하는 단순형 대상으로 정의되며, 내부 고차 범주로의 완비 세갈 공간의 일반화이다.
• 완비 세갈 대상의 기본 정리는 표현 가능 카르탕 피브레이션과 완비 세갈 대상 간의 대응을 확립하여, 이 설정에서의 얀다 보조정리를 가능하게 한다.
• 표현 가능 카르탕 피브레이션을 통해 완비 세갈 대상의 유도관계와 극한이 구성되며, 이는 고전적 범주론이 $(∞,1)$-범주적 설정으로 확장됨을 의미한다.
• 유일성은 분류 대상의 완비성에 의해 정의됨으로써, 비현실적 국소적으로 카르탕 폐쇄된 $(∞,1)$-범주로 일반화된다.
• 기초 토포스에서 유일성 맵은 부분대상 분류자의 부분대상과 정확히 일치하며, 유일한 맵 $u:1\to\Omega$ 가 유일성임을 증명하였다.
• 이 프레임워크는 고전적 기초 토포스가 $0$-트렁케이션 때문에 비단사적 유일성 맵을 분류할 수 없음을 드러내며, 모든 유일성 맵을 분류할 수 있는 '기초 고차 토포스'의 필요성을 암시한다.