Involutive and relational quantaloids
The goal of this paper is to generalize results and constructions for involutive quantales (studied by Mulvey and Pelletier), as well as those for relational quantales (due to Brown and Gurr), to the level of quantaloids. A quantaloid is a locally small category enriched in the autonomous category \({\mathcal S}{\mathcal L}\) of sup-lattices. One-object quantaloids are precisely unital quantales. For an overview on quantaloids, see the reviewer's book [\textit{K. I. Rosenthal}, ``The theory of quantaloids, Pitman Res. Notes Math. 348 (1996; Zbl 0845.18003)]. The first part of the paper develops the theory of involutive quantaloids and derives various properties for them under some mild additional conditions. Connections with Freyd's law of modularity are also discussed. The second part of the paper proves an important representation theorem for arbitrary quantaloids. One of the fundamental examples of a quantaloid is that of \(\text{Rel}(X)\), relations on a set \(X\) under relational composition. Starting with a quantaloid \(Q\) and a generating family \(G\) for it, the author constructs a new quantaloid \(\text{Rel} (G)\) of ordered relations and proves that \(Q\) is in fact isomorphic to \(\text{Rel} (G)\). This generalizes a similar representation theorem for quantales proved by \textit{C. Brown} and \textit{D. Gurr} [``A representation theorem for quantales, J. Pure Appl. Algebra 85, No. 1, 27-42 (1993; Zbl 0776.06011)].
- scientific article; zbMATH DE number 896756
- Free quantaloids
- Sheaves on quantaloids
- Algebraic and categorical aspects of quantales
- Some new properties of quantales.
- Semigroups in complete lattices. Quantales, modules and related topics
- Relational representation theorem for powerset quantales.
- The free objects in the category of involutive quantales and their property of well-poweredness
- The congruence relation of an involutive quantale.
- scientific article; zbMATH DE number 5054860
- A representation theorem for quantales
- Characterizing spatial quantales
- Girard quantaloids
- scientific article; zbMATH DE number 426314 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 764339 (Why is no real title available?)
- scientific article; zbMATH DE number 896756 (Why is no real title available?)
- On quantaloids and quantal categories
- Quantales and their sheaves
- Representation Theorems for Quantales
- Simple involutive quantales
- Von Neumann algebras and Hilbert quantales
- Open maps of involutive quantales
- Relational representation of groupoid quantales
- The congruence relation of an involutive quantale.
- Relational representation theorem for powerset quantales.
- Relational and multirelational representation theorems for complete idempotent left semirings.
- On fuzzification of the notion of quantaloid
- scientific article; zbMATH DE number 426314 (Why is no real title available?)
- Representation Theorems for Quantales
- scientific article; zbMATH DE number 2070407 (Why is no real title available?)
- scientific article; zbMATH DE number 896756 (Why is no real title available?)
- The Involutive Quantaloid of Completely Distributive Lattices
- QUANTIFIERS ON LATTICES WITH AN ANTITONE INVOLUTION
- The free objects in the category of involutive quantales and their property of well-poweredness
- scientific article; zbMATH DE number 5054860 (Why is no real title available?)
This page was built for publication: Involutive and relational quantaloids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1592145)
