Girard couples of quantales

DOI10.1007/s10485-008-9138-3zbMath1196.06010arXiv0803.0853OpenAlexW2126273283MaRDI QIDQ969691

J. M. Egger, David Kruml

Publication date: 7 May 2010

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0803.0853

zbMATH Keywords

duality\(*\)-autonomous functor categoryendomorphism quantalesGirard couplespectra of operator algebras

Mathematics Subject Classification ID

Noncommutative topology (46L85) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Quantales (06F07)

Related Items (max. 100)

Unitless Frobenius quantales

Cites Work

• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Von Neumann algebras and Hilbert quantales
• Simple involutive quantales
• A common abstraction of MV-algebras and abelian \(l\)-groups
• Algebraic and Categorical Aspects of Quantales
• Algebraic Analysis of Many Valued Logics
• Tight Galois Connections and Complete Distributivity
• An extension of the Galois theory of Grothendieck
• Quantales and (noncommutative) linear logic
• On the quantisation of points
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Girard couples of quantales