Results 61 to 70 of about 576 (163)
A Note on the Topologicity of Quantale-Valued Topological Spaces [PDF]
Logical Methods in Computer Science, 2017 For a quantale ${\sf{V}}$, the category $\sf V$-${\bf Top}$ of ${\sf{V}}$-valued topological spaces may be introduced as a full subcategory of those ${\sf{V}}$-valued closure spaces whose closure operation preserves finite joins.
Hongliang Lai, Walter Tholen
doaj +1 more source
Binary relations applied to the fuzzy substructures of quantales under rough environment
Demonstratio MathematicaBinary relations (BIRs) have many applications in computer science, graph theory, and rough set theory. This study discusses the combination of BIRs, fuzzy substructures of quantale, and rough fuzzy sets.
Mazher Qurashi Saqib +4 more
doaj +1 more source
Axioms, 2023 For a quantale I, which is a unit interval endowed with a continuous triangular norm and the Barr extension β¯I of the ultrafilter monad to I-Rel, a characterization of the discrete presheaf monad associated to β¯I is given. It is also proved that, when &
Gao Zhang, Shaoqun Zhang
doaj +1 more source
Relation lifting, with an application to the many-valued cover modality [PDF]
Logical Methods in Computer Science, 2013 We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a ...
Marta Bilkova +3 more
doaj +1 more source
Injective hulls for posemigroups; pp. 372–378 [PDF]
Proceedings of the Estonian Academy of Sciences, 2014 We show that injectives with respect to a specific class of order embeddings in the category of posemigroups with submultiplicative morphisms are quantales and construct injective hulls for a certain class of posemigroups with respect to this specific ...
Xia Zhang, Valdis Laan
doaj +1 more source
Mathematics, 2021 In the present study, we preface the notion of the (L,⊙)-fuzzy (K,E)-soft filter and probe many of its characteristics. Using certain operations, we induce (L,⊙)-fuzzy (K,E)-soft topologies from (L,⊙)-fuzzy (K,E)-soft filters.
Ahmed Aref Abd El-Latif +1 more
doaj +1 more source
Representation Theorems for Quantales [PDF]
Mathematical Logic Quarterly, 1994 AbstractIn this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non‐commutative) Linear Logic ...
openaire +1 more source
On presheaf submonads of quantale-enriched categories
, 2023 This paper focuses on the presheaf monad, or the free cocompletion monad, and its submonads on the realm of V-categories, for a quantale V. First we present two characterisations of presheaf submonads, both using V-distributors: one based on admissible ...
Carlos Fitas +3 more
core +1 more source
四川大学学报. 自然科学版, 2011 作者给出了双Quantale模的定义,讨论了双Quantale模的一些相关性质并在此基础上给出了双Quantale模中的同余及核映射的概念,探讨了它们的一些性质,得到了双Quantale模的满同态像同构于某一双Quantale模核映射,证明了双Quantale模上所有的同余构成的完备格与所有的核映射构成的完备格是同构的.
梁少辉, 赵彬
doaj
Higher Order mz-elements in Coherent Quantales
Scientific Annals of Computer ScienceThe mz-elements of a coherent quantale have recently been defined by the author as an abstraction of the mz-ideals of a unital commutative ring. Having as its starting point the Dube and Ighedo recent paper on higher order ideals in ring theory, this ...
George Georgescu
doaj +1 more source