On the sphere spectrum from the viewpoint of linear logic

In this note, we show the category of $Γ$-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