The Category of Operator Spaces and Complete Contractions - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2024

The Category of Operator Spaces and Complete Contractions

Résumé

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.

Dates et versions

hal-04880599 , version 1 (10-01-2025)

Licence

Identifiants

Citer

Bert Lindenhovius, Vladimir Zamdzhiev. The Category of Operator Spaces and Complete Contractions. 2025. ⟨hal-04880599⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More