Abstract
In Palmigiano and Re (J Pure Appl Algebra 215(8):1945-1957, 2011), spatial SGF-quantales are axiomatically introduced and proved to be representable as sub unital involutive quantales of quantales arising from set groupoids. In the present paper, spatial SGF-quantales of this class are shown to be optimally representable as unital involutive quantales of relations. The results of the present paper have several aspects in common with Jónsson and Tarski's representation theory for relation algebras (Jónsson and Tarski, Am J Math 74(2):127-162, 1952).
| Original language | English |
|---|---|
| Pages (from-to) | 65-83 |
| Number of pages | 19 |
| Journal | Order |
| Volume | 30 |
| Issue number | 1 |
| DOIs | |
| Publication status | Published - 1 Jan 2013 |
| Externally published | Yes |
Funding
The research of the first author was made possible by the VENI grant 639.031.726 of the Netherlands Organization for Scientific Research (NWO).
Keywords
- Representation theorem
- Set groupoid
- Strongly Gelfand quantale
- Unital involutive quantale
Fingerprint
Dive into the research topics of 'Relational Representation of Groupoid Quantales'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver