Girard couples of quantales
From MaRDI portal
Publication:969691
DOI10.1007/s10485-008-9138-3zbMath1196.06010arXiv0803.0853MaRDI QIDQ969691
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
duality; \(*\)-autonomous functor category; endomorphism quantales; Girard couple; spectra of operator algebras
46L85: Noncommutative topology
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
06F07: Quantales
Related Items
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