Appendix: Separability of tensor in Chu categories of vector spaces

DOI10.1017/S0960129500000955zbMATH Open0859.18009MaRDI QIDQ4882499FDOQ4882499

Authors Michael Barr 

Publication date 9 April 1997

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

pullbacksChu spacesseparatedsymmetric monoidal closed categoryextensional

Mathematics Subject Classification ID

Recommendations

• *-autonomous categories, revisited
• scientific article; zbMATH DE number 1225045
• scientific article; zbMATH DE number 1373515

Cited in

(6)

• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• Topological \(\ast\)-autonomous categories, revisited
• Completeness of the category of separable Chu spaces
• A Quillen model structure for Chu spaces
• The shuffle Hopf algebra and noncommutative full completeness
• Linear Läuchli semantics

This page was built for publication: Appendix: Separability of tensor in Chu categories of vector spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882499)