[논문 리뷰] Enhanced twisted arrow categories

Fernando Abellán García, Walker H. Stern|arXiv (Cornell University)|2020. 09. 24.

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

한 줄 요약

이 논문은 $∞$-이중범주 $ℝ$에서 제한된 사상 범주 함수를 분류하는 $ℝ \times \u211D^{\mathrm{op}}$ 위의 카르탕 피브레이션으로서 향상된 비틀린 화살표 $∞$-범주를 도입한다. 이 구조를 사용하여 자연 변환의 $∞$-범주를 엔드로 기술하고, 그 결과를 바탕으로 $∞$-범주에서 가중 침묵적 극한이 기대되는 2차원 보편 성질을 만족함을 증명한다.

ABSTRACT

Given an $\infty$-bicategory $\mathbb{D}$ with underlying $\infty$-category $\mathcal{D}$, we construct a Cartesian fibration $\operatorname{Tw}(\mathbb{D}) o \mathcal{D} imes \mathcal{D}^{\operatorname{op}}$, which we call the enhanced twisted arrow $\infty$-category, classifying the restricted mapping category functor $\operatorname{Map}_{\mathbb{D}}:\mathcal{D}^{\operatorname{op}} imes \mathcal{D} o \mathbb{D}^{\operatorname{op}} imes \mathbb{D} o \operatorname{Cat}_{\infty}$. With the aid of this new construction, we provide a description of the $\infty$-category of natural transformations $\operatorname{Nat}(F,G)$ as an end for any functors $F$ and $G$ from an $\infty$-category to an $\infty$-bicategory. As an application of our results, we demonstrate that the definition of weighted colimits presented in arXiv:1501.02161 satisfies the expected 2-dimensional universal property.

연구 동기 및 목표

• 이중범주 $ℝ$에서 제한된 사상 범주 함수를 분류하는 카르탕 피브레이션 $\operatorname{Tw}(\mathbb{D}) \to \mathcal{D} \times \mathcal{D}^{\mathrm{op}}$를 구성하는 것.
• 향상된 비틀린 화살표 구조를 사용하여 자연 변환의 $∞$-범주 $\operatorname{Nat}(F,G)$를 엔드로 기술하는 것.
• arXiv:1501.02161에서 제시된 $∞$-범주에서의 가중 침묵적 극한 정의가 2차원 보편 성질을 만족함을 입증하는 것.
• 클래식한 범주론 도구인 요네다 보조정리와 엔드 구조를 $∞$-이중범주 설정으로 일반화하는 것.

제안 방법

• 기본 $∞$-범주 $ℝ$의 $ℝ$에 대해 $ℝ \times \u211D^{\mathrm{op}}$ 위의 카르탕 피브레이션으로서 향상된 비틀린 화살표 $∞$-범주 $\operatorname{Tw}(\mathbb{D})$를 구성하는 것.
• 코시마플렉스 오브젝트와 스케일드 애노다인 사상들을 사용하여 피브레이션의 구조를 분석하고, 외부 카르탕 슬라이스와 비교하는 것.
• 향상된 비틀린 화살표 범주와 외부 카르탕 슬라이스 사이의 비교 사상 수립 및 호모토피적·범주론적 변환을 통해 동치임을 증명하는 것.
• 향상된 비틀린 화살표 범주를 사용하여 $\operatorname{Nat}(F,G)$를 엔드로 기술하고, $∞$-범주에서의 극한과 쌍극한의 보편 성질을 활용하는 것.
• 함수 범주 $\operatorname{Fun}(\mathcal{X})$에서 자연 동치의 사슬을 추적하여 $W \otimes F \simeq \operatorname{colim}_{\operatorname{Tw}(\mathcal{C})} W \times F$의 동치를 도출하고, 이로써 극한이 텐서 곱의 보편 성질을 만족함을 보이는 것.
• $∞$-범주적 맥락에서 요네다 보조정리를 사용하여 자연 변환과 비틀린 화살표 범주 위의 극한 간의 관계를 연결하는 것.

실험 결과

연구 질문

• RQ1 두 함숫사상 사이의 자연 변환의 $∞$-범주를 $∞$-이중범주 맥락에서 엔드로 어떻게 기술할 수 있는가?
• RQ2 가중 침묵적 극한의 보편 성질을 지원하는 $∞$-이중범주 맥락에서 비틀린 화살표 범주의 적절한 일반화는 무엇인가?
• RQ3 arXiv:1501.02161에서 제시된 $∞$-범주에서의 가중 침묵적 극한 정의가 2차원 보편 성질을 만족하는가?
• RQ4 향상된 비틀린 화살표 $∞$-범주는 외부 카르탕 피브레이션과 $∞$-이중범주에서의 사상 범주 함수 간에 어떻게 관련되어 있는가?
• RQ5 기존 범주론에서의 엔드와 코엔드의 기술이 피브레이션 방법을 사용하여 $∞$-범주 맥락으로 일반화될 수 있는가?

주요 결과

• 향상된 비틀린 화살표 $∞$-범주 $\operatorname{Tw}(\mathbb{D})$는 $\mathcal{D} \times \mathcal{D}^{\mathrm{op}}$ 위의 카르탕 피브레이션으로서 구성되며, 이는 $ℝ$에서 제한된 사상 범주 함수 $\operatorname{Map}_{\mathbb{D}}: \mathcal{D}^{\mathrm{op}} \times \mathcal{D} \to \mathcal{C}\!\operatorname{at}_\infty$를 분류한다.
• 자연 변환의 $∞$-범주 $\operatorname{Nat}(F,G)$는 엔드 $\int_{c \in \mathcal{C}} \operatorname{Fun}(F(c), G(c))$와 동치임을 보이며, 이는 고전적 엔드 공식을 $∞$-범주 맥락으로 일반화한 것이다.
• 가중 침묵적 극한 $W \otimes F$는 극한 $\operatorname{colim}_{\operatorname{Tw}(\mathcal{C})} W \times F$와 동치임을 증명하여, arXiv:1501.02161에서 제시된 정의가 2차원 보편 성질을 만족함을 입증한다.
• 향상된 비틀린 화살표 범주와 외부 카르탕 슬라이스 사이의 비교 사상을 수립하고, 이가 동치임을 증명함으로써 피브레이션 구조가 잘 정의되어 있음을 확인한다.
• 극한과 함숫사상에 관한 자연 동치의 사슬을 통해 최종적으로 $\operatorname{Nat}_{\mathcal{C}^{\mathrm{op}}}(W, \operatorname{Fun}(F(-), \mathcal{X})) \simeq \operatorname{Fun}(\operatorname{colim}_{\operatorname{Tw}(\mathcal{C})} W \times F, \mathcal{X})$를 도출하며, 이는 극한이 텐서 곱으로서 식별됨을 보여준다.
• 이 구조는 $∞$-이중범주 맥락에서 $∞$-범주적 요네다 보조정리와 엔드 계산법이 향상된 비틀린 화살표 프레임워크를 통해 확장됨을 검증한다.