Results 11 to 20 of about 576 (163)
Characterization of quantale-valued metric spaces and quantale-valued partial metric spaces by convergence [PDF]
Applied General Topology, 2018 We identify two categories of quantale-valued convergence tower spaces that are isomorphic to the categories of quantale-valued metric spaces and quantale-valued partial metric spaces, respectively.
Gunther Jäger, T. M. G. Ahsanullah
doaj +2 more sources
A Quantale of Information [PDF]
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021 Information flow properties are the semantic cornerstone of a wide range of program transformations, program analyses, and security properties. The variety of information that can be transmitted from inputs to outputs in a deterministic system can be captured by representing information as equivalence relations over the sets of possible values, using ...
Hunt, S., Sands, D.
openaire +4 more sources
Convergence and quantale-enriched categories [PDF]
Categories and General Algebraic Structures with Applications, 2018 Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology.
Dirk Hofmann, Carla D. Reis
doaj +2 more sources
Pre-Hausdorffness and Hausdorffness in Quantale-Valued Gauge Spaces
Mathematics, 2022 In this paper, we characterize each of T0, T1, Pre-Hausdorff and Hausdorff separation properties for the category L-GS of quantale-valued gauge spaces and L-gauge morphisms.
Samed Özkan +3 more
doaj +2 more sources
Generalized Rough Fuzzy Ideals in Quantales
Discrete Dynamics in Nature and Society, 2018 The paper examines the generalized rough fuzzy ideals of quantales. There are some intrinsic relations between fuzzy prime (primary) ideals of quantales and generalized rough fuzzy prime (primary) ideals of quantales.
Saqib Mazher Qurashi, Muhammad Shabir
doaj +2 more sources
Soft Substructures in Quantales and Their Approximations Based on Soft Relations. [PDF]
Comput Intell Neurosci, 2022 The aim of this research article is to derive a new relation between rough sets and soft sets with an algebraic structure quantale by using soft binary relations. The aftersets and foresets are utilized to define lower approximation and upper approximation of soft subsets of quantales.
Zhou H +5 more
europepmc +2 more sources
Generalized Lower and Upper Approximations in Quantales
Journal of Applied Mathematics, 2012 We introduce the concepts of set-valued homomorphism and strong set-valued homomorphism of a quantale which are the extended notions of congruence and complete congruence, respectively.
Qimei Xiao, Qingguo Li
doaj +2 more sources
Lax orthogonal factorisations in monad-quantale-enriched categories [PDF]
Logical Methods in Computer Science, 2017 We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system (lofs) whose ...
Maria Manuel Clementino +1 more
doaj +2 more sources
Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In the topos approach to quantum theory of Doering and Isham the Kochen–Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand spectrum of
Kevin Dunne
doaj +5 more sources
AxiomsIn this study, we establish several coupled fixed point results in quantale-valued quasi-metric spaces (QVQMSs), which constitutes a generalization of metric and probabilistic metric spaces. The obtained results will be illustrated with concrete examples.
Irem Eroğlu
doaj +2 more sources