Simple involutive quantales

DOI10.1006/jabr.1997.7051zbMath0894.06005OpenAlexW186043453MaRDI QIDQ1372652

Jiří Rosický, J. Wick Pelletier

Publication date: 25 August 1998

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d6909f966597f03d6df05b3c6bf57a5ad62124fb

zbMATH Keywords

primesinvolutionGelfand quantalesinvolutive quantalesspatialityseparation of pointsHilbert quantalessimple quantales

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Ordered semigroups and monoids (06F05)

Related Items

Unnamed Item, Sup-lattice 2-forms and quantales, Uniform environments as a general framework for metrics and uniformities, A note on the number of subquantales, Prime elements of non-integral quantales and their applications., Non-commutative Quantales for Many-Valuedness in Applications, Remark on the unital quantale \(Q[e\)], Groupoid sheaves as quantale sheaves, A non-commutative and non-idempotent theory of quantale sets, Girard couples of quantales, Nuclei and conuclei on residuated lattices, On the quantisation of points, Unnamed Item, Rieffel induction and strong Morita equivalence in the context of Hilbert modules, Algebraic and Categorical Aspects of Quantales, Modules in the Category $$\mathtt {\mathbf{Sup}}$$, On regularity of sup-preserving maps: generalizing Zareckiĭ's theorem, Moore-Penrose equations in involutive residuated semigroups and involutive quantales, A noncommutative theory of Penrose tilings, Gentzen-type calculi for involutive quantales, On the quantisation of spaces, Involutive and relational quantaloids, Projective and injective objects in the category of quantales, Tropological systems are points of quantales

Cites Work

• A remark on the prime stalk theorem
• The equational theory of union-free algebras of relations
• Characterizing spatial quantales
• Representation of Modular Lattices and Of Relation Algebras
• On the quantisation of points
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item