Appendix: Separability of tensor in Chu categories of vector spaces (Q4882499)
From MaRDI portal
scientific article; zbMATH DE number 890022
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Appendix: Separability of tensor in Chu categories of vector spaces |
scientific article; zbMATH DE number 890022 |
Statements
Appendix: Separability of tensor in Chu categories of vector spaces (English)
0 references
9 April 1997
0 references
symmetric monoidal closed category
0 references
pullbacks
0 references
separated
0 references
extensional
0 references
Chu spaces
0 references
