The 2-dimensional stable homotopy hypothesis

Abstract

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

34 pages

References in corpus (4)

• Biequivalences in tricategories
• Bicategorical homotopy pullbacks
• Stable Postnikov data of Picard 2-categories
• The monoidal structure of strictification

Cited by in corpus (5)

• Gauging Noninvertible Defects: A 2-Categorical Perspective
• Stable Postnikov data of Picard 2-categories
• The Smith Fiber Sequence and Invertible Field Theories
• Semisimple Field Theories Detect Stable Diffeomorphism
• 2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$