Reflectors to quantales

DOI10.1016/J.FSS.2022.08.023MaRDI QIDQ6061529zbMATH OpenFDO

Authors Xia Zhang, Jan Paseka, Jianjun Feng, Yudong Chen

Publication date 31 October 2023

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2208.13735

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Quantales (06F07)

Abstract: In this paper, we show that marked quantales have a reflection into quantales. To obtain the reflection we construct free quantales over marked quantales using appropriate lower sets. A marked quantale is a posemigroup in which certain admissible subsets are required to have joins, and multiplication distributes over these. Sometimes are the admissible subsets in question specified by means of a so-called selection function. A distinguishing feature of the study of marked quantales is that a small collection of axioms of an elementary nature allows one to do much that is traditional at the level of quantales. The axioms are sufficiently general to include as examples of marked quantales the classes of posemigroups, $sigma$-quantales, prequantales and quantales. Furthermore, we discuss another reflection to quantales obtained by the injective hull of a posemigroup.

Recommendations

• Completion of partially ordered sets
• Reflective subcategory of category of fuzzy Z-quantale
• On categorical aspects of \(S\)-quantales
• Some further results on Z-quantales
• On nuclei and conuclei of S-quantales

Cites work

• A note on injective hulls of posemigroups
• Algebraic and categorical aspects of quantales
• An introduction to quantaloid-enriched categories
• Complete and directed complete -categories
• Correction to: ``Injective hulls for ordered algebras
• Free objects over posemigroups in the category \(\mathbf{PoSgr}_\vee\)
• scientific article; zbMATH DE number 4030272 (Why is no real title available?)
• scientific article; zbMATH DE number 3654376 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 774081 (Why is no real title available?)
• Injective hulls for ordered algebras
• Injective hulls for posemigroups.
• Injective Hulls of Certain S-Systems over a Semilattice
• Injective hulls of partially ordered monoids
• Injective Hulls of Semilattices
• Linear logic
• Non-commutative logical algebras and algebraic quantales
• On Domain Theory over Girard Quantales
• On injective constructions of \(S\)-semigroups
• On injective hulls of \(S\)-posets
• On the coextension of cut-continuous pomonoids
• Projective quantales: a general view
• Quantales and (noncommutative) linear logic
• Quantum B-algebras
• Semigroups in complete lattices. Quantales, modules and related topics
• Some further results on quantale completions of ordered semigroups
• The category of semilattices
• The completion of a quantum B-algebra
• The quantale completion of ordered semigroups
• The Stone-Čech compactification of a partial frame via ideals and cozero elements
• The topology of a quantale valued metric space
• Topological representation of right-sided and idempotent quantales
• Uniformities and covering properties for partial frames. II

Cited in

(3)

• scientific article; zbMATH DE number 7112528 (Why is no real title available?)
• Admissible subsets and completions of ordered algebras
• Completions of posemigroups by cuts and beyond

This page was built for publication: Reflectors to quantales

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6061529)