The Chu construction: history of an idea

MaRDI QIDQ3413925zbMATH OpenFDO

Authors Michael Barr

Publication date 19 December 2006

Full work available at URL https://eudml.org/doc/127219, http://www.emis.de/journals/TAC/volumes/17/1/17-01abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\(\ast\)-autonomous categoriesChu categorieshistory

Mathematics Subject Classification ID

Development of contemporary mathematics (01A65) History of category theory (18-03) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of computing (68Q99)

Recommendations

• Preface to the special volume: ``Chu spaces: theory and applications
• Chu spaces as a semantic bridge between linear logic and mathematics.
• scientific article; zbMATH DE number 918297
• Beyond the Chu-construction
• scientific article; zbMATH DE number 1500671

Cited in

(6)

• scientific article; zbMATH DE number 918297 (Why is no real title available?)
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• Smooth coalgebra: testing vector analysis
• Categorification of a set relation geometry induced by rough operators
• Exponential modalities and complementarity (extended abstract)

This page was built for publication: The Chu construction: history of an idea

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