Publication details

Girard couples of quantales

Authors

EGGER Jeff M. KRUML David

Type Article in Periodical
Magazine / Source Applied categorical structures
MU Faculty or unit

Faculty of Science

Citation
Field General mathematics
Keywords Girard quantale;Quantale;Spectrum of operator algebra;*-autonomous functor category
Description 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.
Related projects: