[论文解读] Parametrized higher category theory and higher algebra: Exposé I -- Elements of parametrized higher category theory

Clark Barwick, E. Dotto+3 more|arXiv (Cornell University)|Aug 12, 2016

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

一句话总结

本文通过将 $T$-∞-范畴建模为基 ∞-范畴 $T$ 上的cocartesian纤维丛，引入了参数化高阶范畴论，使得在参数化设定下能够实现结构化函子及构造（如对偶、函子范畴）的构建。主要贡献包括：对 $T$-对象的普遍刻画、$T$-∞-范畴内的内部 Hom，以及无需使用 straightening 的参数化 Yoneda 引理。

ABSTRACT

We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we are able at this stage. Simple operations, such as the formation of opposites and the formation of functor $\infty$-categories, become slightly more involved in the parametrized setting, but we explain precisely how to perform these constructions. All of these constructions can be performed explicitly, without resorting to such acts of desperation as straightening. The key results of this Exposé are: (1) a universal characterization of the $T$-$\infty$-category of $T$-objects in any $\infty$-category, (2) the existence of an internal Hom for $T$-$\infty$-categories, and (3) a parametrized Yoneda lemma.

研究动机与目标

• 开发一个参数化高阶范畴论的基础框架，其中范畴纤维化于一个基 ∞-范畴 $T$。
• 将经典构造（如对偶、子范畴、函子范畴）推广至参数化设定。
• 在参数化语境下，对关键范畴运算提供明确且非抽象的构造，避免依赖 straightening。
• 为 $T$-对象及 $T$-∞-范畴中的内部 Hom 建立普遍性质。
• 证明一个参数化 Yoneda 引理，将经典 Yoneda 嵌入推广至相对设定。

提出的方法

• 将 $T$-∞-范畴建模为 $T$ 上的 cocartesian 纤维丛 $p: Γ \to T$，其中 $T$ 为固定的基 ∞-范畴。
• 通过一个普遍性质刻画 ∞-范畴 $C$ 中的 $T$-对象，将其定义为纤维丛 $C \to \cdots$ 的截面。
• 通过外部张量积的右伴随，利用纤维化映射空间，构造 $T$-∞-范畴的内部 Hom。
• 通过对偶纤维丛应用对偶构造，定义参数化对偶，确保与 cocartesian 提升的相容性。
• 使用强前推构造 $T$-∞-范畴的基变换与拉回，保持纤维丛结构。
• 将参数化 Yoneda 嵌入定义为从 $T$-∞-范畴到其 $T$-∞-范畴预层的全忠实函子，利用带标记的单纯集与 cocartesian 边。

实验结果

研究问题

• RQ1 如何定义 $T$-∞-范畴，使其既能推广 ∞-范畴，又能推广群作用，同时保持范畴结构？
• RQ2 高阶范畴中内部 Hom 的正确参数化类比是什么？如何显式构造它？
• RQ3 Yoneda 引理如何推广至参数化设定？它满足何种普遍性质？
• RQ4 在不使用 straightening 的前提下，能否在参数化设定中实现对偶与函子范畴等基本构造？
• RQ5 $T$-对象在 ∞-范畴中的普遍刻画是什么？它与纤维丛结构有何关联？

主要发现

• $T$-∞-范畴中 $T$-对象的范畴在任意 ∞-范畴 $C$ 中具有普遍刻画，其通过常值纤维丛函子的右伴随实现。
• $T$-∞-范畴中存在内部 Hom 函子，使其成为 $T$ 上空间 ∞-范畴的富集范畴，其显式构造基于纤维化映射空间。
• 参数化 Yoneda 引理成立：向 $T$-∞-范畴预层的 Yoneda 嵌入是全忠实的，且其满足涉及纤维丛截面的普遍性质。
• 在参数化设定中，对偶的构造是明确定义的，并与 cocartesian 提升相容，推广了经典情形。
• 函子 $T$-∞-范畴通过强前推与基变换技术显式构造为 $T$ 上的纤维丛。
• 与 $T$-∞-范畴相关的纤维丛 $Y \to T$ 具有一个对偶的 cartesian 纤维丛 ${}_{\vee}Y \to T^{\mathrm{op}}$，从而在参数化设定中支持对偶构造。