{"id":"arxiv/2608.13012","url":"https://arxiv.org/abs/2608.13012","tags":["math.CT","math.AT"],"score":0,"title":"On the sphere spectrum from the viewpoint of linear logic","domain":"math.CT","source":"arxiv","authors":["Ryo Horiuchi"],"reviews":0,"subject":"math.CT","summary":"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 these two monoidal products corresponds to the mixor.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-13","reactions":{}}