Modeling stable one-types

MaRDI QIDQ2919775zbMATH OpenFDO

Authors Niles Johnson, Angélica M. Osorno

Publication date 22 October 2012

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

Full work available at URL https://arxiv.org/abs/1201.2686, http://www.emis.de/journals/TAC/volumes/26/20/26-20abs.html

IPFS 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)

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.

Recommendations

• scientific article; zbMATH DE number 1975367
• Closed model structures for algebraic models of \(n\)-types
• On the homotopy theory of \(n\)-types
• scientific article; zbMATH DE number 937396
• Two-track categories

Cited in

(20)

• \(K\)-theory for 2-categories
• The 2-dimensional stable homotopy hypothesis
• Quinn's formula and abelian 3-cocycles for quadratic forms
• Stable homotopy hypothesis in the Tamsamani model
• The low-energy TQFT of the generalized double semion model
• Singular extensions and the second cohomology categorical group
• Stable Postnikov data of Picard 2-categories
• Infinite loop spaces, and coherence for symmetric monoidal bicategories
• Coherence for invertible objects and multigraded homotopy rings
• Brauer groups and Galois cohomology of commutative ring spectra
• The Arf-Brown TQFT of pin\(^-\) surfaces
• Perverse sheaves on Riemann surfaces as Milnor sheaves
• What is an equivalence in a higher category?
• The Smith fiber sequence and invertible field theories
• Semisimple field theories detect stable diffeomorphism
• Fiber 2-functors and Tambara-Yamagami fusion 2-categories
• A note on the Eilenberg-Mac Lane isomorphism for quadratic forms
• Invertibility and parity in symmetric monoidal categories
• Brauer-Wall groups and truncated Picard spectra of K-theory
• Symmetric and exterior powers of categories

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)