[论文解读] Enhanced twisted arrow categories

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

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 5

一句话总结

本文引入了增强的扭曲箭头 $\infty$-范畴作为 $\mathcal{D} \times \mathcal{D}^{\mathrm{op}}$ 上的笛卡尔纤维丛，用于分类 $\infty$-双范畴 $\mathbb{D}$ 中受限映射范畴函子。利用该构造，本文将 $\infty$-范畴中的自然变换范畴描述为一个端，进而应用该结果证明 $\infty$-范畴中的加权余极限满足预期的二维通用性质。

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}}$，用于分类 $\infty$-双范畴 $\mathbb{D}$ 中的受限映射范畴函子。
• 利用增强的扭曲箭头构造，将 $\infty$-范畴中的自然变换范畴 $\operatorname{Nat}(F,G)$ 描述为一个端。
• 证明 arXiv:1501.02161 中定义的 $\infty$-范畴中的加权余极限满足二维通用性质。
• 将经典范畴论工具（如 Yoneda 引理和端构造）推广至 $\infty$-双范畴的设定。

提出的方法

• 将增强的扭曲箭头 $\infty$-范畴 $\operatorname{Tw}(\mathbb{D})$ 构造为 $\mathcal{D} \times \mathcal{D}^{\mathrm{op}}$ 上的笛卡尔纤维丛，其中 $\mathcal{D}$ 是 $\mathbb{D}$ 的底层 $\infty$-范畴。
• 利用余单纯对象和加权内赋纯映射分析纤维结构，并与外笛卡尔截面进行比较。
• 在增强的扭曲箭头范畴与外笛卡尔截面构造之间建立比较映射，并通过一系列同伦与范畴论操作证明其为等价。
• 将增强的扭曲箭头范畴应用于描述 $\operatorname{Nat}(F,G)$ 为一个端，利用 $\infty$-范畴中极限与余极限的通用性质。
• 通过追踪函子范畴 $\operatorname{Fun}(\mathcal{X})$ 中的自然等价性，推导出等价式 $W \otimes F \simeq \operatorname{colim}_{\operatorname{Tw}(\mathcal{C})} W \times F$，表明余极限满足张量积的通用性质。
• 在 $\infty$-范畴设定下使用 Yoneda 引理，将自然变换与扭曲箭头范畴上的极限联系起来。

实验结果

研究问题

• RQ1 在 $\infty$-双范畴的设定下，如何将两个函子之间的 $\infty$-范畴中的自然变换范畴描述为一个端？
• RQ2 在 $\infty$-双范畴设定下，扭曲箭头范畴的正确推广是什么，以支持加权余极限的通用性质？
• RQ3 arXiv:1501.02161 中定义的 $\infty$-范畴中的加权余极限是否满足二维通用性质？
• RQ4 增强的扭曲箭头 $\infty$-范畴与 $\infty$-双范畴中的外笛卡尔纤维丛及映射范畴函子之间有何关系？
• RQ5 能否通过纤维化方法将经典范畴论中关于端与余端的描述推广至 $\infty$-范畴设定？

主要发现

• 增强的扭曲箭头 $\infty$-范畴 $\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$。
• 证明了 $\infty$-范畴中的自然变换范畴 $\operatorname{Nat}(F,G)$ 同伦等价于端 $\int_{c \in \mathcal{C}} \operatorname{Fun}(F(c), G(c))$，将经典端公式推广至 $\infty$-范畴设定。
• 证明加权余极限 $W \otimes F$ 同伦等价于余极限 $\operatorname{colim}_{\operatorname{Tw}(\mathcal{C})} W \times F$，从而确认 arXiv:1501.02161 中的定义满足二维通用性质。
• 在增强的扭曲箭头范畴与外笛卡尔截面之间构造了比较映射，并证明其为同伦等价，确认纤维结构行为良好。
• 证明依赖于一系列涉及极限与函子的自然等价性，最终得出 $\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})$，从而将余极限识别为张量积。
• 该构造验证了 $\infty$-范畴 Yoneda 引理与端演算可通过增强的扭曲箭头框架推广至 $\infty$-双范畴。