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 these two monoidal products corresponds to the mixor.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.13012
curl -X POST /api/v1/records/arxiv/2608.13012/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.13012/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'