Open AccessArticle

Relational Variants of Lattice-Valued F-Transforms

Jiří Močkoř

Institute for Research and Applications of Fuzzy Modelling, NSC IT4Innovations, University of Ostrava, 702 00 Ostrava, Czech Republic

Axioms 2020, 9(1), 1; https://doi.org/10.3390/axioms9010001

Submission received: 3 November 2019 / Revised: 13 December 2019 / Accepted: 17 December 2019 / Published: 19 December 2019

(This article belongs to the Special Issue Fuzzy Transforms and Their Applications)

Download Versions Notes

Abstract

Two categories of lower and upper lattice-valued F-transforms with fuzzy relations as morphisms are introduced, as generalisations of standard categories of F-transforms with maps as morphisms. Although F-transforms are defined using special structures called spaces with fuzzy partitions, it is shown that these categories are identical to the relational variants of the two categories of semimodule homomorphisms where these fuzzy partitions do not occur. This a priori independence of the F-transform on spaces with fuzzy partitions makes it possible, for example, to use a simple matrix calculus to calculate F-transforms, or to determine the image of F-transforms in relational morphisms of the two categories.

Keywords:

spaces with fuzzy partition; F-transform; semimodule; semimodule homomorphism; residuated lattice; MV-algebra; morphisms; functors

1. Introduction

Fuzzy set theory was introduced by Zadeh [1] as a generalisation of the classical set theory, allowing working with vagueness as one of the basic features of real-world applications. Concurrently with its origins, the theory of fuzzy sets dealt not only with objects, i.e., with fuzzy sets, but also investigated the functional relations between these objects. This naturally led to research into the categorical aspects of fuzzy sets and, in general, to the exploration of fuzzy set categories. The importance of category theory in fuzzy set theory lies mainly in the possibility of comparing different types of constructions to each other, or finding common foundations of often different concepts. Nonetheless, the role of categorical tools is also to describe the different transformation processes related to structures of one type. The first definition of the fuzzy set category was introduced by Goguen [2,3], where the objects of this category were pairs

(A, t)

, with A a crisp set and

t \in L^{A}

a fuzzy set with a value domain in a complete distributive lattice

L

. A morphism

(A, t) \to (B, s)

was defined as a map

f : A \to B

, such that

t (x) \leq s (f (x))

, for arbitrary

x \in A

. Another definition of the fuzzy sets category was introduced by Eytan [4], where a fuzzy relation was used as a morphism in the fuzzy set category. If

L

is a complete Heyting algebra, then this new category

F u z (L)

is isomorphic to the original Goguen category. The fuzzy set categories were often designed to be as close as possible to the classical category of sets. This led to an effort to create such categories of fuzzy sets that would be topos [5,6]. These constructions include the so-called Higg’s topos [7,8], based on the concept of the total fuzzy set, introduced by Wyler [9] and Blanc [10], where morphisms are again special fuzzy relations with values in the complete Heyting algebra. With the development of the fuzzy set theory and applications, the Heyting algebra was gradually abolished as an array of fuzzy set values and replaced by other complete lattice structures, such as the totally monoidal sets and various generalizations of these structures (see [6,11,12,13,14,15] and others). However, it was still valid that the key role of morphisms in these new categories had the mappings between underlying sets of fuzzy sets with specific properties.

Description of transformation processes between objects of one type using the category theory language ensure morphism and functors. The significance of morphisms and functors in categories is, inter alia, that morphisms and functors actually represent a change of bases process for various fuzzy objects. From the simplest objects, such as the set of all L-valued fuzzy sets

L^{X}

defined in a X set (i.e., the base is X), to complicated objects such as fuzzy topological spaces, fuzzy groups, fuzzy ordered structures etc., which are again defined above some base. If these bases (sets, for example) are understood as objects of some basic category

K

, then the process of creating these structures is actually the functor F from category

K

to the category containing these new structures, e.g., to the category

Top

of fuzzy topological spaces, the category

Gr

of fuzzy groups, etc. If

f : X \to Y

is a morphism in this basic category

K

(a mapping between two sets, for example), then by applying the functor F a new morphism

F (f) : F (X) \to F (Y)

arises between these new objects, which in fact represents the change of base X in object

F (X)

to a new base Y in object

F (Y)

Recently, however, a number of results have emerged in the theory of fuzzy sets, which are based on the application of fuzzy relations as morphisms in suitable categories. A typical example of this use of fuzzy relations is the category of sets as objects and

L

-valued fuzzy relations between sets as morphisms. This category is frequently used in approximation functors. These functors then represents various approximations of fuzzy sets, defined by fuzzy relations. This approximation was for the first time defined by Goguen [2], when he introduced the notion of the image of a fuzzy set under a fuzzy relation. Many examples using explicitly or implicitly approximation functors defined by various types of fuzzy relations can be found in rough fuzzy sets theory and many others (see, e.g., [16,17,18]).

In fuzzy set theory, there are a number of constructions that normally use different type mappings as a tool to change the base of a given construction, i.e., use different types of mappings as morphisms in appropriate categories. One of the typical and widespread construction in fuzzy set theory relates to the term lattice-valued F-transform.

A number of applications have emerged based on that completely new approximation theory. These applications include in particular signal and image processing [19,20,21], data analysis [22,23,24], signal compression [25,26], and numerical solutions of differential equations [27,28,29]. This new method of a transformation of fuzzy sets is based on reduction of basic space of given fuzzy sets and it has been introduced and elaborated by Perfilieva in papers [16,24,25,30,31,32,33,34]. The original form of a lattice-valued fuzzy transform is a map

F : L^{X} \to L^{Y}

, where X is a "large" set (the original universe of fuzzy sets), Y is a "smaller" set, and L is an appropriate complete lattice.

The basic structure for F-transform constructions is the space with a fuzzy partition

(X, A)

, which is represented by an underlying set X of fuzzy sets and a system

A = {A_{α} : α \in I_{A}}

of fuzzy sets in X, which is called a fuzzy partition on X. A relationship between two spaces with s fuzzy partitions

(X, A)

and

(Y, B)

can be described as a pair of special maps from X to Y and from

I_{A}

I_{B}

. This pair of maps represents a morphism in the ground category of F-transform. Using F-transform we can find the relation between the result of the original F-transform based on the basis

(X, A)

and between the new F-transform when the original base changes to the basis

(Y, B)

In this article, we want to look at the problem of how the value of the F-transform will change if we use different types of relations instead of mappings hitherto used as morphisms between two bases, i.e., between two spaces with fuzzy partitions. This problem is related to the general trend of using relations instead of mapping in many constructions in fuzzy set theory.

To solve this problem, we introduce the relational variant of the category of F-transforms, which uses fuzzy relations as morphisms. This new category is a generalisation of the category of F-transforms, which uses mappings as morphisms. Analogically we introduce the relational variant of the category of special semimodule homomorphisms with relations as morphisms and, as the main result, we prove that these new relational categories are isomorphic. This basically proves that although the structure of F-transforms with relations as morphisms is relatively complicated, it is essentially a relatively simple algebraic structure of special semimodules.

2. Preliminaries

To maintain some self-sufficiency in this article, in this section we will repeat some basic concepts from both the theory of residuated lattices and MV-algebras, and some principal examples of semirings and semimodules that we will use in the following sections.

2.1. Residuated Lattices and $M V$ -Algebras

Let the structure

L = (L, \land, \lor, \otimes, \to, 0_{L}, 1_{L})

be defined such that

$(L, \lor, \land, 0_{L} . 1_{L})$ be a complete lattice,
$(L, \otimes, 1_{L})$ be a commutative monoid,
⊗ is isotone in both arguments,
→ is a binary operation which is residuated with respect to ⊗, i.e.,

$α \otimes β \leq γ iff α \leq β \to γ .$

Then

L

is a called a complete residuated lattice (see e.g., [35]). In

L

we can define new operations, such as bi-residuation operation ↔, defined by

α \leftrightarrow β = (α \to β) \land (β \to α)

, or negation operation ¬, defined by

\neg a = a \to 0_{L}

A special example of a residuated lattice

L

is a

M V

-algebra, i.e., a structure

L = (L, \oplus, \otimes, \neg, 0_{L}, 1_{L})

satisfying the following axioms:

(i): $(L, \otimes, 1_{L})$ is a commutative monoid,
(ii): $(L, \oplus, 0_{L})$ is a commutative monoid,
(iii): $\neg \neg x = x$ , $\neg 0_{L} = 1_{L}$ ,
(iv): $x \oplus 1_{L} = 1_{L}$ , $x \oplus 0_{L} = x$ , $x \otimes 0_{L} = 0_{L}$ ,
(v): $x \oplus \neg x = 1_{L}, x \otimes \neg x = 0_{L}$ ,
(vi): $\neg (x \oplus y) = \neg x \otimes \neg y$ , $\neg (x \otimes y) = \neg x \oplus \neg y$ ,
(vii): $\neg (\neg x \oplus y) \oplus y = \neg (\neg y \oplus x) \oplus x$ ,

for all

x, y \in X

M V

-algebra can be transformed into a lattice structure by defining lattice operations in the following way:

x \lor y = (x \oplus \neg y) \otimes y, x \land y = (x \otimes \neg y) \oplus y, x \to y = \neg x \oplus y .

In that case

(L, \land, \lor, \otimes, \to, 0_{L}, 1_{L})

is a complete residuated lattice.

An example of a

M V

-algebra is the Łukasiewicz algebra

L_{Ł} = ([0, 1], \oplus, \otimes, \neg, 0, 1)

, where

x \otimes y = 0 \lor (x + y - 1), \neg x = 1 - x, x \oplus y = 1 \land (x + y) .

L

is a complete residuated lattice, a

L

-fuzzy set in a crisp set X is a map

f : X \to L

. f is a non-trivial

L

-fuzzy set, if f is not identical to the zero function.

2.2. Semirings and Semimodules

The notion of a semiring appears for the first time in [36] and it was introduced as a generalisation of a ring, without the requirement that each element must have an additive inverse. A notion of a semimodule was then a logical continuation of this approach in the field of modules ([37]). To be more precise, we repeat the definition of both these structures. In the paper we consider only commutative semirings.

Definition 1

([36]). A semiring

R = (R, +, ., 0_{R}, 1_{R})

is an algebraic structure with the following properties:

(i): $(R, +, 0_{R})$ is a commutative monoid,
(ii): $(R, ., 1_{R})$ is a commutative monoid,
(iii): $x . (y + z) = x . y + x . z$ holds for all $x, y, z \in R$ ,
(iv): $0_{R} . x = x . 0_{R} = 0_{R}$ holds for all $x \in R$ .

The notion of a semimodule over a semiring is taken from [37].

Definition 2

([37]). Let

R = (R, +, ., 0_{R}, 1_{R})

be a semiring. A

R

-semimodule is a commutative monoid

M = (M, +_{M}, 0_{M})

for which the external multiplication

R \times M \to M

, denoted by

r m

, is defined and which for all

r, r^{'} \in R

and

m, m^{'} \in M

satisfies the following equations:

(o): $(r . r^{'}) m = r (r^{'} m)$ ,
(ii): $r (m +_{M} m^{'}) = r m +_{M} r m^{'}$ ,
(iii): $(r + r^{'}) m = r m +_{M} r^{'} m$ ,
(iv): $1_{R} m = m$ , $0_{R} m = r 0_{M} = 0_{M}$ .

In this paper we will use the examples of semimodules and semirings, which were published in the papers of Di Nola and Gerla [38,39]. These examples show that it is possible to introduce a semimodule structure on the set

L^{X}

L

-fuzzy sets on a set X.

Example 1

([38]). (1) Let

L

be a residuates lattice. Then the reduct

L^{\lor} = (L, \lor, \otimes, 0_{L}, 1_{L})

is a commutative semiring,

(2) Let

L

be a

M V

-algebra. Then the reduct

L^{\land} = (L, \land, \oplus, 1_{L}, 0_{L})

is a commutative semiring.

Example 2

([39]). (1) Let

X \neq \emptyset

L

be a residuated lattice and let

L^{\lor} = (L, \lor, \otimes, 0_{L}, 1_{L})

be its semiring reduct. For all

f, g \in M = L^{X}

define

\begin{matrix} (f +_{M} g) (x) = f (x) \lor g (x), \\ p f (x) = p \otimes f (x), \\ 0_{M} \in M, 0_{M} (x) = 0_{L}, x \in X, p \in L . \end{matrix}

Then

L^{X} = (M, +_{M}, 0_{M})

is an

L^{\lor}

-semimodule.

(2) Let

X \neq \emptyset

L

be a

M V

-algebra and let

L^{\land} = (L, \land, \oplus, 1_{L}, 0_{L})

be its semiring reduct. For all

f, g \in M = L^{X}

define

\begin{matrix} (f +_{M} g) (x) = f (x) \land g (x), \\ p f (x) = p \oplus f (x), \\ 0_{M} \in M, 0_{M} (x) = 1_{L}, x \in X, p \in L . \end{matrix}

Then

L^{X} = (M, +_{M}, 0_{M})

is an

L^{\land}

-semimodule.

The semimodule theory is in many aspects similar to the theory of linear spaces. This means, among other things, that we can also introduce the concept of a linear morphism in this theory.

Definition 3.

Let

R = (R, +_{R}, ., 0_{R}, 1_{R})

be a semiring and

M = (M, +_{M}, 0_{M})

and

N = (N, +_{N}, 0_{N})

R

-semimodules. A mapping

G : M \to N

is a

R

-homomorphism from

M

N

, if the following conditions hold:

(i): $G (m +_{M} m^{'}) = G (m) +_{N} G (n^{'})$ , for all $m, m^{'} \in M$ ,
(ii): $G (r m) = r G (m)$ , for all $m \in M, r \in R$ .

Unlike classical modules, where the addition operation + is usually defined only for a finite number of elements, in the case of some semimodules, such as complete

L^{\lor}

L^{\land}

-semimodules

L^{X}

, this operation can be defined even for an infinite set of additions.

If a

R

-semimodule

M = (M, +_{M}, 0_{M})

is such that for any subset

N \subseteq M

, there exists the sum of elements

x \in N

, then

M

is called a complete

R

-semimodule. A sum of elements

x \in N

is denoted by

\sum_{x \in N}^{M} x

. If

M

and

P

are complete

R

-semimodules, then a

R

-homomorphism

G : M \to P

is called complete, if

\forall N \subseteq M, G (\sum_{x \in N}^{M} x) = \sum_{x \in N}^{P} G (x) .

Example 3.

Let

L

be a complete residuated lattice and let

M = L^{X}, N = L^{Y}

be complete

L^{\lor}

-semimodules from Example 2(1). Then,

G : M \to N

is a complete

L^{\lor}

-homomorphism, iff

1.: $\forall {s_{i} : i \in I} \subseteq M, G (⋁_{i \in I}^{M} s_{i}) = ⋁_{i \in I}^{N} G (s_{i})$ ,
2.: $\forall s \in M, α \in L, G (α \otimes_{M} s) = α \otimes_{N} G (s)$ .

where the indexes M and N determine where the given operation takes place.

Example 4.

Let

L

be a complete MV-algebra and let

M = L^{X}, N = L^{Y}

be complete

L^{\land}

-semimodules from Example 2(2). Then,

G : M \to N

is a complete

L^{\land}

-homomorphism, iff

1.: $\forall {s_{i} : i \in I} \subseteq M, G (⋀_{i \in I}^{M} s_{i}) = ⋀_{i \in I}^{N} G (s_{i})$ ,
2.: $\forall s \in M, α \in L, G (α \to_{M} s) = α \to_{N} G (s)$ .

This follows from the equality

G (α \to_{M} s) = G (\neg α \oplus_{M} s) = \neg α \oplus_{N} G (s) = α \to_{N} G (s)

2.3. Elements of the Category Theory

For the convenience of the reader we repeat some basic definitions and examples which could be useful to understand main results. For more details about category theory see [40].

Definition 4.

A category

K

consists of a class

O b (K)

of objects and class

H o m (a, b)

of morphisms for every objects

a, b \in O b (K)

. A morphism from an object a to b is denoted by an arrow

a \to b

. Moreover, the category has to satisfy the following conditions.

1.: For arbitrary objects $a, b, c \in O b (K)$ , there exists a binary operation $\circ : H o m (a, b) \times H o m (b, c) \to H o m (a, c)$ , called a composition of morphisms.
2.: The composition ∘ is associative, i.e., if $f : a \to b, g : b \to c$ and $h : c \to d$ , then $h \circ (g \circ f) = (h \circ g) \circ f$ .
3.: For every object $x \in O b (K)$ there exists a morphism $1_{x} : x \to x$ , such that for arbitrary $f : x \to y$ and $g : y \to x$ , $f \circ 1_{x} = f$ and $1_{x} \circ g = g$ hold.

The basic example of a category is the category

Set

with sets as objects and mappings as morphisms, with a composition of morphisms defined as a composition of maps. Let us consider another examples of a category.

Example 5.

Let

L

be a complete residuated lattice. The category

{Mod}^{\lor}

is defined by

1.: Objects are all $L^{\lor}$ -semimodules $L^{X}$ from Example 2,
2.: Morphisms are all $L^{\lor}$ -homomorphisms between $L^{\lor}$ -semimodules defined in Definition 4.

Analogously we can define the category

{Mod}^{\land}

with

L^{\land}

-semimodules

L^{X}

as objects and with

L^{\land}

-homomorphisms as morphisms.

We recall the definition of two categories which are important in F-transform theory and will be used in the next part of the paper. Recall that for arbitrary sets

X, Y

and a map

f : X \to Y

f^{\to}

denotes the Zadeh’s extension

L^{X} \to L^{Y}

of f, i.e., for

t \in L^{X}, y \in Y

f^{\to} (s) (y) = \underset{x \in X, f (x) = y}{⋁} t (x) .

Analogously,

f^{\leftarrow} : L^{Y} \to L^{X}

is an extension of f defined by

f^{\leftarrow} (s) (x) = s (f (x)),

for each

s \in L^{Y}, x \in X

Definition 5

([41]).

1.

Let

L

be a complete residuated lattice. The category

{Hom}_{\lor}

is defined by

(a): Objects are complete $L^{\lor}$ -semimodule homomorphism between $L^{\lor}$ -semimodules $L^{X}$ and $L^{Y}$ , for arbitrary sets X and Y,
(b): A morphism from an object $G : L^{X} \to L^{Y}$ to the object $G_{1} : L^{X_{1}} \to L^{Y_{1}}$ is a pair of maps $(f, σ) : G \to G_{1}$ , such that $f : X \to X_{1}$ and $σ : Y \to Y_{1}$ are mappings, and holds

$G_{1} \circ f^{\to} \geq σ^{\to} \circ G .$
(c): The composition of morphisms is point-wise.

2.

Let

L

be a complete MV-algebra. The category

{Hom}_{\land}

is defined by

(a): Objects are complete $L^{\land}$ -semimodule homomorphism between $L^{\land}$ -semimodules $L^{X}$ and $L^{Y}$ , for arbitrary sets X and Y,
(b): A morphism from an object $G : L^{X} \to L^{Y}$ to the object $G_{1} : L^{X_{1}} \to L^{Y_{1}}$ is a pair of maps $(f, σ) : G \to G_{1}$ , such that $f : X \to X_{1}$ and $σ : Y \to Y_{1}$ are mappings, and holds

$σ^{\leftarrow} \circ G_{1} \leq G \circ f^{\leftarrow} .$
(c): The composition of morphisms is point-wise.

We can also introduce the relational variants of the categories

{Hom}_{\lor}

and

{Hom}_{\land}

. We need the following notation. If

R : X \times Y \to L

is an

L

-fuzzy relation, then the approximation maps

R^{*} : L^{X} \to L^{Y}

and

R_{*} : L^{Y} \to L^{X}

are defined by

\begin{matrix} t \in L^{X}, y \in Y, R^{*} (t) (y) = \underset{x \in X}{⋁} t (x) \otimes R (x, y), \\ s \in L^{Y}, x \in X, R_{*} (s) (x) = \underset{y \in Y}{⋀} R (x, y) \to s (y) . \end{matrix}

Example 6.

1.

Let

L

be a complete residuated lattice. The category

{RHom}_{\lor}

is defined by

(a): Objects are complete $L^{\lor}$ -semimodule homomorphism between $L^{\lor}$ -semimodules $L^{X}$ and $L^{Y}$ , for arbitrary sets X and Y,
(b): A morphism from an object $G : L^{X} \to L^{Y}$ to the object $G_{1} : L^{X_{1}} \to L^{Y_{1}}$ is a pair $(f, g) : G \to G_{1}$ , such that $f : X \times X_{1} \to L$ and $g : Y \times Y_{1} \to L$ are fuzzy relations, and in the diagramthe inequality $G_{1} \circ f^{*} \geq g^{*} \circ G$ holds.
(c): The composition of morphisms is point-wise.

2.

Let

L

be a complete MV-algebra. The category

{RHom}_{\land}

is defined by

(a): Objects are complete $L^{\land}$ -semimodule homomorphism between $L^{\land}$ -semimodules $L^{X}$ and $L^{Y}$ , for arbitrary sets X and Y,
(b): A morphism from an object $G : L^{X} \to L^{Y}$ to the object $G_{1} : L^{X_{1}} \to L^{Y_{1}}$ is a pair $(f, g) : G \to G_{1}$ , such that $f : X \times X_{1} \to L$ and $g : Y \times Y_{1} \to L$ are fuzzy relations, and in the following diagramthe inequality $G \circ f_{*} \geq g_{*} \circ G_{1}$ holds.
(c): The composition of morphisms is point-wise.

Relationships between categories are mostly defined by functors.

Definition 6.

Let

C

and

D

be categories. A functor

F : C \to D

from

C

D

is a mapping, such that it

1.

associates to each object x in

C

an object

F (x)

D

2.

associates to each morphism

f : x \to y

C

a morphism

F (f) : F (x) \to F (y)

D

such that the following two conditions hold:

(a): $F (1_{x}) = 1_{F (x)}$ , for arbitrary object x in $C$ ,
(b): $F (g \circ f) = F (g) \circ F (f)$ , for arbitrary $f : a \to b, g : b \to c$ .

In the next example we show that the Zadeh’s extension principle can be interpreted as a functor between the categories

Set

and

Mod

Example 7.

Let

L

be a complete residuated lattice. The functor

Z : Set \to {Mod}^{\lor}

is defined by

1.: For arbitrary $X \in O b (Set)$ , $F (X) = L^{X} \in {Mod}^{\lor}$ . Elements of $F (X)$ are called $L$ -fuzzy sets in X.
2.: For a morphism $f : X \to Y$ in $Set$ , $F (f) : F (X) \to F (Y)$ is defined by $F (s) = s^{\to}$ , for arbitrary $s \in F (X)$ .

3. Categories of Spaces with Fuzzy Partitions

An important role in F-transform theory have the so-called spaces with fuzzy partitions [31], which play the role of the bases for the F-transform, just as sets in the category

Set

play in many standard constructions. In this section we introduce two categories of spaces with fuzzy partitions, one with morphisms defined by maps and other with morphisms defined by fuzzy relations.

Definition 7.

Let

L

be a complete lattice. Let X be a set and let

A = {A_{y} : y \in Y}

be a set of

L

-fuzzy sets in a set X. The index Y set of

A

is denoted by

| A |

. A pair

(X, A)

is called a space with a fuzzy partition.

We define two categories of spaces with fuzzy partitions, which seem to be the basic categories for F-transform constructions. We start with the category, where morphisms are defined by mappings.

Definition 8.

Let

L

be a lattice. The category

SpaceFP

is defined by

1.

Fuzzy partitions

(X, A)

as objects,

2.

Morphisms

(g, σ) : (X, A) \to (Y, B)

such that

$g : X \to Y$ is a map,
$σ : | A | \to | B |$ is a map such that

$\forall λ \in | A |, x \in X A_{λ} (x) \leq B_{σ (λ)} (g (x)) .$

3.

The composition of morphisms in

SpaceFP

is defined by

(h, τ) \circ (g, σ) = (h \circ g, τ \circ σ)

Another category of spaces with fuzzy partition has the same objects as the category

SpaceFP

, but the morphisms are defined by fuzzy relations. For the sake of simplicity, we will assume in the rest of the paper that

L

is a complete residuated lattice, unless otherwise stated.

Definition 9.

The category

RSpaceFP

of fuzzy partitions with fuzzy relational morphisms is defined by

1.

Ob(RSpaceFP)=Ob(SpaceFP),

2.

(f, g) : (X, A) \to (Y, B)

is a morphism, if

(a): $f : X \times Y \to L$ is a $L$ -fuzzy relation,
(b): $g : | A | \times | B | \to L$ is a $L$ -fuzzy relation,
(c): For all $x \in X, y \in Y, α \in | A |, β \in | B |$ ,

$\begin{matrix} \underset{α \in | A |}{⋁} A_{α} (x) \otimes g (α, β) \leq \underset{y \in Y}{⋁} B_{β} (y) \otimes f (x, y), \\ \underset{x \in X}{⋁} A_{α} (x) \otimes f (x, y) \leq \underset{β \in | B |}{⋁} S (α, β) \otimes B_{β} (y) . \end{matrix}$

hold.

3.

A composition of morphisms

(f, g) : (X, A) \to (Y, B)

and

(f_{1}, g_{1}) : (Y, B) \to (Z, C)

is a morphism

(f_{1} \circ f, g_{1} \circ g) : (X, A) \to (Z, C)

, where ∘ is a standard composition of

L

-fuzzy relations.

As it can be expected, the category

RSpaceFP

is a generalisation of the category

SpaceFP

. In fact, the following proposition holds.

Proposition 1.

There exists an embedding functor

J : SpaceFP \to RSpaceFP

Proof.

Let the inclusion functor

J : SpaceFP \to RSpaceFP

be defined as the identity map on objects of the category

SpaceFP

and for any morphism

(f, g) : (X, A) \to (Y, B)

J (f, g) = (F, G)

, where F and G are graphs of mappings f and g, respectively. For arbitrary

β \in g^{- 1} (| A |), x \in X

we have

\begin{matrix} \underset{α \in | A |}{⋁} A_{α} (x) \otimes G (α, β) = \underset{α, g (α) = β}{⋁} A_{α} (x) \leq \end{matrix}

(1)

\begin{matrix} B_{g (α)} (f (x)) = \underset{x, f (x) = y}{⋁} B_{β} (y) \otimes F (x, y) \leq \underset{y^{'} \in Y}{⋁} B_{β} (y^{'}) \otimes F (x, y^{'}) . \end{matrix}

(2)

β \notin g^{- 1} (| A |)

, then the left part of Equation (1) equals to

0_{L}

and the inequality in Equation (2) also holds. Hence,

(F, G)

is a morphism in

RSpaceFP

and J is an embedding functor. The other equality can be proven analogously. □

On the other hand the category

SpaceFP

represents a generalisation of the category

Set

, as it is proven in the next proposition.

Proposition 2.

The exists an embedding functor

I : Set \to SpaceFP

Proof.

Let the functor I be defined by

$I (X) = (X, {χ_{{x}}^{X} : x \in X})$ , where $χ_{{x}}^{X} : X \to L$ is the characteristic function of a set ${x}$ in a set X,
If $f : X \to Y$ is a morphism in $SpaceFP$ , then $I (f) = (f, f)$ .

Since

χ_{{x}}^{X} \leq χ_{{f (x)}}^{Y}

(f, f) : F (X) \to F (Y)

is a morphism in

SpaceFP

. □

Although the categories

SpaceFP

and

RSpaceFP

, which are necessary for the F-transform theory, are defined by spaces with fuzzy partitions, in fact, we do not need this term, i.e., spaces with fuzzy partitions, to define these two categories. We can prove that these categories are isomorphic to categories, where the notion of a space with a fuzzy partition does not appear.

Definition 10.

Let

Rel

be the category of fuzzy relation with maps as morphisms, defined by

1.: Objects $(X, Y, R)$ , where $X, Y$ are sets and $R : X \times Y \to L$ is an $L$ -fuzzy relation.
2.: Morphisms are pair of maps $(f, σ) : (X, Y, R) \to (X^{'}, Y^{'}, R^{'})$ , where $f : X \to X^{'}$ and $σ : Y \to Y^{'}$ are maps, such that $R (x, y) \leq R^{'} (f (x), σ (y))$ , for all $x \in X, y \in Y$ ,
3.: The composition of morphisms is defined by $(g, τ) \circ (f, σ) = (g \circ f, τ \circ σ)$ .

The relationship between the categories

SpaceFP

and

Rel

we firstly proved in [41].

Proposition 3

([41]). The category

SpaceFP

is isomorphic to the category

Rel

Let us now consider the “relational” variant of the category

Rel

Definition 11.

The category

RRel

of fuzzy relations with fuzzy relational morphisms is defined by

1.

Objects of

RRel

are the same as in the category

Rel

2.

(f, g) : (X, Y, R) \to (X_{1}, Y_{1}, R_{1})

is a morphism, if

(a): $f : X \times X_{1} \to L$ is a fuzzy relation,
(b): $g : Y \times Y_{1} \to L$ is a fuzzy relation,
(c): $g \circ R \leq R_{1} \circ f$ and $f \circ R^{- 1} \leq S^{- 1} \circ g$ hold, where ∘ is a standard composition of fuzzy relations.

3.

A composition of morphisms

(f, g) : (X, Y, R) \to (X_{1}, Y_{1}, R_{1})

and

(f_{1}, g_{1}) : (X_{1}, Y_{1}, R_{1}) \to (X_{2}, Y_{2}, R_{2})

is a morphism

(f \circ f_{1}, g \circ g_{1}) : (X, Y, R) \to (X_{2}, Y_{2}, R_{2})

In the next proposition we prove that also the categories

RSpaceFP

and

RRel

are isomorphic.

Proposition 4.

The category

RSpaceFP

is isomorphic to the category

RRel

Proof.

Let

(f, g) : (X, Y, R) \to (W, Z, S)

be a morphism in the category

RRel

. The functor

H : RRel \to RSpaceFP

is defined by

$H (X, Y, R) = (X, A)$ , where $A = {A_{y} : y \in Y}$ and $A_{y} : X \to L$ is defined by $A_{y} (x) = R (x, y)$ .
$H (f, g) = (f, g)$ .

We have

| A | = Y, | B | = Z

and for arbitrary

x \in X, z \in Z

we have

\begin{matrix} \underset{y \in Y}{⋁} A_{y} (x) \otimes g (y, z) = g \circ R (x, z) \leq S \circ f (x, z) = \underset{w \in W}{⋁} f (x, w) \otimes S (w, z) = \underset{w \in W}{⋁} f (x, w) \otimes B_{z} (w), \\ \underset{x \in X}{⋁} A_{y} (x) \otimes f (x, w) = \underset{x \in X}{⋁} R^{- 1} (y, x) \otimes f (x, w) = f \circ R^{- 1} (y, w) \leq S^{- 1} \circ g (y, w) = \\ \underset{z \in Z}{⋁} g (y, z) \otimes S (w, z) = \underset{z \in Z}{⋁} g (y, z) \otimes B_{z} (w) . \end{matrix}

Therefore,

(f, g)

is a morphism in

RSpaceFP

and H is a functor. Conversely, let

(f, σ) : (X, A) \to (Z, B)

be a morphism in the category

RSpaceFP

A = {A_{α} : α \in | A |}

. Let

H^{- 1} : RSpaceFP \to RRel

be a functor defined by

$H^{- 1} (X, A) = (X, | A |, R)$ , where $R : X \times | A | \to L$ is defined by $R (x, α) = A_{α} (x)$ .
$H^{- 1} (f, σ) = (f, σ)$ .

Then, analogously to the previous case, it can be shown that

H^{- 1}

is a functor and it is the inverse functor to H. Therefore, both categories are isomorphic. □

4. Categories of F-Transforms

As we mentioned in the Introduction, fuzzy transforms (F-transforms) represent new methods, which are successfully used in various applications. We recall two basic variants of F-transform [31].

Definition 12.

Let

(X, A)

be a space with a fuzzy partition,

A = {A_{y} : y \in | A |}

1.: A function $F_{X, A}^{↑} : L^{X} \to L^{| A |}$ is called the upper F-transform defined by a space with a fuzzy partition, if

$\forall f \in L^{X}, y \in | A |, F_{X, A}^{↑} (f) (y) = \underset{x \in X}{⋁} f (x) \otimes A_{y} (x) .$
2.: A function $F_{X, A}^{↓} : L^{X} \to L^{| A |}$ is called the lower F-transform defined by a space with a fuzzy partition, if

$\forall f \in L^{X}, y \in | A |, F_{X, A}^{↓} (f) (y) = \underset{x \in X}{⋀} (A_{y} (x) \to f (x))$

where

\otimes, \to

are operations from a residuated lattice

L

The basic building structures for F-transforms are spaces with fuzzy partitions. These spaces are then analogies of sets as the basic building elements of both classical and many fuzzy structures. There is therefore a natural question of how the F-transforms defined in one base space, i.e., space with a fuzzy partition, will change when that base space also changes. The change of one basic space to another then actually represents the morphism between these spaces, which are represented by the categories

SpaceFP

RSpaceFP

. The question is, therefore, whether this change of base spaces also corresponds to the change of F-transforms.

We begin with definitions of two variants of categories of lower and upper F-transforms. The first variant are categories with maps as morphisms and the other variant represent categories with fuzzy relations as morphisms.

Definition 13.

The category

{FTrans}^{↑}

of upper F-transforms is defined by

1.: Objects are upper F-transform maps $F_{X, A}^{↑} : L^{X} \to L^{| A |}$ , for arbitrary space with a fuzzy partition $(X, A)$ ,
2.: A morphism from $F_{X, A}^{↑}$ to $F_{Y, B}^{↑}$ is a pair o maps $(f, σ)$ , such that $f : X \to Y$ and $σ : | A | \to | B |$ are maps, such that

$F_{Y, B}^{↑} . f^{\to} \geq σ^{\to} . F_{X, A}^{↑} .$
3.: Composition of morphisms is a component-wise composition of maps.

Definition 14.

The relational variant of the category of upper F-transforms is the category

{RFTrans}^{↑}

, defined by

1.: Objects of ${RFTrans}^{↑}$ are the same as for the category ${FTrans}^{↑}$ ,
2.: A morphism from $F_{X, A}^{↑}$ to $F_{Y, B}^{↑}$ is a pair $(R, S)$ of $L$ -fuzzy relations such that $R : X \times Y \to L$ , $S : | A | \times | B | \to L$ , such that

$F_{Y, B}^{↑} . R^{*} \geq S^{*} . F_{X, A}^{↑} .$
3.: Composition of morphisms is a component-wise composition of $L$ -fuzzy relations.

Analogously we can define two variants of the lower F-transform categories:

Definition 15.

The category

{FTrans}^{↓}

of lower F-transforms is defined by

1.: Objects are lower F-transform maps $F_{X, A}^{↓} : L^{X} \to L^{| A |}$ , for arbitrary space with a fuzzy partition $(X, A)$ ,
2.: A morphism from $F_{X, A}^{↓}$ to $F_{Y, B}^{↓}$ is a pair o maps $(f, σ)$ , such that $f : X \to Y$ and $σ : | A | \to | B |$ are maps, such that

$σ^{\leftarrow} . F_{Y, B}^{↓} \leq F_{X, A}^{↓} . f^{\leftarrow} .$
3.: Composition of morphisms is a component-wise composition of maps.

Definition 16.

The relational variant of the category of lower F-transforms is the category

{RFTrans}^{↓}

, defined by

1.: Objects of ${RFTrans}^{↓}$ are the same as for the category ${FTrans}^{↓}$ ,
2.: A morphism from $F_{X, A}^{↓}$ to $F_{Y, B}^{↓}$ is a pair $(R, S)$ of $L$ -fuzzy relations such that $R : X \times Y \to L$ , $S : | A | \times | B | \to L$ , such that

$S_{*} . F_{Y, B}^{↓} \leq F_{X, A}^{↓} . R_{*} .$
3.: Composition of morphisms is a component-wise composition of $L$ -fuzzy relations.

In the next proposition we show that changes of bases in categories

SpaceFP

and

RSpaceFP

causes changes of corresponding F-transforms.

Proposition 5.

There exist functors

\begin{matrix} F^{↑} : SpaceFP \to {FTrans}^{↑}, F_{R}^{↑} : RSpaceFP \to {RFTrans}^{↑}, \\ F^{↓} : SpaceFP \to {FTrans}^{↓}, F_{R}^{↓} : RSpaceFP \to {RFTrans}^{↓} . \end{matrix}

Proof.

Let

(f, σ) : (X, A) \to (Y, B)

be a morphism in

SpaceFP

. The functor

F^{↑}

is defined by

$F^{↑} (X, A) = F_{X, A}^{↑}$ ,
$F^{↑} (f, σ) = (f, σ)$ .

In fact, we need only to prove that

(f, σ) : F_{X, A}^{↑} \to F_{Y, B}^{↑}

is a morphism in

{FTrans}^{↑}

. Let

t \in L^{X}

and

β \in | B |

be arbitrary elements. Since

(f, σ)

is a morphism in

SpaceFP

, we obtain

\begin{matrix} σ^{\to} . F_{X, A}^{↑} (t) (β) = \underset{α \in | A | . σ (α) = β}{⋁} F_{X, A}^{↑} (t) (α) = \underset{x \in X}{⋁} \underset{α \in | A |, σ (α) = β}{⋁} t (x) \otimes A_{α} (x) \leq \\ \underset{y \in Y}{⋁} \underset{x \in X, f (x) = y}{⋁} t (x) \otimes B_{β} (f (x)) = \underset{y \in Y}{⋁} f^{\to} (t) (y) \otimes B_{β} (y) = F_{Y, B}^{↑} . f^{\to} (t) (β), \end{matrix}

and

(f, σ)

is a morphism in

{FTrans}^{↑}

. Hence,

F^{↑}

is a functor.

The functor

F_{R}^{↑}

is defined analogously, i.e., for a morphism

(R, S) : (X, A) \to (Y, B)

, we set

F_{R}^{↑} (X, A) = F_{X, A}^{↑}

and

F_{R}^{↑} (R, S) = (R, S)

. It can be proven analogously as in the previous case that

(R, S)

is also a morphism in

{RFTrans}^{↑}

, i.e., that

F_{Y, B}^{↑} . R^{*} \geq S^{*} . F_{X, A}^{↑}

holds.

The functor

F^{↓}

is defined by

$F^{↓} (X, A) = F_{X, A}^{↓}$ ,
$F^{↓} (f, σ) = (f, σ)$ .

Hence, we need only to prove that

(f, σ) : F_{X, A}^{↓} \to F_{Y, B}^{↓}

is a morphism in

{FTrans}^{↓}

. Let

s \in L^{Y}, α \in | A |

. Then we have

\begin{matrix} F_{X, A}^{↓} . f^{\leftarrow} (s) (α) = \underset{x \in X}{⋀} A_{α} (x) \to f^{\leftarrow} (s) (x) = \underset{x \in X}{⋀} A_{α} (x) \to s (f (x)) \geq \\ \underset{x \in X}{⋀} B_{σ (α)} (f (x)) \to s (f (x)) \geq \underset{y \in Y}{⋀} B_{σ (α)} (y) \to s (y) = F_{Y, B}^{↓} (s) (σ (α)) = σ^{\leftarrow} . F_{Y, B}^{↓} (s) (α) . \end{matrix}

Hence,

(f, σ)

is a morphism and

F^{↓}

is a functor.

The functor

F_{R}^{↓}

is defined analogously, i.e., for a morphism

(R, S) : (X, A) \to (Y, B)

RSpaceFP

, we set

F_{R}^{↓} (X, A) = F_{X, A}^{↓}

and

F_{R}^{↓} (R, S) = (R, S)

. We show that

(R, S) : F_{X, A}^{↓} \to F_{Y . B}^{↓}

is a morphism in the category

{RFTrans}^{↓}

. In fact, let

s \in L^{Y}, α \in | A |

. We have

\begin{matrix} F_{X, A}^{↓} . R_{*} (s) (α) = \underset{x \in X}{⋀} A_{α} (x) \to R_{*} (s) (x) = \underset{x \in X}{⋀} A_{α} (x) \to (\underset{y \in Y}{⋀} R (x, y) \to s (y)) = \\ \underset{x \in X}{⋀} \underset{y \in Y}{⋀} A_{y} (x) \to (R (x, y) \to s (y)) = \underset{x \in X}{⋀} \underset{y \in Y}{⋀} A_{α} (x) \otimes R (x, y) \to s (y) = \\ \underset{y \in Y}{⋀} (\underset{x \in X}{⋁} A_{α} (x) \otimes R (x, y)) \to s (y) \geq \underset{y \in Y}{⋀} (\underset{β \in | B |}{⋁} S (α, β) \otimes B_{β} (y)) \to s (y) = \\ \underset{y \in Y}{⋀} \underset{β \in | B |}{⋀} S (α, β) \otimes B_{β} (y) \to s (y) = \underset{β \in | B |}{⋀} S (α, β) \to (\underset{y \in Y}{⋀} B_{β} (y) \to s (y)) = \\ \underset{β \in | B |}{⋀} S (α, β) \to F_{Y, B}^{↓} (s) (β) = S_{*} . F_{Y, B}^{↓} (s) (α) . \end{matrix}

Therefore,

(R, S)

is a morphism and

F_{R}^{↓}

is a functor. □

As we mentioned in the introductory part, the F-transform can be equivalently defined without using the concept of spaces with fuzzy partitions. This can be achieved by showing that both variants of categories

FTrans

and both variants of categories

RFTrans

are isomorphic to categories of completely different objects. The first result of this type was proven in our paper [41].

Theorem 1

([41]).

1.: Let $L$ be a complete residuated lattice. Then the categories $SpaceFP$ and ${Hom}_{\lor}$ are isomorphic.
2.: Let $L$ be a complete MV-algebra. Then the categories $SpaceFP$ and ${Hom}_{\land}$ are also isomorphic.

As the main result of the paper we prove that analogical results hold also for relational variant

{RFTrans}^{↑}

and

{RFTrans}^{↓}

of the categories of F-transforms.

Theorem 2.

1.: Let $L$ be a complete residuated lattice. Then the categories ${RFTrans}^{↑}$ and ${RHom}_{\lor}$ are identical.
2.: Let $L$ be a complete MV-algebra. Then the categories ${RFTrans}^{↓}$ and ${RHom}_{\land}$ are identical.

Proof.

1. We prove firstly, that both categories have the same objects. Let

F_{X, A}^{↑}

be an object of the category

{RFTran}^{↑}

. It is well known (see, e.g., [31]) that

F_{X, A}^{↑} : L^{X} \to L^{| A |}

is a

L^{\lor}

-homomorphism of semimodules, i.e., it is an object of

{RHom}_{\lor}

. It follows that

O b ({RFTrans}^{↑}) \subseteq O b ({RHom}_{\lor}) .

On the other hand, let

G \in O b ({RHom}_{\lor})

G : L^{X} \to L^{Y}

. We set

A = {A_{y} : y \in Y},, A_{y} (x) = G (χ_{{x}}^{X}) (y), x \in X .

According to [42], any

t \in L^{X}

can be expressed in the form

t = \underset{x \in X}{⋁} t (x) \otimes χ_{{x}}^{X} .

where

χ_{{x}}^{X} \in L^{X}

is the characteristic map of a subset

{x}

in X. Then, for arbitrary

y \in Y

, we have

\begin{matrix} G (t) (y) = G (\underset{x \in X}{⋁} t (x) \otimes χ_{{x}}^{X}) (y) = \underset{x \in X}{⋁} G (t (x) \otimes χ_{{x}}^{X}) (y) = \underset{x \in X}{⋁} t (x) \otimes G (χ_{{x}}^{X}) (y) = \\ \underset{x \in X}{⋁} t (x) \otimes A_{y} (x) = F_{X, A}^{↑} (y) . \end{matrix}

Therefore,

G \in O b ({RFTrans}^{↑})

and we both categories have identical objects.

Let

(f, σ) : G \to G_{1}

be a morphism in the category

{RHom}_{\lor}

G : L^{X} \to L^{Y}

. It follows that

G_{1} . f^{*} \geq σ^{*} . G

. Let

F_{X, A}^{↑} = G

and

F_{X_{1}, A_{1}}^{↑} = G_{1}

. From the previous construction of

(X, A)

and

(X_{1}, A_{1})

it follows that

F_{X_{1}, A_{1}}^{↑} . f^{*} \geq σ^{*} . F_{X, A}^{↑}

and it follows that

(f, σ)

is also a morphism in

{RFTrans}^{↑}

. Therefore, both categories are identical.

2. Let

L

be a complete MV-algebra. We prove that for arbitrary

f \in L^{X}

\begin{matrix} f = \underset{x \in X}{⋀} f (x) \oplus \neg χ_{{x}} . \end{matrix}

(3)

holds. In fact, let

z \in X

. Then we have

\begin{matrix} (\underset{x \in X}{⋀} f (x) \oplus \neg χ_{{x}}) (z) = \underset{x \in X}{⋀} f (x) \oplus \neg χ_{{x}} (z) = \\ (\underset{x \in X, x \neq z}{⋀} f (x) \oplus \neg χ_{{x}} (z)) \land (f (z) \oplus \neg χ_{{z}} (z)) = \\ (\underset{x \neq z}{⋀} f (x) \oplus 1_{L}) \land (f (z) \oplus 0_{L}) = 1_{L} \land f (x) = f (x) . \end{matrix}

Now, let

G \in O b ({RHom}^{\land})

G : L^{X} \to L^{Y}

. We set

A = {A_{y} : y \in Y}, A_{y} (x) = \neg G (\neg χ_{{x}}) (y),

for arbitrary

y \in Y, x \in X

. Let

f \in L^{X}

. According to the equality in Equation (3), for each

y \in Y

we obtain

\begin{matrix} G (f) (y) = G (\underset{x \in X}{⋀} f (x) \oplus \neg χ_{{x}}^{X}) (y) = \underset{x \in X}{⋀} G (f (x) \oplus \neg χ_{{x}}^{X}) (y) = \\ \underset{x \in X}{⋀} (f (x) \oplus G (\neg χ_{{x}})) (y) = \\ \underset{x \in X}{⋀} f (x) \oplus \neg A_{y} (x) = \underset{x \in X}{⋀} A_{y} (x) \to f (x) = F_{X, A}^{↓} (f) (y) . \end{matrix}

Hence,

G = F_{X, A}^{↓}

| A | = Y

and

G \in O b ({RFTrans}^{\land})

On the other hand, it is well known that arbitrary

F_{X, A}^{↓} \in O b ({RFTrans}^{↓})

is a complete

L^{\land}

-homomorphism of

L^{\land}

-semimodules

L^{X} \to L^{| A |}

(see e.g., [31]) and it follows that

F_{X, A}^{↓} \in O b ({RHom}_{\land})

. Therefore, both categories have the same objects.

Let

(f, σ) : G \to G_{1}

be a morphism in the category

{RHom}_{\land}

G : L^{X} \to L^{Y}

. It follows that

G . f_{*} \geq σ_{*} . G_{1}

. Let

F_{X, A}^{↓} = G

and

F_{X_{1}, A_{1}}^{↓} = G_{1}

. From the previous construction of

(X, A)

and

(X_{1}, A_{1})

it follows that

F_{X, A}^{↓} . f_{*} \geq σ_{*} . F_{X_{1}, A + 1}^{↓}

and it follows that

(f, σ)

is also a morphism in

{RFTrans}^{↓}

. Therefore, both categories are identical. □

Example 8.

For calculation both variants of F-transforms in semimodules

L^{\lor}

L^{\land}

we can use a matrix operations in these spaces. Let

X, Y

be sets (in practical applications both are finite sets) and let

F = ∥ λ_{x, y} ∥_{x \in X, y \in Y}, G = {∥ β_{y, v} ∥}_{y \in Y, v \in V}

be matrices with elements from

L

. We use a matrix calculation defined by

F ⋆ G = ∥ α_{x, v} ∥_{x \in X, v \in V}, α_{x, v} = \underset{y \in Y}{⋁} λ_{x, y} \otimes β_{y, v} .

Then any matrix

F = ∥ λ_{x, y} ∥

of a type

| X | \times | Y |

can be identified with some F-transform

F_{X, A}^{↑} : L \to L^{Y}

, defined by

A = {A_{y} \in L^{X} : y \in Y}, A_{y} (x) = λ_{x, y} .

Hence, the F-transform

F_{X, A}^{↑} (f)

of a function

f \in L^{X}

can be identified with the matrix product

∥ f ∥ ⋆ F

, where

∥ f ∥

is a matrix of a type

1 \times | X |

representing values of a function f. Using this matrix calculation we can also easily calculate the F-transform, which will result from the modification of the original F-transform after the application of a morphism from the category

{RFTrans}^{↑}

. In fact, it is clear that any morphism

(R, S)

from an F-transform

F_{X, A}^{↑}

to an F-transform defined in a set Y and index set V of a fuzzy partition can be represented by a pair of matrices

(R, S)

, where

R = ∥ r_{x, y} ∥_{x \in X, y \in Y}

and

S = ∥ s_{u, v} ∥_{u \in U, v \in V}

, where

U = | A |

. Let

F

be the matrix represented F-transform

F_{X, A}^{↑}

. In that case, the matrix

F^{'}

representing the F-transform which is the result of the application of the morphism

(R, S)

to the F-transform represented by the matrix

F

can be calculated by the matrix operations

F^{'} = R^{T} ⋆ F ⋆ S .

Hence,

F^{'}

represents some F-transform

F_{U, B}^{↑}

in a set U, where

| B | = V

. If the relation R is reflexive, we can show that

(R, S)

is a morphisms from

F_{X, A}^{↑}

to that new F-transform

F_{U, B}^{↑}

in the category

{RFTrans}^{↑}

. In fact, for arbitrary

f \in L^{X}

, we have

\begin{matrix} F_{U, B}^{↑} (f) . R^{*} = ∥ f ∥ ⋆ R ⋆ R^{T} ⋆ F ⋆ S \geq ∥ f ∥ ⋆ E_{X} ⋆ F ⋆ S = ∥ f ∥ ⋆ F ⋆ S \geq \\ ∥ f ∥ ⋆ F ⋆ S = F_{X, A}^{↑} (f) . S^{*} . \end{matrix}

This result suggests that by using matrix notation with matrix multiplication using operations from

L^{\lor}

-semimodule

L^{X}

, we can easily create new F-transforms using fuzzy relations, which will be homomorphic images of the original F-transforms under the

{RFTrans}^{↑}

morphisms

(R, S)

It is clear that analogical results we can obtain using the category

{RFTrans}^{\land}

and matrix multiplication using operation from the

L^{\land}

-semimodule.

5. Conclusions and Prospective Results

Theory of F-transforms has appeared in recent years as one of the basic tools for many applications, including applications in the field of signal and image processing. The whole theory of lattice-valued F-transforms is crucially based on a new type of basic space, called space with a fuzzy partitions, which represents a generalisation of the standard sets on which the fuzzy set theory is based. In order to explore different relationships between individual spaces with fuzzy partitions, or relationships between F-transforms, in addition to these objects, different types of morphisms between these objects are also introduced. The result are various categories of spaces with fuzzy partition and F-transforms.

Recently, the use of fuzzy relations as a basis for morphisms between different fuzzy structures has been increasing significantly. The consequence of these processes is that instead of categories where morphisms are classical mappings, categories are introduced where morphisms between objects are different types of fuzzy relations.

This is how we modified the F-transform categories in this article. Two variants of the F-transform categories (upper and lower F-transforms) were introduced, where morphisms between F-transforms are defined as special fuzzy relations. Although F-transforms are defined using spaces with fuzzy partitions, it is shown that these relational versions of F-transform categories are identical to the relational variants of the two categories of semimodule homomorphisms where these fuzzy partitions do not occur. This makes it possible, for example, to simplify some operations relating to F-transforms, as exemplified in Example 9, such as the actual calculation of F-transforms, or to determine the F-transform image in case of applying relational morphism to this F-transform.

It should be noted that this paper represents only the first step in the use of fuzzy relations in F-transform theory. The next natural step should be to define F-transform not for fuzzy sets, but as a mapping transforming fuzzy relations instead of fuzzy sets, i.e., as mapping

F : L^{X \times X} \to L^{| B |}

, where

B

should be a partition in

Y \times Y

. The reason is quite natural, many large data information is obtained as a fuzzy relation and not as a classical function. Then, for example, reducing these data structures would be a typical example of using F-transforms, where fuzzy relations are used instead of fuzzy sets. In this direction we prepared some results and we suppose that in a final version of the next paper, we combine both new approaches, i.e., fuzzy relations as morphisms between F-transforms and F-transform defined for fuzzy relation instead for fuzzy sets only.

Funding

This research was partly funded by the ERDF/ESF project CZ.02.1.01/0.0/0.0/17-049/0008414.

Conflicts of Interest

The author declares no conflict of interest.

References

Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
Goguen, J.A. L-fuzzy sets. J. Math. Anal. Appl. 1967, 18, 145–174. [Google Scholar] [CrossRef] [Green Version]
Goguen, J.A. Categories of L-sets. Bull. Am. Math. Soc. 1969, 75, 622–637. [Google Scholar] [CrossRef]
Eytan, M. Fuzzy sets, a topos-theoretical point of view. Fuzzy Sets Syst. 1981, 5, 47–67. [Google Scholar] [CrossRef]
Barr, M. Fuzzy sets and topos theory. Canad. Math. Bull. 1986, 29, 501–508. [Google Scholar] [CrossRef]
Höhle, U.; Stout, L.N. Foundations of Fuzzy Sets. Fuzzy Sets Syst. 1991, 40, 257–296. [Google Scholar] [CrossRef]
Higgs, D. A Category Approach to Boolean-Valued Set Theory; Preprint; University of Waterloo: Waterloo, ON, Canada, 1973. [Google Scholar]
Higgs, D. Injectivity in the topos of complete Heyting valued algebra sets. Canad. J. Math. 1984, 36, 550–568. [Google Scholar] [CrossRef]
Wyler, O. Fuzzy Logic and Categories of Fuzzy Sets. In Non-Classical Logics and Their Applications to Fuzzy Subsets; Höhle, U., Klement, E.P., Eds.; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1995; pp. 235–268. [Google Scholar]
Blanc, G. Préfaisceaux et Ensembles Totalement Floux; University of Aix-marseille: Marseille, France, 1981. [Google Scholar]
Höhle, U. M-Valued Sets and Sheaves Over Integral Commutative CL-Monoids. In Applications of Category Theory to Fuzzy Subsets; Rodabaugh, S.E., Klement, E.P., Höhle, U., Eds.; Springer Science+Business Media: Berlin, Germany, 1992; pp. 33–72. [Google Scholar]
Höhle, U. GL-Quantales: Q-Valued Sets and Their Singletons. Studia Logica 1998, 61, 123–148. [Google Scholar] [CrossRef]
Höhle, U.; Kubiak, T. Quantale Sets and Their Singleton Monad; Preprint; Elsevier North-Holland, Inc.: Amsterdam, The Netherlands, 2008. [Google Scholar]
Solovyov, S.A. On the Category Set(JCPos). Fuzzy Sets Syst. 2006, 157, 459–465. [Google Scholar] [CrossRef]
Solovyov, S.A. Categories of Lattice-Valued Sets as Categories of Arrows. Fuzzy Sets Syst. 2006, 157, 843–854. [Google Scholar] [CrossRef]
Perfilieva, I.; Singh, A.P.; Tiwari, S.P. On the relationship among F-transform, fuzzy rough set and fuzzy topology. In Proceedings of the IFSA-EUSFLAT, Asturias, Spain, 30 Jun–3 July 2015; Atlantis Press: Amsterdam, The Netherlands, 2015; pp. 1324–1330. [Google Scholar] [CrossRef]
Wang, C.Y. Fuzzy rough sets based on generalized residuated lattices. Inf. Sci. 2013, 248, 31–49. [Google Scholar] [CrossRef]
Wu, W.Z.; Leung, Y.; Mi, J.S. On characterization of ( $𝒥$ , $𝒯$ )-fuzzy rough approximation operators. Fuzzy Sets Syst. 2005, 154, 76–102. [Google Scholar] [CrossRef]
Di Martino, F.; Loia, V.; Perfilieva, I.; Sessa, S. An image coding/decoding method based on direct and inverse fuzzy tranforms. Int. J. Approx. Reason. 2008, 48, 110–131. [Google Scholar] [CrossRef] [Green Version]
Di Martino, F.; Loia, V.; Sessa, S. A segmentation method for images compressed by fuzzy transforms. Fuzzy Sets Syst. 2010, 161, 56–74. [Google Scholar] [CrossRef]
Di Martino, F.; Sessa, S. Compression and decompression of images with discrete fuzzy transforms. Inf. Sci. 2007, 177, 2349–2362. [Google Scholar] [CrossRef]
Di Martino, F.; Loia, V.; Sessa, S. Fuzzy transforms method and attribute dependency in data analysis. Inf. Sci. 2010, 180, 493–505. [Google Scholar] [CrossRef]
Di Martino, F.; Loia, V.; Sessa, S. Fuzzy transforms method in prediction data analysis. Fuzzy Sets Syst. 2011, 180, 146–163. [Google Scholar] [CrossRef]
Perfilieva, I.; Novak, V.; Dvořak, A. Fuzzy transforms in the analysis of data. Int. J. Approx. Reason. 2008, 48, 36–46. [Google Scholar] [CrossRef] [Green Version]
Perfilieva, I. Fuzzy transforms and their applications to image compression. In Fuzzy Logic and Applications; Lecture Notes in Computer Science; Springer: Berlin/Heidelberg, Germany, 2006; pp. 19–31. [Google Scholar]
Stefanini, L. F-transform with parametric generalized fuzzy partitions. Fuzzy Sets Syst. 2011, 180, 98–120. [Google Scholar] [CrossRef]
Khastan, A.; Perfilieva, I.; Alijani, Z. A new fuzzy approximation method to Cauchy problem by fuzzy transform. Fuzzy Sets Syst. 2016, 288, 75–95. [Google Scholar] [CrossRef]
Tomasiello, S. An alternative use of fuzzy transform with application to a class of delay differential equations. Int. J. Comput. Math. 2017, 94, 1719–1726. [Google Scholar] [CrossRef]
Štěpnička, M.; Valašek, R. Numerical solution of partial differential equations with the help of fuzzy transform. In Proceedings of the FUZZ-IEEE 2005, Reno, NV, USA, 25 May 2005; pp. 1104–1109. [Google Scholar]
Perfilieva, I. Fuzzy transforms: A challange to conventional transform. In Advances in Image and Electron Physics; Hawkes, P.W., Ed.; Elsevies Academic Press: San Diego, CA, USA, 2007; Volume 147, pp. 137–196. [Google Scholar] [CrossRef]
Perfilieva, I. Fuzzy transforms: Theory and applications. Fuzzy Sets Syst. 2006, 157, 993–1023. [Google Scholar] [CrossRef]
Perfilieva, I.; Valasek, R. Fuzzy transforms in removing noise. Adv. Soft Comput. 2005, 2, 221–230. [Google Scholar] [CrossRef]
Perfilieva, I.; Kreinovich, V. Fuzzy transforms of higher order approximate derivatives: A theorem. Fuzzy Sets Syst. 2011, 180, 55–68. [Google Scholar] [CrossRef] [Green Version]
Perfilieva, I.; De Baets, B. Fuzzy transforms of monotone functions with application to image compression. Inf. Sci. 2010, 180, 3304–3315. [Google Scholar] [CrossRef]
Novák, V.; Perfilijeva, I.; Močkoř, J. Mathematical Principles of Fuzzy Logic; Kluwer Academic Publishers: Boston, MA, USA; Dordrecht, The Netherlands; London, UK, 1991. [Google Scholar]
Berstel, J.; Perrin, D. Theory of Codes; Academic Press: Orlando, FL, USA, 1985. [Google Scholar]
Golan, J.S. Semirings and Their Applications; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1999. [Google Scholar]
Di Nola, A.; Gerla, B. Algebras of Łukasiewicz logic and their semiring reducts. Contemp. Math. 2005, 377, 131–144. [Google Scholar]
Di Nola, A.; Lettieri, A.; Perfilieva, I.; Novák, V. Algebraic analysis of fuzzy systems. Fuzzy Sets Syst. 2007, 158, 1–22. [Google Scholar] [CrossRef] [Green Version]
Mac Lane, S. Categories for the Working Mathematician; Graduate text in Mathematics; Springer Science+Business Media: New York, NY, USA, 1971; Volume 5. [Google Scholar]
Močkoř, J. F-transforms and Semimodule Homomorphisms. Soft Comput. 2019, 23, 7603–7619. [Google Scholar] [CrossRef]
Rodabaugh, S.E. Powerset operator based foundation for point-set lattice theoretic (poslat) fuzzy set theories and topologies. Quaest. Math. 1997, 20, 463–530. [Google Scholar] [CrossRef]

© 2019 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Share and Cite

MDPI and ACS Style

Močkoř, J. Relational Variants of Lattice-Valued F-Transforms. Axioms 2020, 9, 1. https://doi.org/10.3390/axioms9010001

AMA Style

Močkoř J. Relational Variants of Lattice-Valued F-Transforms. Axioms. 2020; 9(1):1. https://doi.org/10.3390/axioms9010001

Chicago/Turabian Style

Močkoř, Jiří. 2020. "Relational Variants of Lattice-Valued F-Transforms" Axioms 9, no. 1: 1. https://doi.org/10.3390/axioms9010001

APA Style

Močkoř, J. (2020). Relational Variants of Lattice-Valued F-Transforms. Axioms, 9(1), 1. https://doi.org/10.3390/axioms9010001

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Menu

Relational Variants of Lattice-Valued F-Transforms

Abstract

1. Introduction

2. Preliminaries

2.1. Residuated Lattices and $M V$ -Algebras

2.2. Semirings and Semimodules

2.3. Elements of the Category Theory

3. Categories of Spaces with Fuzzy Partitions

4. Categories of F-Transforms

5. Conclusions and Prospective Results

Funding

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI

Article Menu

Relational Variants of Lattice-Valued F-Transforms

Abstract

1. Introduction

2. Preliminaries

2.1. Residuated Lattices and M V -Algebras

2.2. Semirings and Semimodules

2.3. Elements of the Category Theory

3. Categories of Spaces with Fuzzy Partitions

4. Categories of F-Transforms

5. Conclusions and Prospective Results

Funding

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI

2.1. Residuated Lattices and $M V$ -Algebras