50 research outputs found
Quantale Modules and their Operators, with Applications
The central topic of this work is the categories of modules over unital
quantales. The main categorical properties are established and a special class
of operators, called Q-module transforms, is defined. Such operators - that
turn out to be precisely the homomorphisms between free objects in those
categories - find concrete applications in two different branches of image
processing, namely fuzzy image compression and mathematical morphology
Powerset residuated algebras
We present an algebraic approach to canonical embeddings of arbitrary residuated algebras into powerset residuated algebras. We propose some construction of powerset residuated algebras and prove a representation theorem for symmetric residuated algebras
Residuation algebras with functional duals
We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated to the expanded operations admit an interpretation as (possibly partial) functions. Providing a partial answer to a question of Gehrke, we demonstrate that functionality is not definable in the language of residuation algebras (or even residuated lattices), in the sense that no equational or quasi-equational condition in the language of residuation algebras is equivalent to the functionality of the associated relational structures. Finally, we show that the class of Boolean residuation algebras such that the atom structures of their canonical extensions are functional generates the variety of Boolean residuation algebras