Relational representation of groupoid quantales (Q1943694)

From the abstract: ``In [the authors, J. Pure Appl. Algebra 215, No. 8, 1945--1957 (2011; Zbl 1215.06008)], spatial SGF-quantales are axiomatically introduced and proved to be representable as sub unital involutive 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 first three sections provide a sufficiently self-contained account of strongly Gelfand quantales, their relation to groupoids, and the previous results of the authors regarding set-groupoids-based representations. Section 4 presents the strengthening of these results arising from considering relational quantales, and it also contains a discussion on the connection between these results and relation algebras.