从线性逻辑视角看球谱
On the sphere spectrum from the viewpoint of linear logic
AI总结：
本研究从线性逻辑视角，证明带有球谱、smash积和替换积的Γ集合范畴构成等混线性分配范畴，还指出Lydakis的装配映射对应混子，为线性逻辑乘法片段提供范畴语义。
AI中文摘要：
在本注记中，我们证明了带有球谱、 smash积和替换积的Γ集合范畴构成一个等混线性分配范畴，它是线性逻辑乘法片段的范畴语义。我们还证明了Lydakis提出的这两个幺半积之间的装配映射对应于混子。
英文摘要：
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.
