On the sphere spectrum from the viewpoint of linear logic

Abstract

In this note, we show the category of $\Gamma$-sets with the sphere spectrum, the smash product, and the substitution product gives rise to an isomix linearly distributive category, which is a categorical semantics of the multiplicative fragment of linear logic. We also show Lydakis' assembly map between these two monoidal products corresponds to the mixor.

arXiv commentCorrected typos and references. No changes to the mathematical content