A Quillen model structure for Chu spaces

MaRDI QIDQ2852359zbMATH OpenFDO

Authors J. M. Egger

Publication date 8 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002015

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• *-autonomous categories, revisited
• *-Autonomous categories and linear logic
• Chu spaces as a semantic bridge between linear logic and mathematics.
• scientific article; zbMATH DE number 860047
• Appendix: Separability of tensor in Chu categories of vector spaces

Cited in

(4)

• Chu spaces as a semantic bridge between linear logic and mathematics.
• A quadric model for Klingenberg chain spaces
• FUZZY SETS AND FUZZY RELATIONAL STRUCTURES AS CHU SPACES
• scientific article; zbMATH DE number 860047 (Why is no real title available?)

This page was built for publication: A Quillen model structure for Chu spaces

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