The 2-dimensional stable homotopy hypothesis

DOI10.1016/J.JPAA.2019.01.012zbMATH Open1448.18032arXiv1712.07218OpenAlexW2780901403WikidataQ128521222 ScholiaQ128521222MaRDI QIDQ2001396FDOQ2001396

Nick Gurski, Niles Johnson, Angélica M. Osorno

Publication date: 3 July 2019

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We prove that the homotopy theory of Picard 2-categories is equivalent to that of stable 2-types.

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

zbMATH Keywords

stable typePIcard 2-categorystable homotopy hypothesis

Mathematics Subject Classification ID

Classification of homotopy type (55P15) Stable homotopy theory, spectra (55P42) 2-categories, bicategories, double categories (18N10) Higher categories and homotopical algebra (18N99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The geometry of iterated loop spaces
• Braided tensor categories
• Categories and cohomology theories
• A Foundation for PROPs, Algebras, and Modules
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Icons
• Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
• A model for the homotopy theory of homotopy theory
• Coherence for tricategories
• Higher-dimensional algebra and topological quantum field theory
• On the homology of non-connected monoids and their associated groups
• Formal category theory: Adjointness for 2-categories
• 2-nerves for bicategories
• Spectra associated to symmetric monoidal bicategories
• Nerves and classifying spaces for bicategories
• \(K\)-theory for 2-categories
• Algebraic classification of equivariant homotopy 2-types. I
• Bicategorical homotopy pullbacks
• Equivariant iterated loop space theory and permutative \(G\)-categories
• Nerves of bicategories as stratified simplicial sets
• Infinite loop spaces, and coherence for symmetric monoidal bicategories
• Biequivalences in tricategories
• An operadic proof of Baez-Dolan stabilization hypothesis
• The periodic table of $n$-categories for low dimensions II: degenerate tricategories
• Coherence in Three-Dimensional Category Theory
• Modeling stable one-types
• Colored operads
• The monoidal structure of strictification
• A Note on the Cohomology of Semigroups
• Iterated icons
• Stable Postnikov data of Picard 2-categories

Cited In (6)

• Title not available (Why is that?)
• Stable homotopy hypothesis in the Tamsamani model
• What is an equivalence in a higher category?
• 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\)
• The stable homotopy category has a unique model at the prime 2
• Gauging noninvertible defects: a 2-categorical perspective

This page was built for publication: The 2-dimensional stable homotopy hypothesis

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