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)

Recommendations

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

zbMATH Keywords

pullbacksChu spacesseparatedsymmetric monoidal closed categoryextensional

Mathematics Subject Classification ID

Cited In (4)

• Linear Läuchli semantics
• Topological \(\ast\)-autonomous categories, revisited
• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• The shuffle Hopf algebra and noncommutative full completeness

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)