CHARACTERIZATION OF PROJECTIVE QUANTALES
From MaRDI portal
Publication:2811986
DOI10.1017/S1446788715000506zbMath1408.06007MaRDI QIDQ2811986
Publication date: 10 June 2016
Published in: Journal of the Australian Mathematical Society (Search for Journal in Brave)
Complete lattices, completions (06B23) Frames, locales (06D22) Pseudocomplemented lattices (06D15) Quantales (06F07)
Related Items (4)
Some partial results on the cancellation law for the tensor product of complete lattices ⋮ Non-commutative logical algebras and algebraic quantales ⋮ Free and cofree \(S\)-quantales ⋮ Some further results on free quantale algebras
Cites Work
- Linear logic
- Étale groupoids and their quantales
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Projective and supercoherent frames
- On quantales and spectra of C*-algebras
- Non-commutative topology and quantales
- An essay on noncommutative topology
- On the quantisation of spaces
- On the torsion points of Drinfeld modules in abelian extensions
- Projective quantales: a general view
- A noncommutative theory of Penrose tilings
- Algebraic and Categorical Aspects of Quantales
- Quantales and (noncommutative) linear logic
- Quantales and C∗-Algebras
- Quantales, observational logic and process semantics
- Inertial algebras, inertial bimodules, and projective covers of algebras
- On the quantisation of points
- Quantales, finite observations and strong bisimulation
This page was built for publication: CHARACTERIZATION OF PROJECTIVE QUANTALES
