Girard couples of quantales
classification
🧮 math.CT
math.LOmath.QA
keywords
girardquantalescouplesalgebrasarbitraryarisebasicconcept
read the original abstract
We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice $S$, a Girard quantale whose right-sided part is isomorphic to $S$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.