Matteo Capucci on Nostr: the folk maxim that 'linear logic is the language of symmetric monoidal categories' ...
the folk maxim that 'linear logic is the language of symmetric monoidal categories' is just so wrong, you can't even tensor proof terms without the MIX rule!
(this tweet was brought to you by the polycats gang)
Published at
2025-12-11 03:29:01 UTCEvent JSON
{
"id": "38188087132b3ee4eac9bca388688070a5eb5407e02ce9d35ce245b8a37e8fba",
"pubkey": "33103dbe06c89141664669ee858c3b9d835eea0e12f4b6d57b33ceb9fe103aae",
"created_at": 1765423741,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/mc/statuses/115698810317518715",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "the folk maxim that 'linear logic is the language of symmetric monoidal categories' is just so wrong, you can't even tensor proof terms without the MIX rule! \n\n(this tweet was brought to you by the polycats gang)",
"sig": "7b126d83b22fe481e1d81b641191e6577d2b27b8b346d54b78cb71f0ff83026a9dd1af88b0f27f3f2142fc03c0433c62da0b80ebc5dc35e11d0a2edcf3729c7a"
}
