Parsummable categories as a strictification of symmetric monoidal categories

Tobias Lenz

We prove that the homotopy theory of parsummable categories (as defined by Schwede) with respect to the underlying equivalences of categories is equivalent to the usual homotopy th…