Modeling stable one-types

zbMATH Open1252.18034arXiv1201.2686MaRDI QIDQ2919775FDOQ2919775

Angélica M. Osorno, Niles Johnson

Publication date: 22 October 2012

Published in: Theory and Applications of Categories (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1201.2686

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

algebraic categoriesalgebraic model for Postnikov datacategories of \(n\)-typesstable homotopy one-type

Mathematics Subject Classification ID

Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Stable homotopy theory, spectra (55P42) Postnikov systems, (k)-invariants (55S45)

Cited In (14)

• Infinite loop spaces, and coherence for symmetric monoidal bicategories
• The low-energy TQFT of the generalized double semion model
• The Arf-Brown TQFT of pin⁻ surfaces
• The 2-dimensional stable homotopy hypothesis
• Brauer groups and Galois cohomology of commutative ring spectra
• Stable Postnikov data of Picard 2-categories
• Stable homotopy hypothesis in the Tamsamani model
• Symmetric and exterior powers of categories
• What is an equivalence in a higher category?
• Singular extensions and the second cohomology categorical group
• Coherence for invertible objects and multigraded homotopy rings
• Quinn's formula and abelian 3-cocycles for quadratic forms
• \(K\)-theory for 2-categories
• Perverse sheaves on Riemann surfaces as Milnor sheaves

This page was built for publication: Modeling stable one-types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2919775)