Modeling Stable One-Types
Abstract
Classification 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 cofiber of a map between stable one-types, and apply this to develop an algebraic model for the Postnikov data of a stable one-type.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2012
- DOI:
- 10.48550/arXiv.1201.2686
- arXiv:
- arXiv:1201.2686
- Bibcode:
- 2012arXiv1201.2686J
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Category Theory;
- 18B40;
- 18D10;
- 55P42;
- 55S45
- E-Print:
- 18 pages, final version