[论文解读] Lax Diagrams and Enrichment

Hugo V. Bacard|arXiv (Cornell University)|Jun 16, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 4

一句话总结

本文引入了 Co-Segal 范畴——在对称单幕模型范畴 $\mathscr{M}$ 上的弱丰富范畴——通过从 $2$-范畴 $\mathbb{S}_{\overline{X}}^{2\text{-op}}$ 到 $\mathscr{M}$ 的 lax 函子定义，满足对偶化的 Segal 条件。主要贡献是在 Pre-Co-Segal 范畴的范畴上建立了一个由生成的模型结构，其纤维对象恰好是 Co-Segal 范畴，从而为高阶线性范畴提供了同伦理论。

ABSTRACT

We introduce a new type of weakly enriched categories over a given symmetric monoidal model category M; these are called Co-Segal categories. Their definition derives from the philosophy of classical (enriched) Segal categories. We study their homotopy theory by giving a model structure on them. One of the motivations of introducing these structure was to have an alternative definition of higher linear categories following Segal-like methods.

研究动机与目标

• 为对称单幕模型范畴 $\mathscr{M}$ 上的弱丰富范畴发展同伦理论，动机源于对高阶线性范畴的需求。
• 通过 'Co-Segal' 形式化方法对 Segal 条件进行对偶化，以解决非笛卡尔单幕结构中 Segal 映射的非自然性问题。
• 将 Co-Segal 范畴定义为满足经典 Segal 范畴对偶化一致条件的 lax 型态 $\mathcal{C}: (\mathbb{S}_{\overline{X}})^{2\text{-op}} \to \mathscr{M}$。
• 在 Pre-Co-Segal 范畴的范畴上建立一个模型结构，将纤维对象识别为 Co-Segal 范畴。
• 通过非笛卡尔设定下的类似 Segal 的方法，为高阶线性范畴提供基础。

提出的方法

• 将 Co-Segal 范畴定义为 lax 函子 $\mathcal{C}: (\mathbb{S}_{\overline{X}})^{2\text{-op}} \to \mathscr{M}$，其中 $\mathbb{S}_{\overline{X}}$ 是 $\Delta_{\text{epi}}$ 上的 $2$-范畴，对偶化经典 Segal 条件。
• 将 Pre-Co-Segal 范畴定义为不满足 Co-Segal 条件的 lax 函子，构成范畴 $\mathscr{M}_{\mathbb{S}}(\mathbf{Set})$。
• 使用范畴语言描述 $\mathcal{O}$-代数及其 lax 型态，特别在 $\operatorname{Lax}_{\mathcal{O}\text{-alg}}(\mathcal{C}, \mathcal{M})$ 的背景下，以建模 lax 函子的结构。
• 在假设 $\mathscr{M}$ 是由生成的且所有对象均为纤维对象的前提下，构造 $\mathscr{M}_{\mathbb{S}}(\mathbf{Set})$ 上的由生成的模型结构。
• 通过 $\kappa$-有向系统 lax 图的超限列极限构造 $\mathcal{F}^\infty$，证明该模型结构中的纤维对象恰好是 Co-Segal 范畴。
• 证明纤维对象的包含映射是 Quillen 等价，并且当 $\mathscr{M}$ 是组合性时，该模型结构也是组合性的。

实验结果

研究问题

• RQ1 当张量积非笛卡尔时，如何为对称单幕模型范畴 $\mathscr{M}$ 上的弱丰富范畴定义同伦理论？
• RQ2 在非笛卡尔设定下，何种正确的对偶化 Segal 条件能支持弱复合的一致理论？
• RQ3 是否可以在 lax 函子范畴 $\mathcal{C}: (\mathbb{S}_{\overline{X}})^{2\text{-op}} \to \mathscr{M}$ 上构造一个模型结构，使得纤维对象满足 Co-Segal 条件？
• RQ4 对 $\mathscr{M}$ 的何种条件可确保 Pre-Co-Segal 范畴的模型范畴是生成的且组合性的？
• RQ5 lax 型态 $\mathcal{O}$-代数及其列极限如何与模型结构中纤维替换的构造相关？

主要发现

• 当 $\mathscr{M}$ 是一个由生成的对称单幕模型范畴且所有对象均为纤维对象时，Pre-Co-Segal 范畴的范畴 $\mathscr{M}_{\mathbb{S}}(\mathbf{Set})$ 允许一个由生成的模型结构。
• 该模型结构中的纤维对象恰好是 Co-Segal 范畴，即它们通过图 $\mathcal{C}(A,C) \to \mathcal{C}(A,B,C)$ 中的弱等价满足对偶化的 Segal 条件。
• 若 $\mathscr{M}$ 是组合性的，则 $\mathscr{M}_{\mathbb{S}}(\mathbf{Set})$ 也是组合性的，从而保证可及性与局部可及性。
• 纤维替换函子通过 $\kappa$-有向系统 lax 图的超限列极限构造，得到一个纤维对象 $\mathcal{F}^\infty$，其具有逐级的平凡单射 $\eta^\infty: \mathcal{F} \to \mathcal{F}^\infty$。
• lax 结构映射 $\otimes_x(\mathcal{F}^\infty c_1, \dots, \mathcal{F}^\infty c_n) \to \mathcal{F}^\infty c$ 由列极限的普遍性质诱导，并与标准映射 $\eta^\infty c_i$ 交换，确保一致性。
• 沿 $\sigma$ 的 $\mathbf{F}\alpha$ 的上包络被实现为 $\eta^\infty$，且 $\mathcal{U}(\eta^\infty)$ 是逐级的平凡单射，从而确认了该模型结构的 Quillen 性质。