Results 81 to 90 of about 576 (163)

A cottage industry of lax extensions [PDF]

Categories and General Algebraic Structures with Applications, 2015
In this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations.
Dirk Hofmann, Gavin J. Seal
doaj  

Quantale-valued generalizations of approach spaces and quantale-valued topological spaces

, 2019
We show that for certain quantales, the categories of quantale-valued gauge spaces and of quantale-valued approach system spaces are isomorphic to the category of quantale-valued bounded strong topological spaces.Key words: L-approach space, L-gauge ...
Jager, Gunther
core  

ON THE CATEGORIES OF QUANTALE-VALUED CONVERGENCE TOWER RINGS

Generalizing the notion of probabilistic convergence ring, where the underlying lattice is a specific quantale, we consider a more general quantale to introduce the notions of quantale-valued convergence tower ring, quantale-valued limit tower ring, and ...
Fawzi Al-Thukair, T. M. G. Ahsanullah
core   +1 more source

Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions

, 2022
It is shown that every two-variable adjunction in categories enriched in a commutative quantale serves as a base for constructing Isbell adjunctions between functor categories, and Kan adjunctions are precisely Isbell adjunctions constructed from ...
Shen, Lili, Tang, Xiaoye
core   +1 more source

Quantales for Fuzzy Sets and Relations of Higher Types

Mathematics
In this paper, we open up more possibilities to define higher types of fuzzy sets in a mixed way. In doing so, we show that there are essentially two alternative definitions for fuzzy sets of higher types, one of which is widely adopted in the literature,
Patrik Eklund, Jari Kortelainen, Magnus Löfstrand   +2 more
doaj   +1 more source

Computing with HACCP Risk and Safety Characterizations

AppliedMath
The focus of this paper is the semi-quantitative approach to risk analysis in HACCP (Hazard Analysis and Critical Control Points), where we show how alternative computations in the risk matrix, combining probability and impact, can be provided based on ...
Darija Semenoja, Minna Sinkkonen, Patrik Eklund   +2 more
doaj   +1 more source

Partial metrizability in value quantales

Applied General Topology, 2004
Partial metrics are metrics except that the distance from a point to itself need not be 0. These are useful in modelling partially defined information, which often appears in computer science.
Ralph D. Kopperman, S. Matthews, H. Pajoohesh   +2 more
doaj   +1 more source

Simple Involutive Quantales

Journal of Algebra, 1997
A quantale \(Q\) is most easily described as a semigroup object in the category \({\mathbf S}{\mathbf L}\) of suplattices. If it is a monoid object it is called unital. (For more on quantales, see the reviewer's book, Quantales and their applications (1990; Zbl 0703.06007).) A quantale \(Q\) with operation \(\&\) is called involutive iff it has an ...
Pelletier, J.Wick, Rosický, J.
openaire   +1 more source

New Results About Aggregation Functions of Quasi-Pseudometric Modulars

Mathematics
In recent studies, Bibiloni-Femenias, Miñana, and Valero characterized the functions that aggregate a family of (quasi-)(pseudo)metric modulars defined over a fixed set X into a single one.
Alejandro Fructuoso-Bonet, Jesús Rodríguez-López   +1 more
doaj   +1 more source

Functorial comparisons of bitopology with topology and the case for redundancy of bitopology in lattice-valued mathematics

Applied General Topology, 2008
This paper studies various functors between (lattice-valued) topology and (lattice-valued) bitopology, including the expected “doubling” functor Ed : L-Top → L-BiTop and the “cross” functor E× : L-BiTop → L2-Top introduced in this paper, both of which ...
S.E. Rodabaugh
doaj   +1 more source