You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

稳定∞-范畴中筛滤局部化图表的交集子范畴对应的局部化映射判定问题

稳定∞-范畴中筛滤局部化图表的交集子范畴对应的局部化映射判定问题

我最近在研究稳定∞-范畴的局部化,遇到了一个问题想请教:

假设我们有一个稳定∞-范畴$C$,还有一个筛滤图表(sifted diagram)形式的子范畴族${C_i}_{i\in I}$,每个$C_i$都对应着与图表交换的局部化函子$L_i: C \to C_i$。现在考虑这些子范畴的交集$C_\infty := \cap_{i\in I} C_i$,我想知道:对应到$C_\infty$的局部化函子是不是就是$X \mapsto \mathrm{colim},L_i(X)$?

一些额外的想法和关注点:

  • 如果需要添加额外假设来让结论成立的话,完全可以提出。
  • 我自己初步觉得,当指标集$I$是*滤过的(filtered)*时,这个结论应该是成立的,但还需要进一步验证。
  • 我特别感兴趣的特例是:每个$C_i$都是某个解析环上的完备模构成的范畴(相关文献的4.1.1节有相关背景内容)。

备注:内容来源于stack exchange,提问作者Semcio

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.04.16 02:54:35