Linearly Distributive Fox Theorem
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917229259390976 |
|---|---|
| author | Kudzman-Blais, Rose |
| author_facet | Kudzman-Blais, Rose |
| contents | Linearly distributive categories (LDC), introduced by Cockett and Seely to model multiplicative linear logic, are categories equipped with two monoidal structures that interact via linear distributivities. A seminal result in monoidal category theory is the Fox theorem, which characterizes cartesian categories as symmetric monoidal categories whose objects are equipped with canonical comonoid structures. The aim of this work is to extend the Fox theorem to LDCs and characterize the subclass of cartesian linearly distributive categories (CLDC). To do so, we introduce medial linearly distributive categories (MLDC), medial linear functors, and medial linear transformations. The former are LDCs which respect the logical medial rule, appearing frequently in deep inference, or alternatively are the appropriate structure at the intersection of LDCs and duoidal categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_02180 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Linearly Distributive Fox Theorem Kudzman-Blais, Rose Category Theory 18M45 Linearly distributive categories (LDC), introduced by Cockett and Seely to model multiplicative linear logic, are categories equipped with two monoidal structures that interact via linear distributivities. A seminal result in monoidal category theory is the Fox theorem, which characterizes cartesian categories as symmetric monoidal categories whose objects are equipped with canonical comonoid structures. The aim of this work is to extend the Fox theorem to LDCs and characterize the subclass of cartesian linearly distributive categories (CLDC). To do so, we introduce medial linearly distributive categories (MLDC), medial linear functors, and medial linear transformations. The former are LDCs which respect the logical medial rule, appearing frequently in deep inference, or alternatively are the appropriate structure at the intersection of LDCs and duoidal categories. |
| title | Linearly Distributive Fox Theorem |
| topic | Category Theory 18M45 |
| url | https://arxiv.org/abs/2506.02180 |