Cartesian Linearly Distributive Categories: Revisited
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914345683779584 |
|---|---|
| author | Kudzman-Blais, Rose Lemay, Jean-Simon Pacaud |
| author_facet | Kudzman-Blais, Rose Lemay, Jean-Simon Pacaud |
| contents | Linearly distributive categories (LDC) were introduced by Cockett and Seely to provide alternative categorical semantics for multiplicative linear logic. In contrast to Barr's $*$-autonomous categories, LDCs take multiplicative conjunction and disjunction as primitive notions. Thus, a LDC is a category with two monoidal products that interact via linear distributors. A cartesian linearly distributive category (CLDC) is a LDC whose two monoidal products coincide with categorical products and coproducts. Initially, it was believed that CLDCs and distributive categories would coincide, but this was later found not to be the case. Consequently, the study on CLDCs was not pursued further at the time. With recent developments for and applications of LDCs, there has been renewed interest in CLDCs. This paper revisits CLDCs, demonstrating strong structural properties they all satisfy and investigating two key classes of examples: posetal distributive categories and semi-additive categories. Additionally, a previously assumed class of CLDCs, the Kleisli categories of exception monads of distributive categories, is re-examined and it is showed that they are not, in fact, CLDCs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_04435 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Cartesian Linearly Distributive Categories: Revisited Kudzman-Blais, Rose Lemay, Jean-Simon Pacaud Category Theory 18M45 Linearly distributive categories (LDC) were introduced by Cockett and Seely to provide alternative categorical semantics for multiplicative linear logic. In contrast to Barr's $*$-autonomous categories, LDCs take multiplicative conjunction and disjunction as primitive notions. Thus, a LDC is a category with two monoidal products that interact via linear distributors. A cartesian linearly distributive category (CLDC) is a LDC whose two monoidal products coincide with categorical products and coproducts. Initially, it was believed that CLDCs and distributive categories would coincide, but this was later found not to be the case. Consequently, the study on CLDCs was not pursued further at the time. With recent developments for and applications of LDCs, there has been renewed interest in CLDCs. This paper revisits CLDCs, demonstrating strong structural properties they all satisfy and investigating two key classes of examples: posetal distributive categories and semi-additive categories. Additionally, a previously assumed class of CLDCs, the Kleisli categories of exception monads of distributive categories, is re-examined and it is showed that they are not, in fact, CLDCs. |
| title | Cartesian Linearly Distributive Categories: Revisited |
| topic | Category Theory 18M45 |
| url | https://arxiv.org/abs/2509.04435 |