[논문 리뷰] Fibrations and Yoneda's lemma in an $\infty$-cosmos

Emily Riehl, Dominic Verity|arXiv (Cornell University)|2015. 06. 17.

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

한 줄 요약

이 논문은 ∞-코스모스 내에서 고차 범주론의 추상적 프레임워크를 개발하며, 카르테시안 피브레이션을 도입하고, 표현 가능 피브레이션에서의 사상의 준군집과 그 섬유 사이의 동치를 보장하는 얀다 레미마를 증명한다. 이 접근법은 ∞-코스모스의 호모토피 2-범주에서 2-범주론적 기법을 사용하여 (∞,1)-범주론에 대한 모델 독립적인 기초를 제공하며, 조일과 루리에의 작업을 일반화하면서 약한 동치를 유지한다.

ABSTRACT

We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects. Quasi-categories, Segal categories, complete Segal spaces, marked simplicial sets, iterated complete Segal spaces, $θ_n$-spaces, and fibered versions of each of these are all $\infty$-categories in this sense. Previous work in this series shows that the basic category theory of $\infty$-categories and $\infty$-functors can be developed only in reference to the axioms of an $\infty$-cosmos; indeed, most of the work is internal to the homotopy 2-category, a strict 2-category of $\infty$-categories, $\infty$-functors, and natural transformations. In the $\infty$-cosmos of quasi-categories, we recapture precisely the same category theory developed by Joyal and Lurie, although our definitions are 2-categorical in natural, making no use of the combinatorial details that differentiate each model. In this paper, we introduce cartesian fibrations, a certain class of $\infty$-functors, and their groupoidal variants. Cartesian fibrations form a cornerstone in the abstract treatment of "category-like" structures a la Street and play an important role in Lurie's work on quasi-categories. After setting up their basic theory, we state and prove the Yoneda lemma, which has the form of an equivalence between the quasi-category of maps out of a representable fibration and the quasi-category underlying the fiber over its representing element. A companion paper will apply these results to establish a calculus of modules between $\infty$-categories, which will be used to define and study pointwise Kan extensions along $\infty$-functors.

연구 동기 및 목표

• ∞-코스모스의 공리적 프레임워크를 사용하여 (∞,1)-범주론에 대한 모델 독립적인 기초를 확립하기 위해.
• ∞-코스모스 내에서 카르테시안 피브레이션과 그 군집적 변형의 이론을 도입하고 발전시키기 위해.
• 이 추상적 설정에서 양식화되고 증명된 얀다 레미마를 제시하여, 준군집에서의 고전적 결과를 일반화하기 위해.
• ∞-범주에서의 모듈과 점별 칸 확장의 계산법에 대한 기초를 마련하기 위해.

제안 방법

• 모델 범주에서의 피브라ント 대상들의 호모토피적 행동을 캡처하는 공리를 만족하는 심플리셜로 강화된 범주로서 ∞-코스모스를 공식화하기 위해.
• 호모토피 2-범주에서 작업하여, 호모토피를 통해 정의된 2-범주론적 개념들(예: 수반, 극한, 자연변환)을 내재화하기 위해.
• 2-세포에 대한 올림성질을 만족하는 함자로서 카르테시안 피브레이션을 정의하여, 준군집과 세갈 공간에서의 개념을 일반화하기 위해.
• 2-함수적 성질을 통해 기저 변경에 대한 안정성과 함께 카르테시안 피브레이션의 역행을 구성하기 위해.
• 호모토피 2-범주 내의 콤마 및 이소콤마 대상들을 사용하여 보편 성질을 분석하고 얀다 레미마를 확립하기 위해.
• 수반, 1-세포 및 2-세포의 귀납법, 카르테시안 올림의 보존성을 포함한 2-범주론적 추론을 통해 얀다 레미마를 증명하기 위해.

실험 결과

연구 질문

• RQ1 카르테시안 피브레이션은 ∞-코스모스 내에서 모델 독립적으로 어떻게 정의되고 연구될 수 있는가?
• RQ2 ∞-범주가 ∞-코스모스에 의해 정의될 때, 얀다 레미마의 올바른 표현은 무엇인가?
• RQ3 카르테시안 피브레이션의 역행은 어떻게 행동하며, 기저 변경에 대해 안정적인가?
• RQ4 ∞-코스모스의 호모토피 2-범주는 고차 범주론을 개발하기 위한 보편적 설정이 될 수 있는가?
• RQ5 2-범주론적 구조는 (∞,1)-범주론의 핵심적 특징을 어떻게 반영하는가?

주요 결과

• 얀다 레미마는 ∞-코스모스 설정에서 성립한다: 표현 가능 피브레이션에서의 함자 준군집과 그 섬유의 준군집 사이에 자연스러운 동치가 존재한다.
• 모든 함자에 대해 카르테시안 피브레이션은 역행에 대해 보존되며, 이는 ∞-코스모스 내에서의 안정성을 보장한다.
• 얀다 레미마의 증명은 호모토피 2-범주 내의 콤마 대상과 수반을 사용한 2-범주론적 구성에 기반하며, 단위와 쌍대단위에 대한 삼각 항등식의 명시적 검증이 포함되어 있다.
• 카르테시안 2-세포 올림 성질은 1-세포 및 2-세포의 귀납법을 통해 특성화되어 있으며, 이는 올림의 유일성과 보존성을 보장한다.
• ∞-코스모스 내의 약한 동치는 호모토피 2-범주 내의 2-범주론적 동치와 정확히 일치하며, 호모토피 불변성을 유지한다.
• 이 결과들은 계획된 동반 논문에서 제시된 바와 같이, ∞-범주에서의 모듈과 점별 칸 확장의 계산법에 대한 기초를 제공한다.