2025-11-17T01:55:12.464260

Higher presentable categories and limits

Aoki

Stefanich generalized the notion of (locally) presentable $(\infty, 1)$-category to the notion of presentable $(\infty, n)$-category. We give a new description based on the new notion of $Îº$-compactly generated $(\infty, n)$-category, which avoids universe enlargement. Using the new definition, we prove the underlying functor of a morphism between presentable $(\infty, 2)$-categories has a right adjoint. In particular, any presentable $(\infty, 2)$-category has limits. We also prove that this fails drastically when we go higher: The unit presentable $(\infty, 3)$-category, i.e., the category of presentable $(\infty, 2)$-categories, does not have limits. This settles Stefanich's conjecture in the negative.

academic

Higher presentable categories and limits

基本信息

论文ID: 2510.13503
标题: Higher presentable categories and limits
作者: Ko Aoki
分类: math.CT (Category Theory), math.AT (Algebraic Topology), math.LO (Logic)
发表时间: 2025年10月16日
论文链接: https://arxiv.org/abs/2510.13503

摘要

Stefanich将(局部)可呈现 $(\infty, 1)$ -范畴的概念推广到可呈现 $(\infty, n)$ -范畴的概念。本文基于新的 $\kappa$ -紧生成 $(\infty, n)$ -范畴概念给出了新的描述，避免了宇宙扩张。利用新定义，我们证明了可呈现 $(\infty, 2)$ -范畴之间态射的底层函子有右伴随。特别地，任何可呈现 $(\infty, 2)$ -范畴都有极限。我们还证明了当我们到更高维时这会急剧失效：单位可呈现 $(\infty, 3)$ -范畴，即可呈现 $(\infty, 2)$ -范畴的范畴，没有极限。这否定地解决了Stefanich的猜想。

研究背景与动机

问题背景

可呈现范畴理论的重要性：在范畴论中，可呈现性（即"被小对象生成"）是一个基本概念，在拓扑理论（如Giraud刻画）中发挥着重要作用。
伴随函子定理：在经典理论中，可呈现范畴之间任何态射的底层函子都有右伴随，这特别意味着极限的存在。这是一个强有力的工具。
高维推广的困难：将这一理论推广到高维范畴论面临困难。朴素地，可呈现2-范畴的范畴应该是"可呈现Pr-丰富范畴"，但由于可呈现1-范畴的范畴Pr本身不是可呈现的，出现了尺寸问题。
Stefanich的解决方案及其问题：Stefanich通过宇宙扩张巧妙地解决了这个问题，但这种方法有缺点：
- 需要强公理，其在ZF集合论上的相对一致性不可证明
- 不同的宇宙扩张可能产生不同的可呈现n-范畴概念
- 某些问题难以研究

研究动机

本文旨在提供一个新的定义，避免宇宙扩张的问题，并利用这个新方法来研究Stefanich提出的关于高维可呈现范畴极限存在性的猜想。

核心贡献

新定义：提出了基于 $\kappa$ -紧生成 $(\infty, n)$ -范畴的可呈现 $(\infty, n)$ -范畴新定义，避免了宇宙扩张。
等价性证明：证明了新定义与Stefanich的原始定义等价（定理A），且不依赖于宇宙扩张的选择。
2-范畴的正面结果：证明了可呈现 $(\infty, 2)$ -范畴之间态射的底层函子有右伴随，特别地任何可呈现 $(\infty, 2)$ -范畴都有极限（定理D）。
Stefanich猜想的否定：证明了Stefanich关于 $n \geq 0$ 时 $nPr$ 有小极限的猜想对 $n = 2$ 是错误的（定理B）。
映射范畴的非可呈现性：构造了稳定可呈现对称单子3-或4-范畴，其 $\text{End}(1)$ 不是可呈现存在的（定理C）。

方法详解

核心定义

定义1.2（新的可呈现n-范畴定义）：对正则基数 $\kappa$ ，设 $\text{Pr}^\kappa$ 是 $\kappa$ -紧生成范畴和保持余极限及 $\kappa$ -紧对象的函子的范畴。定义：

$0\text{Pr}^\kappa$ 为animas范畴 $\text{Ani}$
$(n+1)\text{Pr}^\kappa = \text{Mod}_{n\text{Pr}^\kappa}(\text{Pr}^\kappa)$ ， $n \geq 0$

对正则基数 $\kappa \leq \lambda$ ，有典范函子 $n\text{Pr}^\kappa \to n\text{Pr}^\lambda$ 。定义： $n\text{Pr} = \lim_{\to \kappa} n\text{Pr}^\kappa$

关键技术组件

$\kappa$ -紧生成性：
- 引理2.1和2.2确保了归纳定义的合理性
- 命题2.3证明了 $\text{Pr}^\kappa$ 本身属于 $\text{CAlg}(\text{Pr}^\kappa)$
丰富范畴理论：
- 使用Heine定理3.4： $\text{Mod}_V(\text{Pr})$ 等价于 $\text{Pr}^V$
- 命题3.7给出了可呈现V-范畴的刻画
复杂度概念：
- 定义4.9引入了支配态射的复杂度 $c_\kappa(F)$
- 命题4.10给出了复杂度在不同基数间的关系

技术创新点

避免宇宙扩张：通过有向极限 $\lim_{\to \kappa} n\text{Pr}^\kappa$ 的构造，避免了需要固定一个更大宇宙的问题。
复杂度理论：引入支配态射复杂度的概念，这是分析高维情况下极限不存在的关键工具。
丰富Ind-范畴理论：系统地发展了V-丰富的Ind-范畴理论，为2-范畴情况的正面结果提供了基础。

主要结果

正面结果（定理D）

定理D：可呈现2-范畴之间任何态射的底层函子都有右伴随。特别地，任何可呈现2-范畴都有极限。

证明思路：

利用定理3.9：对 $\kappa \leq \lambda$ ，函子 $C \to \text{Pr}^\lambda \otimes_{\text{Pr}^\kappa} C$ 保持 $\kappa$ -小极限且是单态射
通过丰富范畴理论，将问题归结为函子范畴间的伴随关系
利用引理3.12中的技术，证明所需的伴随存在

负面结果（定理B）

定理B：Stefanich猜想对 $n = 2$ 是错误的。

证明思路：

考虑 $\text{cofib}: \text{Fun}([1], \text{Pr}^{\text{st}}) \to \text{Pr}^{\text{st}}$
证明 $\ker(\text{cofib}) = \text{Fun}([1], \text{Pr}^{\text{st}}) \times_{\text{Pr}^{\text{st}}} 0$ 在 $2\text{Pr}$ 中不存在
关键是构造例子4.13，显示不同 $\kappa$ 对应的 $\text{Dom}^\kappa$ 在传递时不保持支配性
利用复杂度理论分析，证明某些对象不能在较小复杂度中生成

在不同 $\kappa$ 级别上， $\text{Dom}^\kappa$ 的行为不一致
传递函子 $\text{Pr}^\mu \otimes_{\text{Pr}^\kappa} \text{Dom}^\kappa \to \text{Pr}^\mu \otimes_{\text{Pr}^\lambda} \text{Dom}^\lambda$ 不是支配的
这导致极限在 $2\text{Pr}$ 中不存在