高等代数
泛代数
代数理论/2-代数理论/(∞,1)-代数理论
单子/(∞,1)-单子
操作的/(∞,1)-运算器
单子上的代数
(∞,1)-单元上的∞-代数
代数理论上的代数
(∞,1)代数理论上的∞代数
运算对象上的代数
(∞,1)操作数上的∞代数
行动,∞-作用
表示,∞-表示
模块,∞-模块
相关联束,关联∞束
单体(∞,1)范畴
对称单体(∞,1)范畴
(∞,1)范畴中的幺半群
(∞,1)范畴中的交换幺半群
对称单体(∞,1)谱范畴
粉碎光谱乘积
谱的对称单体碰撞积
环形谱,模数谱,代数谱
A-∞代数
C-∞代数
E-∞环,E-∞代数
∞-模块,(∞,1)-模丛
乘法上同调理论
L-∞代数
单形T-代数的模型结构/同伦T-代数
操作数上的模型结构
操作数上代数的模型结构
伊斯贝尔对偶
衍生几何图形
Deligne猜想
脱圈假说
单体Dold-Kan对应
编辑此侧栏
稳定同伦理论
介绍
循环空间对象
悬挂物体
成环和脱环
稳定(∞,1)-范畴
稳定
稳定导数
三角范畴
稳定的(∞,1)类谱
光谱
稳定同伦范畴
谱的对称碰撞积
Spanier-Whitehead二元性
A-∞环
E-∞环
安代数谱或A-∞代数-光谱超过环形谱是中的模拟高等代数属于稳定同伦理论的结合代数超过戒指普通的代数.
抽象地说A类 ∞A_\信息-代数谱超过E-∞环谱 R(右)R(右)是(∞,1)范畴中的代数在中稳定(∞,1)-范畴属于R(右)R(右)-模谱.
具体来说(∞,1)-范畴是提出了由幺半群上的模型结构在中单体的 R(右)R(右)-中的模块对称谱的模型结构.
(…)
让R(右)以下为:=H(H)ℤR:=H\mathbb{Z}成为艾伦伯格-麦克莱恩谱对于整数第条。
有一个之字形松弛单体 奎伦当量
之间一元模型类别满足一个拟单模型范畴中的拟单公理以下为:
的模型结构H(H)ℤH\mathbb{Z}-模谱;
这个对称谱目标的模型结构在里面单纯阿贝尔群s和in链式复合体锿;
和链状络合物的模型结构(无边界)。
这会导致奎伦等效在相应的幺半群上的模型结构在这些单体范畴,左边是上的模型结构H(H)ℤH\mathbb{Z}-代数谱和右边的dg-代数的模型结构以下为:
这是由于(希普利). 相应的(∞,1)-范畴的等价性对于R(右)R(右)具有内在定义的交换环(∞,1)-范畴属于E1-代数左侧的对象显示为(Lurie道具。7.1.4.6).
这是一个稳定版本的单体Dold-Kan对应。有关详细信息,请参阅此处。
环形谱,模数谱
对称代数谱
A-∞代数,(∞,1)范畴中的代数
一个帐户(∞,1)范畴理论见第7.1.4节
等效于H(H)ℤH\mathbb{Z}-代数谱dg-代数s是由于
Eilenberg-MacLane光谱H(H)R(右)H R(右后)对于R(右)R(右)本身adg-代数在中进行了讨论
另请参阅参考资料稳定同伦理论.
上次修订时间:2017年3月16日10:21:36。请参阅历史获取所有贡献的列表。