Scifaro

中文

算子空间范畴与完全压缩

范畴论 2024-12-31 v1 计算机科学中的逻辑

作者: Bert Lindenhovius , Vladimir Zamdzhiev

在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明了算子空间范畴（Operator Spaces）中以完全压缩为态射的范畴OS是局部可数存在的。这一结果及其关于算子空间项目积张量的对称单畅闭结构，意味着存在相对于项目积张量的免费（仗交换）余糠，从而为路法福（Lafont）意义上的直觉线性逻辑提供了数学模型。

关键词

算子空间范畴论完全压缩项目积张量余糠

引用

@article{arxiv.2412.20999,
  title  = {The Category of Operator Spaces and Complete Contractions},
  author = {Bert Lindenhovius and Vladimir Zamdzhiev},
  journal= {arXiv preprint arXiv:2412.20999},
  year   = {2024}
}