Stable homotopy hypothesis in the Tamsamani model
arXiv:2001.05577
Abstract
We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types.