跳到主要内容
数学溢出

标记为[无限类别]的问题

提出问题

这个标签没有使用指南。

566问题
最新的 活动 被收买的 未答复
筛选依据
排序依据
标记为
7 投票
1 回答
169 意见

$\operatorname{Fun}（\mathcal{C}，\mathcal{D}）^n$是$\operatorname{Fun}（\tathcal{C}^n，\mathcal{D}^n）的子类别$

让$\mathcal{C}$和$\mathcal{D}$成为$\infty$-类别（我指的是准类别，尽管我怀疑这几乎无关紧要），让$n\geq1$成为整数。有一个函子$$\θ：\。。。
Ken的用户头像
肯
  • 1949年
6 投票
1 回答
209 意见

参考文献：派生仿射方案的类别很广泛

导出仿射格式的范畴（即$（\infty，1）$-范畴）是弱等价中单纯交换环局部化的相反范畴。请参阅广泛类别。确实。。。
Arshak Aivazian的用户头像
阿沙克·艾瓦兹（Arshak Aivazian）
  • 6,684
5 投票
2 答案
225 意见

如何从交换微分分次环中得到$E_infty$-环？

我想解决以下问题：如何从交换微分分次环中得到$E_infty$-环？更准确地说，让$\operatorname{cdga}$成为cdgas的（$1$-）类别，让$。。。
彭叶波的用户头像
彭叶波
  • 61
6 投票
0 答案
106 意见

$（\infty，1）$-类别中单态/表态类的处理

在$（1,1）$范畴的经典理论中，单态/表态的类链是众所周知的：普通的$\leftarrow$strong$\left arrow$有效的$\letterrow$split（我假设。。。
Arshak Aivazian的用户头像
阿尔沙克·艾瓦济安
  • 6,684
4 投票
0 答案
174 意见

关于导出的仿射方案/流形的有效满态，我们知道些什么？

默认情况下，所有术语都是无限意义上的（“类别”是指“（∞，1）-类别”等）回想一下，如果Tech图为$$ ... \到X\。。。
Arshak Aivazian的用户头像
阿沙克·艾瓦兹（Arshak Aivazian）
  • 6,684
2 投票
0 答案
56 意见

双重分类和腓骨

有没有一种方法可以让Conduche fibrations在双重类别中实现完整性？我知道函子上的Conduche条件在伪二重函数的完备性或余完备性中起着作用。。。
Siya的用户头像
锡亚
  • 193
4 投票
0 答案
92 意见

一般单形集内同伦的不同概念何时一致？

$\newcommand{\defeq}{\overset{\mathrm{def}}{=}}\newcommand{\rmR}{\mathr{R}}\newcommand{\rmL}{\mathrm{L}}\ewcommand{\ End}{\methrm{End}}\新command{\\Hom}{\mathrm{Hom}}$这个问题是我的。。。
艾米丽的用户头像
艾米丽
  • 11.4万
三 投票
1 回答
140 意见

同伦相干变换与累加

设$C$是域$F$上的链复形范畴，$C^\prime$是零微分链复形的子范畴。如果$X:I\到C$是函子，则存在诱导的“同调&。。。
vap的用户化身
真空吸尘器
  • 362
8 投票
1 回答
338 意见

同伦理论中几何形状范畴的守恒余完备

最近的论文Calin Tataru，部分订单是总订单的自由保守互补。arXiv公司：2404.12924证明了单形范畴$\Delta$的保守余完备。。。
艾米丽的用户头像
艾米丽
  • 11.4万
13 投票
0 答案
217 意见

单形集的Isbell对偶

$\newcommand{\IsbellSpec}{\mathsf{Spec}}\newcommand{\IsbellO}{\mathsf{O}}\newcommand{\Nat}{\methrm{Nat}}$Isbell二元性设置了一个附加项（请参阅此处的简短摘要）$$\mathsf{O}\dashv\。。。
艾米丽的用户头像
艾米丽
  • 11.4万
4 投票
1 回答
229 意见

为什么通用$n$-gerbe是通用的？（HTT，7.2.2.26）

设$\mathcal{X}$为$\infty$-topos，$A$为$X$离散对象的类别$\operatorname{Disc}（\mathcal{X}）$的阿贝尔组对象。回想一下，形态$f:\widetilde{X}\to。。。
Ken的用户头像
肯
  • 1,949
2 投票
1 回答
135 意见

对于连接的指向$X$，“$X$是$n$-截断的$\iff$\Omega X$是$（n-1）$-截断的”。（HTT，7.2.2.11）

在高等拓扑理论引理7.2.2.11的证明中，Lurie提出了以下主张：（$\ast$）设$n\geq1$为整数，设$\mathcal{X}$为$\infty$-topos，设$1\toX$为指向。。。
Ken的用户头像
肯
  • 1,949
4 投票
1 回答
110 意见

左Kan扩张与有限积保持

设${\rm Ani（Ring）}$是动态交换环的$\infty$-范畴，${\rm-Ani（Ring。。。
Y.M的用户头像
年/月
  • 111
2 投票
1 回答
106 意见

Lax-Gray张量积和相反类别：

对于任意两个严格（无穷大，无穷大）范畴$A，B$，设$A\otimes B$是$A$和$B$的lax-Gray张量乘积。设$A^{op}$是相反的（无穷大，无穷大）范畴，其中。。。
Hadrian Heine的用户头像
哈德利安·海涅
  • 1,241
6 投票
1 回答
485 意见

$\infty$和普通派生类别之间的规范比较

这个问题是我之前问的一个问题的后续。如果$\mathcal{D}（\mathsf{A}）$是（普通）阿贝尔范畴$\mathsf{A},$的派生$\infty$-范畴，那么同伦范畴$h\。。。
斯塔尔的用户头像
斯塔尔
  • 1,159

15 30 50 每页
1
2 三 4 5
…
38