高等代数
泛代数
代数理论/2-代数理论/(∞,1)-代数理论
单子/(∞,1)-monad
操作的/(∞,1)-运算
单子上的代数
(∞,1)单子上的∞代数
代数理论上的代数
(∞,1)代数理论上的∞代数
运算对象上的代数
(∞,1)操作数上的∞代数
行动,∞-作用
表示,∞-表示
模块,∞-模块
相关联束,关联∞丛
单体(∞,1)范畴
对称单(∞,1)-范畴
(∞,1)范畴中的幺半群
(∞,1)-范畴中的交换幺半群
对称单体(∞,1)谱范畴
粉碎光谱乘积
谱的对称单体碰撞积
环形谱,模数谱,代数谱
A-∞代数
C-∞代数
E-∞环,E-∞代数
∞-模块,(∞,1)-模丛
乘法上同调理论
L-∞代数
单形T-代数的模型结构/同伦T-代数
操作数上的模型结构
操作数上代数的模型结构
伊斯贝尔对偶
衍生几何图形
Deligne猜想
脱圈假说
单体Dold-Kan对应
编辑此侧栏
(∞,1)范畴理论
背景
范畴理论
高等范畴理论
(n,r)-类别
基本概念
(∞,1)-范畴
人-物体
中的等效项/属于 (∞,1)(\infty,1)-类别
子(∞,1)范畴
反射子(∞,1)范畴
反射定位
相反(∞,1)-范畴
(∞,1)-范畴上
(∞,1)-函子
精确(∞,1)函子
(∞,1)-函子的(∞、1)-范畴
(∞,1)-(∞、1)-预升范畴
维化理论
内纤维
左/右腓骨
笛卡尔纤维
通用结构
限制
伴随函子
本地演示
本地可展示
基本上很小
局部较小
可接近的
幂等元完备
定理
(∞,1)-Yoneda引理
(∞,1)-Grothendieck构造
伴随(∞,1)函子定理
(∞,1)-单子性定理
额外的材料、结构、属性
稳定(∞,1)-范畴
(∞,1)-拓扑
模型
弱等价范畴
模型类别
派生器
准范畴
准范畴的模型结构
笛卡尔纤维的模型结构
与单纯范畴的关系
同伦相干神经
简单模型范畴
可表示准范畴
Kan复合体
安∞\英菲-代数(∞,1)(\infty,1)-操作的是一个∞-广群配备由(∞,1)-运算.因为对于(∞,1)(\infty,1)-operated,我们可以随意删除前缀(尽管在其他情况下,这有助于消除歧义)。
这是(∞,1)范畴理论-概念的类比运算对象上的代数请注意,在文献中经常会看到模型类别的演示文稿(∞,1)(\infty,1)-普通人操作操作的s在合适的一元模型类。在这些模型中∞\英菲-代数是由共因子上的普通代数表示的分辨率普通丰富的歌剧。这与如何(∞,1)-类别可以由简单丰富的类别.
还要注意,这些模型中使用的浓缩并不一定结束顶部/sSet(设置)(标准演示文稿属于∞Grpd)但通常是在链状络合物范畴但至少对于连接链复合体来说Dold-Kan通信说这些也一定是模型∞-广群s.反过来,这与稳定(∞,1)-范畴可以由dg-类别.
我们讨论∞\英菲-代数(∞,1)-运算从他们的角度来看(∞,1)-算子类别如中所示(卢里).
总体而言,我们有:
对于𝒞 ⊗→𝒪 ⊗\mathcal{C}^\otimes\to\mathcal}^\ocimes一(∞,1)-操作数的fibration,然后针对𝒫 ⊗→𝒪 ⊗\mathcal{P}^\otimes\到\mathcal{O}^\opimes任何其他同态,一个上的(∞,1)-代数 𝒫 ⊗\数学{P}^\otimes在里面𝒞 ⊗\数学{C}^\otimes是的同态(∞,1)-运算从𝒫\数学{P}到𝒞\数学{C}结束𝒪\数学{O}
特别是如果𝒞 ⊗→𝒪 ⊗\mathcal{C}^\otimes\to\mathcal}^\ocimes是一个(∞,1)-运算的余笛卡尔分解那么这个展品𝒞\数学{C}配备有𝒪\数学{O}-单体(∞,1)范畴.然后是部分 A类:𝒪 ⊗→𝒞 ⊗A \colon\mathcal{O}^\otimes\ to \mathcal{C}^{otimes}是一个𝒪\数学{O}-代数𝒞\数学{C}与此结构有关。(“微观原理”).
我们讨论演示文稿属于(∞,1)-类别属于∞\英菲-上的代数(∞,1)-运算s由模型类别范畴上的结构操作数上的代数富含一些合适的一元模型类.
(…)
暂时看一下
另请参见
(∞,1)-运算,操作数上的模型结构
运算对象上的代数,(∞,1)运算代数,操作数上代数的模型结构
(∞,1)运算代数上的模,操作数上代数上模的模型结构
整改
的模型类别结构∞\英菲-代数在中讨论
第2.1.3节
上次修订时间:2014年2月21日02:04:50。请参阅历史获取所有贡献的列表。