Results 31 to 40 of about 576 (163)
Girard Couples of Quantales [PDF]
Applied Categorical Structures, 2008 We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras.
Jeffrey M. Egger, David Kruml
openaire +2 more sources
Algebraic Properties of the Category of Q-P Quantale Modules [PDF]
, 2013 In this paper, the definition of a Q-P quantale module and some relative concepts were introduced. Based on which, some properties of the Q-P quantale module, and the structure of the free Q-P quantale modules generated by a set were obtained.
LIANG, Shaohui
core +1 more source
Quantale Modules, with Applications to Logic and Image Processing [PDF]
, 2022 We propose a categorical and algebraic study of quantale modules. The results and constructions presented are also applied to abstract algebraic logic and to image processing tasks.Comment: 154 pages, 17 figures, 3 tables, Doctoral dissertation, Univ ...
Russo, Ciro
core +1 more source
Topological Groupoid Quantales [PDF]
Studia Logica, 2010 A quantale is a complete join-semilattice with an associative, completely distributive, binary operation. If, moreover, it is endowed with a unary operation satisfying identities with generalized inverse elements, then it is called an involutive quantale.
Palmigiano, A., Re, R.
openaire +5 more sources
The syntactic side of autonomous categories enriched over generalised metric spaces [PDF]
Logical Methods in Computer Science, 2023 Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold.
Fredrik Dahlqvist, Renato Neves
doaj +1 more source
Approximation in quantale-enriched categories [PDF]
, 2010 Our work is a foundational study of the notion of approximation in Q-categories and in (U,Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and
Pawel Waszkiewicz +4 more
core +1 more source
Rough Hyperfilters in Po‐LA‐Semihypergroups
Discrete Dynamics in Nature and Society, Volume 2019, Issue 1, 2019., 2019 This paper concerns the study of hyperfilters of ordered LA‐semihypergroups, and presents some examples in this respect. Furthermore, we study the combination of rough set theory and hyperfilters of an ordered LA‐semihypergroup. We define the concept of rough hyperfilters and provide useful examples on it.
Ferdaous Bouaziz +2 more
wiley +1 more source
Quantal Response Equilibria [PDF]
, 2008 A quantal response specifies choice probabilities that are smooth, increasing functions of expected payoffs. A quantal response equilibrium has the property that the choice distributions match the belief distributions used to calculate expected payoffs.
Goeree, Jacob K. +2 more
openaire +3 more sources
A duality of quantale-enriched categories [PDF]
, 2012 We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the category of J ...
Waszkiewicz, Paweł, Hofmann, Dirk
core +1 more source
The notions of closedness and D-connectedness in quantale-valued approach spaces [PDF]
Categories and General Algebraic Structures with Applications, 2020 In this paper, we characterize local $T_{0}$ and $T_{1}$ quantale-valued gauge spaces, show how these concepts are related to each other and apply them to $mathcal{L}$-approach distance spaces and $mathcal{L}$-approach system spaces. Furthermore, we give
Muhammad Qasim, Samed Özkan
doaj