AI 中文总结
该研究证明了∞-范畴余滤极限的反射/余反射局部化性质,得到范畴性质稳定性结果,还应用于Pr^L中滤过余极限的推拉公式。
AI 中文摘要
我们证明,在温和假设下,∞-范畴的余滤图的极限是其 oplax(松)极限的反射(resp. 反射性)局部化,或是其 lax(严格松)极限的余反射(resp. 余反射性)局部化。这为这类极限下的范畴性质带来了一系列特殊的“稳定性”结果,特别是针对伴随的稳定性结果。作为应用,我们得到了一个推拉公式,该公式描述了可表示∞-范畴的∞-范畴Pr^L中某些滤过余极限。
英文摘要
We prove that, under mild assumptions, the limit of a cofiltered diagram of $\infty$-categories is a reflective (resp. coreflective) localization of its oplax (resp. lax) limit. This gives rise to a number of exceptional 'stability' results for categorical properties under such limits, in particular one for adjunctions. As an application, we recover a push-pull formula describing certain filtered colimits in the $\infty$-category $\mathrm{Pr}^L$ of presentable $\infty$-categories.
Comments13 pages