A representation theorem for quantales (Q1208239): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Quantales, observational logic and process semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relations and non-commutative linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Order ideals in categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3791120 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The weakest prespecification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of the Galois theory of Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3771067 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructing locales from quantales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996704 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994458 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantales and (noncommutative) linear logic / rank | |||
Normal rank |
Latest revision as of 16:12, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A representation theorem for quantales |
scientific article |
Statements
A representation theorem for quantales (English)
0 references
16 May 1993
0 references
A quantale is a complete lattice \(\mathcal Q\) equipped with an associative binary operation \(\circ\), which is sup-preserving in both variables. Quantales are a generalization of frames (where \(\circ=\land\)) and include a variety of examples such as ideal lattices of rings and power sets of monoids. Quantales have recently generated much interest in that a class of them provides partially ordered models for linear logic. For an overview, see the reviewer's book \textit{Quantales and their applications} (1990; Zbl 0703.06007). One of the main examples of a quantale is \(\text{Rel}(A)\), the relations on a set \(A\) under relational composition. The authors define a relational quantale to be a quantale \(\mathcal Q\) such that \({\mathcal Q}\subseteq\text{Rel}(A)\) for some set \(A\) and the binary operation of \(\mathcal Q\) is that of relational composition (note that sups in \(\mathcal Q\) need not be computed as unions of relations). The authors prove that every quantale \(\mathcal Q\) has a representation as a relational quantale (taking \(A={\mathcal Q}\)) and they proceed to study various aspects of this representation, such as under what conditions does the representation actually identify \(\mathcal Q\) as a subquantale of \(\text{Rel}({\mathcal Q})\). The paper concludes with a final section briefly describing some aspects of the connection to linear logic.
0 references
quantale
0 references
relational quantale
0 references
relational composition
0 references
linear logic
0 references