MODELING STABLE ONE-TYPES
MODELING STABLE ONE-TYPES
复制标题
稳定的单一类型建模
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
A. Osorno
中科院分区：
文献类型：
--
作者：
Niles Johnson;A. Osorno
同伦n型的分类集中于发展与n型范畴等价的代数范畴。我们扩大这一理论提供代数模型同伦理论的建设稳定的一种类型。其中包括一个模型的Postnikov一截断的领域频谱，并为它的行动的模型的一个稳定的一种类型。我们表明，一个bicategorical cokernel引入Vitale模型之间的映射稳定的一种类型的cober，并应用此开发一个代数模型的Postnikov数据的一个稳定的一种类型。
Classication of homotopy n-types has focused on developing algebraic categories which are equivalent to categories of n-types. We expand this theory by providing algebraic models of homotopy-theoretic constructions for stable one-types. These include a model for the Postnikov one-truncation of the sphere spectrum, and for its action on the model of a stable one-type. We show that a bicategorical cokernel introduced by Vitale models the cober of a map between stable one-types, and apply this to develop an algebraic model for the Postnikov data of a stable one-type.