nLab stable homotopy hypothesis

Idea

While the ordinary homotopy hypothesis relates ∞-groupoids to topological spaces, the stable homotopy hypothesis relates symmetric monoidal $\infty$-groupoids to spectra.

References

• Niles Johnson and Angelica Osorno, Modeling stable one-types, tac

• Nick Gurski, Niles Johnson, and Angelica Osorno, The 2-dimensional stable homotopy hypothesis, arxiv