The 2-dimensional stable homotopy hypothesis
Nick Gurski, Niles Johnson, Ang\'elica M. Osorno
TL;DR
This paper establishes an equivalence between the homotopy theory of Picard 2-categories and stable 2-types, advancing the understanding of higher categorical structures in stable homotopy theory.
Contribution
It proves the homotopy equivalence between Picard 2-categories and stable 2-types, providing a new categorical framework for stable homotopy theory.
Findings
Homotopy theory of Picard 2-categories is equivalent to that of stable 2-types.
Provides a categorical model for stable 2-types.
Bridges higher category theory and stable homotopy theory.
Abstract
We prove that the homotopy theory of Picard 2-categories is equivalent to that of stable 2-types.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.