The Category of Operator Spaces and Complete Contractions
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916545932820480 |
|---|---|
| author | Lindenhovius, Bert Zamdzhiev, Vladimir |
| author_facet | Lindenhovius, Bert Zamdzhiev, Vladimir |
| contents | We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable. This result, together with its symmetric monoidal closed structure with respect to the projective tensor product of operator spaces, implies the existence of cofree (cocommutative) coalgebras with respect to the projective tensor product and therefore provides a mathematical model of Intuitionistic Linear Logic in the sense of Lafont. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_20999 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Category of Operator Spaces and Complete Contractions Lindenhovius, Bert Zamdzhiev, Vladimir Category Theory Logic in Computer Science We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable. This result, together with its symmetric monoidal closed structure with respect to the projective tensor product of operator spaces, implies the existence of cofree (cocommutative) coalgebras with respect to the projective tensor product and therefore provides a mathematical model of Intuitionistic Linear Logic in the sense of Lafont. |
| title | The Category of Operator Spaces and Complete Contractions |
| topic | Category Theory Logic in Computer Science |
| url | https://arxiv.org/abs/2412.20999 |