## Quantale-valued maps and partial maps

Lili Shen , Xiaoye Tang ∗

School of Mathematics, Sichuan University, Chengdu 610064, China

## Abstract

Let Q be a commutative and unital quantale. By a Q -map we mean a left adjoint in the quantaloid of sets and Q -relations, and by a partial Q -map we refer to a Kleisli morphism with respect to the maybe monad on the category Q -Map of sets and Q -maps. It is shown that every Q -map is symmetric if and only if Q is weakly lean, and that every Q -map is exactly a map in Set if and only Q is lean. Moreover, assuming the axiom of choice, it is shown that the category of sets and partial Q -maps is monadic over Q -Map .

Keywords: Category Theory, Quantale, Quantaloid, Q -map, Partial Q -map 2020 MSC: 18F75, 18B10, 18C20

## 1. Introduction

Given (crisp) sets X and Y , a partial map f from X to Y is a map from a (possibly empty) subset X ′ ⊆ X to Y . For the category

## Set ∂

of (crisp) sets and partial maps, the following results are well known [17, 21]:

- · Set ∂ is equivalent to the coslice category { /star } / Set , where { /star } is the singleton set.

/d47

- · The forgetful functor U : { /star } / Set Set admits a left adjoint, which carries a set X to the inclusion map

/d47

/d31

$$\{ \ast \} \hookrightarrow X \amalg \{ \ast \},$$

/d127

/d47

/d47

where X /coproduct { /star } refers to the disjoint union of X and the singleton set.

- · The induced monad on Set is called the maybe monad , whose Eilenberg-Moore and Kleisli categories are { /star } / Set and Set ∂ , respectively (cf. [21, Examples 5.1.4 and 5.2.10]).

Therefore, the Eilenberg-Moore and Kleisli categories of the maybe monad on Set are equivalent. In particular, { /star } / Set and Set ∂ are both monadic over Set .

It is then natural to ask whether it is possible to formulate the notion of partial map, and establish the above results in the fuzzy setting. To achieve this goal, we note that there is a very general framework in category theory for partial maps; see, e.g., [17, Exercise IV .2.11]. Explicitly, let C be a category with finite coproducts. For every C -object A , the forgetful functor from the coslice category A / C to C , i.e.,

/d47

$$\mathsf U \colon A / \mathcal { C } \longrightarrow \mathcal { C }, \ \ ( A \to C ) \mapsto C,$$

/d47

↦

admits a left adjoint, given by

↦

$$C \mapsto ( A \to A \amalg C ).$$

∗ Corresponding author.

Email addresses: shenlili@scu.edu.cn (Lili Shen), tang.xiaoye@qq.com (Xiaoye Tang)

It is not di ffi cult to see that the Eilenberg-Moore category of the induced monad is isomorphic to A / C , and thus A / C is monadic over C . The maybe monad on Set is simply obtained by setting C = Set and A = { /star } .

Considering a non-trivial, commutative and unital quantale [22] Q as the table of truth values and following the terminology of [10, Definition 2.3.1], by a Q -map (i.e., a map valued in the quantale Q ) we mean a left adjoint in the quantaloid [23, 26]

## Q -Rel

↦

of sets and Q -relations; that is, a Q -relation ζ : X Y admitting a right adjoint in Q -Rel , with the value

/d47

/d47

$$\zeta ( x, y )$$

interpreted as the extent of y being the image of x under the map ζ (see Remark 3.2 for detailed elaboration). In Section 3 we prove the following results (Theorems 3.12 and 3.15), which reveal that for a general quantale Q Q , -maps are essentially di ff erent from crisp maps between sets:

- · Every Q -map is symmetric (in the sense that the right adjoint is given by its opposite) if, and only if, Q is weakly lean . This is a discrete counterpart of [10, Proposition 3.5.3].
- · Every Q -map is the graph of a map in Set (so that the category Q -Map of sets and Q -maps is isomorphic to Set ) if, and only if, Q is lean . This is a generalization of [12, Proposition III.1.2.1] to the non-integral setting.

With the above preparations we are now able to postulate the notion of partial Q -map through the maybe monad on the category Q -Map , which is obtained by setting C = Q -Map and A = { /star } in (1.i) and (1.ii). Explicitly, by a partial Q -map ζ from X to Y we refer to a Q -map

↦

$$\zeta \colon X \longrightarrow Y \amalg \{ \ast \},$$

/d47

/d47

which is precisely a morphism in the Kleisli category of the maybe monad on Q -Map , with the value

$$\zeta ( x, * )$$

interpreted as the degree that x has no image under the map ζ (see Remark 4.7 for detailed elaboration). The main result of Section 4, Theorem 4.10, is to show that assuming the axiom of choice, the Eilenberg-Moore category (i.e., the coslice category { /star } / Q -Map ) and the Kleisli category (i.e., the category Q -Map ∂ of sets and partial Q -maps) of the maybe monad on Q -Map are equivalent, so that { /star } / Q -Map and Q -Map ∂ are both monadic over Q -Map . It is noteworthy to point out that this result may not hold in the general categorical setting (i.e., the monad induced by (1.i) and (1.ii) for a general category C ), and an equivalent statement of the axiom of choice given in [9] (i.e., every non-empty set admits a group structure) plays a vital role in its proof.

## 2. Quantales

Throughout, let

$$\mathbf Q = ( \mathbf Q, \&, k )$$

denote a non-trivial, commutative and unital quantale [18, 22, 7], which consists of a complete lattice Q (with the top and bottom elements denoted by /latticetop and ⊥ , respectively), an element k ∈ Q and a binary operation &amp; on Q , such that

- · ⊥ &lt; k ,
- · ( Q , &amp; , k ) is a commutative monoid with unit k , and
- · p &amp; ( ∨ i ∈ I qi ) = ∨ i ∈ I p &amp; qi for all p qi , ∈ Q ( i ∈ I ).

The right adjoint induced by the multiplication &amp;, denoted by → ,

/d47

/d47

$$p \, \& \, q \leqslant r \iff p \leqslant q \to r$$

for all p q r , , ∈ Q .

We say that Q is integral if k = /latticetop , and Q is divisible [13, 8] if

$$d \leqslant q \implies \exists p \in \mathbf Q \colon d = p \, \& \, q$$

for all d q , ∈ Q . In particular, divisible quantales are necessarily integral (see, e.g., [20, Proposition 2.1]).

Example 2.1. We list here some examples of commutative and unital quantales that will be concerned later:

- (1) On the three-chain C 3 = {⊥ , k , /latticetop} we have the quantale ( C 3 , &amp; , k ), with

$$\top \, \& \, \top \, = \, \top$$

and the other multiplications being trivial.

- (2) Every frame is a divisible quantale. In particular, the partially ordered sets

$$F _ { 1 } = \{ \perp, p, q, \top \} \text{ and } \ F _ { 2 } = \{ \perp, p, q, r, \top \}$$

illustrated by the Hasse diagrams

$$( p \ \& - ) \cdot ( p \to - ) \colon \Omega \longrightarrow \Omega,$$

satisfies

,

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00393v1-figure-55148b33-4d2d-4d73-bc11-9a7b10b9b529.jpg)

respectively, are both frames.

- (3) On the diamond lattice M 3 given by the Hasse diagram

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00393v1-figure-f52a6165-f200-4835-a093-c35513f3ae7c.jpg)

we have the quantale ( M 3 , &amp; , k ), with a &amp; a = b , b &amp; b = a , a &amp; b = k and a &amp; /latticetop = b &amp; /latticetop = /latticetop .

- (4) Every continuous t-norm [14, 15, 1] ∗ on the unital interval [0 , 1] gives rise to a divisible quantale ([0 , 1] , ∗ , 1).
- (5) Let [ -∞ ∞ , ] be the extended real line equipped with the order ' /greaterorequalslant '. Then ([ -∞ ∞ , ] , + , 0) is a quantale, which includes the Lawvere quantale [16] ([0 , ∞ ] , + , 0) as a divisible subquantale.
- (6) Every commutative monoid ( M , &amp; , k ) induces a free quantale ( P M , &amp; , { k } ), where P M is the powerset of M , and

$$A \, \& \, B = \{ a \, \& \, b \, | \, a \in A, \, b \in B \}$$

for all A B , ⊆ M .

A quantaloid [23, 25, 26] Q is a category with a class of objects Q 0 in which Q ( p q , ) is a complete lattice for all p q , ∈ Q 0 , such that the composition ◦ of morphisms preserves joins on both sides, i.e.,

$$v \circ \left ( \bigvee _ { i \in I } u _ { i } \right ) = \bigvee _ { i \in I } ( v \circ u _ { i } ) \text{ \ and \ } \left ( \bigvee _ { i \in I } v _ { i } \right ) \circ u = \bigvee _ { i \in I } ( v _ { i } \circ u )$$

for all u ui , ∈ Q ( p q , ), v vi , ∈ Q ( q r , ) ( i ∈ I ). The corresponding right adjoints induced by the compositions

/d47

$$( - \circ u ) + ( - \sqrt { u } ) \colon \mathcal { Q } ( p, r ) \longrightarrow \mathcal { Q } ( q, r ) \text{ \ and \ } ( v \circ - ) + ( v \searrow - ) \colon \mathcal { Q } ( p, r ) \longrightarrow \mathcal { Q } ( p, q )$$

/d47

/d47

/d47

satisfy

$$v \circ u \leqslant w \iff v \leqslant w \surd u \iff u \leqslant v \searrow w$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

for all Q -arrows u : p q v , : q r , w : p r . An adjunction in a quantaloid Q is a pair of Q -arrows u : p q and v : q p , denoted by u /turnstileright v , such that

/d47

/d47

/d47

$$1 _ { p } \leqslant v \circ u \text{ \ and \ } u \circ v \leqslant 1 _ { q }.$$

/d47

Proposition 2.2. If u /turnstileright v : q p in a quantaloid Q , then

/d47

$$v = u \searrow 1 _ { q } \ \ a n d \ \ u = 1 _ { q } \swarrow v.$$

Proof. Note that 1 p /lessorequalslant v ◦ u implies that u ↘ 1 q /lessorequalslant v ◦ u ◦ ( u ↘ 1 ) q /lessorequalslant v , and the reverse inequality is an immediate consequence of u ◦ v /lessorequalslant 1 . Therefore q v = u ↘ 1 , and q u = 1 q ↙ v can be proved analogously.

Therefore, the right adjoint of a Q -arrow, when it exists, is necessarily unique. In what follows we define

/d47

$$u ^ { * } \coloneqq u \searrow 1 _ { q } \colon q \longrightarrow p$$

/d47

/d47

for each Q -arrow u : p q . u is called a map in Q [10] if u /turnstileright u ∗ , and we denote by

/d47

$$\text{Map} ( \mathcal { Q } )$$

the subcategory of Q whose objects are the same as Q , and whose morphisms are maps in Q . Since it always holds that u ◦ u ∗ = u ◦ ( u ↘ 1 ) q /lessorequalslant 1 , we immediately obtain the following lemma: q

/d47

Lemma 2.3. A Q -arrow u : p q is a map in Q if, and only if, 1 p /lessorequalslant u ∗ ◦ u.

/d47

↦

Given sets X Y , , a Q -relation ϕ : X Y is a function ϕ : X × Y Q . We denote by

/d47

/d47

/d47

/d47

↦

$$\varphi ^ { o p } \, \colon Y \longrightarrow X, \quad \varphi ^ { o p } ( y, x ) = \varphi ( x, y )$$

/d47

/d47

↦

the opposite of a Q -relation ϕ : X Y . Sets and Q -relations constitute a quantaloid

/d47

/d47

## Q -Rel ,

in which the local order is inherited from Q , and

↦

$$\psi \circ \varphi \colon X \longrightarrow Z, \quad ( \psi \circ \varphi ) ( x, z ) = \bigvee _ { y \in Y } \psi ( y, z ) \ & \psi ( x, y ), \quad & ( 2. \text{ii} )$$

/d47

/d47

↦

$$\xi \swarrow \varphi \colon Y \longrightarrow Z, \quad ( \xi \swarrow \varphi ) ( y, z ) = \bigwedge _ { x \in X } ( \varphi ( x, y ) \to \xi ( x, z ) ),$$

/d47

/d47

↦

$$\psi \searrow \xi \colon X \longrightarrow Y, \quad ( \psi \searrow \xi ) ( x, y ) = \bigwedge _ { z \in Z } \psi ( y, z ) \to \xi ( x, z )$$

/d47

/d47

↦

for all Q -relations ϕ : X Y , ψ : Y Z , ξ : X Z ; the identity Q -relation on X is given by

/d47

/d47

/d47

/d47

↦

/d47

/d47

↦

↦

/d47

/d47

$$\text{id} \colon X & \longrightarrow X, \quad \text{id} _ { X } ( x, y ) = \begin{cases} k & \text{if $x=y$,} \\ \perp & \text{else.} \end{cases} \\ 4$$

↦

Given Q -relations ϕ : X Y and ψ : Z W , their disjoint union

/d47

/d47

/d47

/d47

↦

↦

$$\psi \amalg \varphi \colon X \amalg Z \longrightarrow Y \amalg W$$

/d47

/d47

is given by

$$( \psi \amalg \varphi ) ( x, y ) = \varphi ( x, y ), \quad ( \psi \amalg \varphi ) ( z, w ) = \psi ( z, w ) \quad \text{and} \quad ( \psi \amalg \varphi ) ( x, w ) = ( \psi \amalg \varphi ) ( z, y ) = \bot$$

for all x ∈ X z , ∈ Z y , ∈ Y , w ∈ W . It is straightforward to verify that

$$( \psi \circ \varphi ) \amalg \xi = ( \psi \amalg \xi ) \circ ( \varphi \amalg \xi )$$

↦

for all Q -relations ϕ : X Y , ψ : Y Z , ξ : Z W .

/d47

/d47

/d47

/d47

↦

/d47

/d47

↦

## 3. Quantale-valued maps

↦

Definition 3.1. Let X Y , be (crisp) sets. A Q -map ζ from X to Y is a map ζ : X Y in the quantaloid Q -Rel .

/d47

/d47

Sets and Q -maps constitute a category

$$Q - M a p \coloneqq M a p ( Q - R e l ).$$

↦

Remark 3.2. To justify Definition 3.1, let ζ : X Y be a Q -map. First of all, the value

/d47

/d47

$$\zeta ( x, y )$$

is interpreted as the extent of y being the image of x under the map ζ . By Equations (2.i) and (2.iv), the value

$$\zeta ^ { * } ( y, x ) = ( \zeta \searrow i d _ { Y } ) ( y, x ) = \bigwedge _ { z \in Y } \zeta ( x, z ) \to i d _ { Y } ( y, z )$$

also represents the extent of y being the image of x under the map ζ , since the last expression of (3.i) may be understood as:

- · For each z ∈ Y , if z is the image of x under ζ , then z is equal to y .

Therefore, the adjunction ζ /turnstileright ζ ∗ can be translated as follows:

- · For every x ∈ X , there exists y ∈ Y such that y is the image of x under ζ ; because id X /lessorequalslant ζ ∗ ◦ ζ means that

$$k \leqslant \bigvee _ { y \in Y } \zeta ^ { * } ( y, x ) \, \& \, \zeta ( x, y ) \, & ( 3. \text{ii} )$$

for all x ∈ X .

- · If y z , ∈ Y are both the images of x under ζ , then y is equal to z ; because ζ ◦ ζ ∗ /lessorequalslant id Y means that

$$\bigvee _ { x \in X } \zeta ( x, z ) \, \& \, \zeta ^ { * } ( y, x ) \leqslant i d _ { Y } ( y, z )$$

for all y z , ∈ Y .

Remark 3.3. The notion of Q -map should be carefully distinguished from related notions in the literature:

- · Fuzzy mappings in [2] and fuzzifying functions in [6] are precisely our Q -relations.
- · When Q is an integral quantale, every Q -map is a fuzzy function with respect to id X and id Y in the sense of [24, 3] or [4, 5], but not vice versa.

- · When Q is a frame, Q -maps are exactly Q -valued fuzzy functions in the sense of [19].

↦

Lemma 3.4. Let ζ : X Y be a Q -map. Then

/d47

/d47

$$( \zeta ^ { * } \circ \zeta ) ( x, x ) = k \ \ a n d \ \zeta ( x, z ) \ \& \ \zeta ^ { * } ( y, x ) = \perp$$

for all x ∈ X, y , z ∈ Y with y /nequal z.

Proof. The first equality follows from

$$k & = \text{id} _ { X } ( x, x ) \leqslant ( \zeta ^ { * } \circ \zeta ) ( x, x ) = \bigvee _ { y \in Y } \zeta ^ { * } ( y, x ) \, \& \, \zeta ( x, y ) \\ & = \bigvee _ { y \in Y } \zeta ( x, y ) \, \& \, \zeta ^ { * } ( y, x ) \leqslant \bigvee _ { y \in Y } ( \zeta \circ \zeta ^ { * } ) ( y, y ) \leqslant \bigvee _ { y \in Y } \text{id} _ { Y } ( y, y ) = k,$$

and the second equality holds because

$$\zeta ( x, z ) \, \& \, \zeta ^ { * } ( y, x ) \leqslant ( \zeta \circ \zeta ^ { * } ) ( y, z ) \leqslant \text{id} _ { Y } ( y, z ) = \bot.$$

↦

/d47

/d47

↦

Given a Q -map ζ : X Y , it is obvious that the restriction of ζ on any (crisp) subset W ⊆ X induces a Q -map ζ | W W : Y . Moreover, ζ can also be extended to any (crisp) superset Z ⊇ Y :

/d47

/d47

↦

Lemma 3.5. Let ζ : X Y be a Q -map, and let Z ⊇ Y. Then

/d47

/d47

↦

$$\tilde { \zeta } \colon X & \longrightarrow Z, \quad \tilde { \zeta } ( x, z ) = \begin{cases} \zeta ( x, z ) & \text{if} \, z \in Y, \\ \perp & \text{if} \, z \notin Y \end{cases} \\ \cdots Z \text{ satisfies} \, \text{if} \, \text{in}$$

/d47

/d47

is the unique Q -map from X to Z satisfying

$$\tilde { \zeta } ( x, y ) = \zeta ( x, y ) \quad a n d \quad ( \tilde { \zeta } ) ^ { * } ( y, x ) = \zeta ^ { * } ( y, x )$$

for all x ∈ X, y ∈ Y.

Proof. It is easy to see that ˜ ζ and

↦

$$\eta \colon Z \longrightarrow X, \quad \eta ( z, x ) = \begin{cases} \zeta ^ { * } ( z, x ) & \text{if $z\in Y$}, \\ \perp & \text{if $z\notin Y$} \end{cases} \\ \intertext { m e $ \tilde { z } $ is m o b i n o $ \tilde { z } $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ O $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ 0 $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ s $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ e $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ n $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ t $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ i $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ u $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ o $ }$$

/d47

/d47

↦

satisfy (3.ii) and (3.iii), and thus ˜ ζ /turnstileright η , making ˜ a ζ Q -map. For the uniqueness of ˜ , let ζ ζ ′ : X Z be another Q -map satisfying (3.iv). Then for any x ∈ X and z ∈ Z \ Y ,

/d47

/d47

$$\mathfrak { y } ( \S. i n ) \, \text{and} \, \S. i n, \, \text{and} \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \L. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \, \mathfrak { z } \, \S. \,
 \quad \mathfrak { h } { \text{shows that} \, \mathfrak { z } ^ { \prime } = \, \mathfrak { z }. }$$

which shows that ζ ′ = ˜ . ζ

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00393v1-figure-b9c29b96-c848-48bc-b15b-cf8e39901771.jpg)

and for all p q , ∈ Q ;

- (2) Q is weakly lean , if

$$\left ( \bigvee _ { i \in I } p _ { i } \, \& \, q _ { i } = k \, \text{and} \, p _ { i } \, \& \, q _ { j } = \perp \, ( i \neq j ) \right ) \, \Longrightarrow \, \left ( k \leqslant \bigvee _ { i \in I } ( p _ { i } \wedge q _ { i } ) \, \& \, ( p _ { i } \wedge q _ { i } ) \right ) \, \quad \, ( 3. \text{vii} )$$

for all pi , qi ∈ Q ( i ∈ I ).

↦

Given (crisp) sets X Y , , we say that a Q -map ζ : X Y is symmetric [10] if ζ ∗ = ζ op , i.e., if

/d47

/d47

$$\zeta ^ { * } ( y, x ) = \zeta ( x, y )$$

/d47

for all x ∈ X y , ∈ Y . In particular, every map f : X Y between (crisp) sets induces a symmetric Q -map

/d47

↦

$$f _ { \circ } \colon X & \longrightarrow Y, \quad f _ { \circ } ( x, y ) = \begin{cases} k & \text{if $y=f(x),$} \\ \perp & \text{else,} \end{cases} \\ e have a faithful functor$$

/d47

/d47

called the graph of f . Thus we have a faithful functor

/d47

$$( - ) _ { \circ } \colon \text{Set} \longrightarrow \text{Q-Map}.$$

/d47

↦

Lemma 3.6. Let ζ : X Y be a Q -map. Then ζ is symmetric if, and only if, the Q -relation

/d47

/d47

↦

$$\zeta _ { s } \colon X \longrightarrow Y, \ \zeta _ { s } ( x, y ) = \zeta ( x, y ) \wedge \zeta ^ { * } ( y, x )$$

/d47

/d47

is a symmetric Q -map.

Proof. If ζ is symmetric, then ζ ∗ ( y , x ) = ζ op ( y , x ) = ζ ( x y , ), and consequently ζ s ( x y , ) = ζ ( x y , ) for all x ∈ X y , ∈ Y . Thus ζ s = ζ is a symmetric Q -map. Conversely, if ζ s is a symmetric Q -map, then

$$\begin{array} { c } \cdot \\ \cdot \\ s \zeta _ { s } = \zeta \text{ is a symmetric } Q - \text{.\,Conversely, if } \zeta _ { s } \text{ is a symmetric } Q - \text{map, then } \end{array} \cdot \\ \zeta ( x, y ) \leqslant ( \zeta \circ \zeta _ { s } ^ { * } \circ \zeta _ { s } ) ( x, y ) & & ( \zeta _ { s } - \zeta _ { s } ^ { * } ) \\ & = \bigvee \bigvee \zeta ( w, y ) \, & \zeta _ { s } ( w, z ) \, & \zeta _ { s } ( x, z ) & & ( \zeta _ { s } \text{ is symmetric} ) \\ & \leqslant \bigvee \bigvee \zeta ( w, y ) \, & \zeta ^ { * } ( z, w ) \, & \zeta _ { s } ( x, z ) \\ & \quad \ w \in X \, z \in Y \\ & \leqslant \bigvee \text{ id} _ { Y } ( z, y ) \, & \zeta _ { s } ( x, z ) & & ( \zeta - \zeta ^ { * } ) \\ & \quad \ z \in Y \\ & = \zeta _ { s } ( x, y ) \\ & \leqslant \zeta ( x, y ) \\ \end{array} \cdot \\ \text{all } x \in X, y \in Y. \, \text{ Thus } \zeta = \zeta _ { s } \text{ is a symmetric } Q - \text{map.}$$

for all x ∈ X y , ∈ Y . Thus ζ = ζ s is a symmetric Q -map.

The aim of this section is to answer the following questions:

- · Is every Q -map symmetric?
- · Is every Q -map the graph of a map in Set ?

In fact, both the answers are negative, and we will provide necessary and su ffi cient conditions on Q for them to be true.

Definition 3.7. Let Q be a non-trivial, commutative and unital quantale. We say that:

- (1) Q is lean , if

$$( p \vee q = k \text{ and } p \text{ } \& \, q = \bot ) \implies ( p = k \text{ or } q = k )$$

$$p \, \& \, q = k \, \Longleftrightarrow \, p = q = k$$

Remark 3.8. (1) Note that (3.vi) is always true when Q is integral. Indeed, p &amp; q = k implies that

$$k = p \, \& \, q \leqslant p \, \& \, k = p \leqslant k,$$

which forces p = k , and q = k follows from similar calculations. Hence, Definition 3.7(1) generalizes the notion of lean in [12, Section III.1.2], where the quantale Q is required to be integral, and consequently, only (3.v) is presented there.

- (2) The condition (3.vi) is a modification of the condition given in [10, Proposition 3.5.3(3)]. The di ff erence between our following Theorem 3.12 and [10, Proposition 3.5.3] is that we deal with the discrete case, i.e., Q -maps between (crisp) sets (instead of Q -categories as in [10]).

Lemma 3.9. If Q is lean, then Q is weakly lean.

Proof. Suppose that pi , qi ∈ Q ( i ∈ I ), ∨ i ∈ I pi &amp; qi = k and pi &amp; qj = ⊥ ( i /nequal j ). Since ⊥ &lt; k , there exists j ∈ I such that pj &amp; qj &gt; ⊥ . Let

$$u \coloneqq p _ { j } \, \& \, q _ { j } \quad \text{and} \quad v \coloneqq \bigvee _ { \substack { i \in I \\ i \neq j } } p _ { j } \, \& \, q _ { j }.$$

Then

$$\i i n e n u \, u \vee v = k \ \text{ and }$$

Note that v /nequal k . Indeed, if v = k , then u &amp; v = u &amp; k = u &gt; ⊥ , contradicting to (3.viii). Thus, since Q is lean, we deduce from (3.viii) that u = pj &amp; qj = k , and consequently pj = qj = k . It follows that

$$\bigvee _ { i \in I } ( p _ { i } \wedge q _$$

showing that Q is weakly lean.

Lemma 3.10. If Q is integral, then Q is weakly lean.

Proof. Suppose that pi , qi ∈ Q ( i ∈ I ), ∨ i ∈ I pi &amp; qi = k and pi &amp; qj = ⊥ ( i /nequal j ). Note that for each i ∈ I ,

$$\begin{array} {$$

Since Q is integral, we have p &amp; q /lessorequalslant ( p &amp; ) k ∧ ( k &amp; q ) = p ∧ q for all p q , ∈ Q , and consequently

$$\bigvee _ { i \in I } ( p _ { i } \wedge q _$$

as desired.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00393v1-figure-f3c62540-523e-485c-99f1-b844dee93fcb.jpg)

## Example 3.11. For the examples listed in 2.1:

- (1) ( C 3 , &amp; , k ) is a non-integral lean quantale.
- (2) Every frame is divisible, and thus integral. Then it follows from Lemma 3.10 that every frame is weakly lean. Moreover, F 1 = {⊥ , p q , , /latticetop} is not lean while F 2 = {⊥ , p q r , , , /latticetop} is lean. Therefore, a weakly lean quantale need not be lean.
- (3) The quantale ( M 3 , &amp; , k ) is not lean.
- (4) For each continuous t-norm ∗ on [0 , 1], the quantale ([0 , 1] , ∗ , 1) is lean.
- (5) The quantale ([ -∞ ∞ , ] , + , 0) is not weakly lean, while the Lawvere quantale ([0 , ∞ ] , + , 0) is lean.
- (6) Consider the free quantale ( P M , &amp; , { k } ) induced by a commutative monoid ( M , &amp; , k ):
- · ( P M , &amp; , { k } ) is lean if, and only if, k is the only element of M with an inverse; that is, if m ∈ M and m /nequal k , then there exists no m ′ ∈ M with m &amp; m ′ = k .
- · ( P M , &amp; , { k } ) is weakly lean if, and only if, there exist no m m , ′ ∈ M such that m /nequal m ′ and m &amp; m ′ = k .

In particular, the free quantale induced by the cyclic group Z 2 = Z / 2 Z = { 0 1 , } (under the usual addition modulo 2) is non-integral, weakly lean, but not lean.

Theorem 3.12. Let Q be a non-trivial, commutative and unital quantale. Then every Q -map is symmetric if, and only if, Q is weakly lean.

Proof. For the necessity, suppose that every Q -map is symmetric. Assume that pi , qi ∈ Q ( i ∈ I ), ∨ i ∈ I pi &amp; qi = k and pi &amp; qj = ⊥ ( i /nequal j ). Define a Q -relation

↦

$$\zeta \colon \{ \ast \} \longrightarrow I, \ \zeta$$

/d47

/d47

where { /star } refers to the singleton set. Note that for each i ∈ I , from pi &amp; qi /lessorequalslant k and qi &amp; pj = ⊥ ( j /nequal i ) we have

$$q _ { i } & = q _ { i } \wedge q _ { i } \\ & \leqslant \left ( \bigwedge _ { \substack { j \in I \\ j \neq i } } p _ { j } \to \perp \right ) \wedge ( p _ { i } \to k )$$

$$q _ { i } & = q _ { i } \wedge q _ { i } \\ & \leq \left ( \bigwedge _ { j \ell } p _ { j } \to \bot \right ) \wedge ( p _ { i } \to k ) \\ & = \left ( \bigwedge _ { j \ell } \zeta ( \ast, j ) \to \bot \right ) \wedge ( \zeta ( \ast, i ) \to k ) \\ & = \bigwedge _ { j \ell } \zeta ( \ast, j ) \to \text{id} _ { l } ( i, j ) \\ & = ( \zeta \searrow \text{id} _ { l } ) ( i, \ast ) \\ & = \left ( \bigvee _ { j \ell } p _ { j } \, \& \, q _ { j } \right ) \, \& \left ( \bigwedge _ { l \ell } \zeta ( \ast, l ) \to \text{id} _ { l } ( i, l ) \right ) \\ & = \left [ \bigvee _ { j \ell } p _ { j } \, \& \, q _ { j } \, \& \left ( \bigwedge _ { l \ell } p _ { l } \to \text{id} _ { l } ( i, l ) \right ) \right ] \vee \left [ p _ { i } \, \& \, q _ { i } \, \& \left ( \bigwedge _ { l \ell } p _ { l } \to \text{id} _ { l } ( i, l ) \right ) \right ] \\ & \leq \left [ \bigvee _ { j \ell } p _ { j } \, \& \, q _ { j } \, \& \, ( p _ { j } \to \bot ) \right ] \vee \left [ p _ { i } \, \& \, q _ { i } \, \& \, ( p _ { i } \to k ) \right ] \\ & \leq \bot \vee ( q _ { i } \, \& \, k ) \\ & = q _ { i }.$$

Thus qi = ( ζ ↘ id )( I i , /star ) = ζ ∗ ( i , /star ). It follows that

$$( \zeta ^ { * } \circ \zeta ) ( *, * ) = \bigvee _ { i \in I } \zeta ^ { * } ( i, * ) \, \& \, \zeta ( *, i ) = \bigvee _ { i \in I } q _ { i } \, \& \, p _ { i } = k = i d _ { \{ * \} } ( *, * ),$$

which in conjunction with Lemma 2.3 shows that ζ is a Q -map. Since every Q -map is symmetric, in particular we have

$$q _ { i } = \zeta ^ { * } ( i, \ast ) = \zeta ^ { \text{op} } ( i, \ast ) = \zeta ( \ast, i ) = p _ { i }$$

for all i ∈ I , and consequently

$$\bigvee _ { i \in I } ( p _ { i } \wedge q _ { i } ) \, \& \, ( p _ { i } \wedge q _ { i } ) = \bigvee _ { i \in I } ( p _ { i } \wedge p _ { i } ) \, \& \, ( q _ { i } \wedge q _ { i } ) = \bigvee _ { i \in I } p _ { i } \, \& \, q _ { i } = k.$$

Hence Q is weakly lean.

↦

Conversely, for the su ffi ciency, suppose that Q is weakly lean. In order to show that every Q -map ζ : X Y is symmetric, by Lemma 3.6 it su ffi ces to show that ζ s is always a symmetric Q -map. To this end, let x ∈ X . First,

/d47

/d47

$$k = \text{id} _ { X } ( x, x ) \leqslant ( \zeta ^ { * } \circ \zeta ) ( x, x ) = \bigvee _ { y \in Y } \zeta ^ { * } ( y, x ) \, \& \, \zeta ( x, y ) \leqslant \bigvee _ { y \in Y } \text{id} _ { Y } ( y, y ) = k,$$

Second, for any y z , ∈ Y with y /nequal z ,

$$\zeta ( x, z ) \, \& \, \zeta ^ { * } ( y, x ) \leqslant ( \zeta \circ \zeta ^ { * } ) ( y, z ) \leqslant \text{id} _ { Y } ( y, z ) = \bot.$$

Thus

$$\bigvee _ { y \in Y } \zeta ^ { * } ( y, x ) \, \& \, \zeta ( x, y ) = k \quad \text{and} \quad \zeta ( x, z ) \, \& \, \zeta ^ { * } ( y, x ) = \bot \, ( y \neq z ) & & ( 3. i x )$$

Since Q is weakly lean, (3.ix) forces

$$\zeta _ { s } ^ { o p } \circ \zeta _ { s } ( x, x ) = \bigvee _ { y \in Y } \zeta _ { s } ^ { o p } ( y, x ) \, \& \, \zeta _ { s } ( x, y ) = \bigvee _ { y \in Y } ( \zeta ( x, y ) \wedge \zeta ^ { * } ( y, x ) ) \, \& \, ( \zeta ( x, y ) \wedge \zeta ^ { * } ( y, x ) ) \geqslant k = i d _ { X } ( x, x ).$$

Moreover,

$$\zeta _ { s } \circ \zeta _ { s } ^ { o p } ( y, z ) = \bigvee _ { x \in X } \zeta _ { s } ( x, z ) \, \& \, \zeta _ { s } ^ { o p } ( y, x ) \leqslant \bigvee _ { x \in X } \zeta ( x, z ) \, \& \, \zeta ^ { * } ( y, x ) \leqslant i d _ { Y } ( y, z )$$

for all y z , ∈ Y . Thus ζ s /turnstileright ζ op s ; that is, ζ s is a symmetric Q -map.

↦

Corollary 3.13. If Q is weakly lean, then for any Q -maps ζ, η : X Y, ζ = η whenever ζ /lessorequalslant η .

/d47

/d47

Proof. First, ζ /lessorequalslant η implies that η ∗ /lessorequalslant ζ ∗ . Second, since Q is weakly lean, Theorem 3.12 indicates that η op = η ∗ /lessorequalslant ζ ∗ = ζ op . Thus η /lessorequalslant ζ , as desired.

Remark 3.14. Following the terminology of [11, Definition 3.1(2)], Corollary 3.13 actually says that Q -Map is map-discrete when Q is weakly lean.

We would also like to point out that every Q -map is symmetric if Q is modular (cf. [10, Definition 2.5.1]) and localic (cf. [10, Definition 2.1.1]), which is an immediate consequence of [10, Propositions 2.5.3(4) and 2.5.9]. However, this is only a su ffi cient condition, since a weakly lean quantale need not be localic; for example, the quantale M 3 given in Example 2.1(3) is lean but not localic.

Theorem 3.15. Let Q be a non-trivial, commutative and unital quantale. Then every Q -map is the graph of a map in Set if, and only if, Q is lean. In this case, Set and Q -Map are isomorphic categories.

Proof. For the necessity, suppose that every Q -map is the graph of a map in Set

.

First, let p q , ∈ Q with p ∨ q = k and p &amp; q = ⊥ . Then both p and q are idempotent, since

$$p & = p \ \& \ k = p \ \& \ ( p \vee q ) = ( p \ \& \ p ) \vee ( p \ \& \ q ) = ( p \ \& \ p ) \vee \perp = p \ \& \ p \quad \text{and} \\ q & = k \ \& \ q = ( p \vee q ) \ \& \ q = ( p \ \& \ q ) \vee ( q \ \& \ q ) = \perp \vee ( q \ \& \ q ) = q \ \& \ q.$$

It follows that

$$p \leqslant p \to k, \ \ q \leqslant q \to k, \ \ p \leqslant q \to \perp \text{ and } \ q \leqslant p \to \perp.$$

Define a Q -relation

↦

$$\zeta \colon \{ \ast \} \longrightarrow \{ p, q \}, \ \zeta ( \ast, p ) = p, \ \zeta ( \ast, q ) = q.$$

/d47

/d47

Then, from (3.x) we deduce that

$$\zeta ^ { \ast } ( p, \ast ) = ( \zeta \searrow i d _ { Y } ) ( p, \ast ) = ( \zeta ( \ast, p ) \to i d _ { Y } ( p, p ) ) \wedge ( \zeta ( \ast, q ) \to i d _ { Y } ( p, q ) ) = ( p \to k ) \wedge ( q \to \bot ) \geqslant p \wedge p = p,$$

and similarly ζ ∗ ( q , /star ) /greaterorequalslant q . Thus

$$( \zeta ^ { * } \circ \zeta ) ( *, * ) = ( \zeta ^ { * } ( p, * ) \, \& \, \zeta ( *, p ) ) \vee ( \zeta ^ { * } ( q, * ) \, \& \, \zeta ( *, q ) ) \geqslant ( p \, \& \, p ) \vee ( q \, \& \, q ) = p \vee q = k.$$

/d47

By Lemma 2.3, ζ is a Q -map, and hence the graph of a map f : { /star } { p q , } in Set , which forces p = k or q = k . Second, let p q , ∈ Q with p &amp; q = k . Define a Q -relation

/d47

↦

$$\eta \colon \{ \ast \} \longrightarrow \{ \ast \}, \ \eta ( \ast, \ast ) = p.$$

/d47

/d47

Since

$$( \eta ^ { * } \circ \eta ) ( *, * ) = ( \eta ( *, * ) \to \text{id} _ { \{ * \} } ( *, * ) ) \, \& \, \eta ( *, * ) = ( p \to k ) \, \& \, p \geqslant q \, \& \, p = k,$$

/d47

η is a Q -map by Lemma 2.3. Thus η is a graph of the unique (identity) map g : { /star } { /star } , which forces p = k , and consequently q = q &amp; k = q &amp; p = k .

/d47

↦

Conversely, for the su ffi ciency, suppose that Q is lean. Let ζ : X Y be a Q -map. For each x ∈ X , since

/d47

/d47

$$k = i d _ { X } ( x, x ) \leqslant ( \zeta ^ { * } \circ \zeta ) ( x, x ) = \bigvee _ { y \in Y } \zeta ^ { * } ( y, x ) \ & \zeta ( x, y ) \leqslant \bigvee _ { y \in Y } ( \zeta \circ \zeta ^ { * } ) ( y, y ) \leqslant \bigvee _ { y \in Y } i d _ { Y } ( y, y ) = k, \quad ( 3. x i )$$

we have

$$\bigvee _ { y \in Y } \zeta ^ { * } ( y, x ) \, \& \, \zeta ( x, y ) = k.$$

Since k &gt; ⊥ , there exists f ( x ) ∈ Y with p : = ζ ∗ ( f ( x ) , x ) &amp; ζ ( x , f ( x )) &gt; ⊥ . Let

$$q \coloneqq \bigvee _ { \substack { y \in Y \\ y \ne f ( x ) } } \zeta ^ { * } ( y, x ) \ & \zeta ( x, y ).$$

Then p ∨ q = k , and

$$\text{nd} \\ p & \, \& \, q = \zeta ^ { * } ( f ( x ), x ) \, & \, \zeta ( x, f ( x ) ) \, & \, \widetilde { \sim } _ { y \in Y } \, \zeta ^ { * } ( y, x ) \, & \, \zeta ( x, y ) \Big ) \\ & = \, \bigvee _ { y \neq Y } \, \zeta ^ { * } ( f ( x ), x ) \, & \, \zeta ( x, f ( x ) ) \, & \, \zeta ^ { * } ( y, x ) \, & \, \zeta ( x, y ) \\ & = \, \bigvee _ { y \neq Y } \, \zeta ( x, f ( x ) ) \, & \, \dots \, \zeta ^ { * } ( f ( x ), x ) ) \\ & = \, \perp,$$

where the third equality follows from

$$\zeta ( x, z ) \, \& \, \zeta ^ { * } ( y, x ) \leqslant ( \zeta \circ \zeta ^ { * } ) ( y, z ) \leqslant \text{id} _ { Y } ( y, z ) = \perp$$

for all y z , ∈ Y with y /nequal z .

Note that q /nequal k , because q = k would lead to p &amp; q = p &amp; k = p &gt; ⊥ , contradicting to p &amp; q = ⊥ . Therefore, given that Q is lean, we conclude that p = ζ ∗ ( f ( x ) , x ) &amp; ζ ( x , f ( x )) = k , and consequently

$$\zeta ^ { * } ( f ( x ), x ) = \zeta ( x, f ( x ) ) = k.$$

/d47

We claim that ζ is the graph of the map f : X Y . Indeed, it is obvious that f ◦ /lessorequalslant ζ , and hence the conclusion follows immediately from Lemma 3.9 and Corollary 3.13.

/d47

As mentioned in Remark 3.8(1), Theorem 3.15 reduces to [12, Proposition III.1.2.1] when Q is integral:

Corollary 3.16. (See [12].) Let Q be a non-trivial, commutative and integral quantale. Then every Q -map is the graph of a map in Set if, and only if,

$$( p \vee q = \top \, a n d \, p \, \& \, q = \bot ) \, \Longrightarrow \, ( p = \top \, o r \, q = \top )$$

for p , q ∈ Q .

## 4. Quantale-valued partial maps

Note that coproducts in the category Q -Map are given by disjoint unions of sets as in Set :

Lemma 4.1. Q -Map has all coproducts.

↦

/d47

/d47

Proof. Let X = ∐ i ∈ I Xi be the disjoint union of a family of sets { Xi i } ∈ I , and let ι i : Xi X ( i ∈ I ) be the graphs of the inclusion maps. For any family of Q -maps { ζ i : Xi Y i } ∈ I , define a Q -relation

/d47

/d47

↦

↦

$$\zeta \colon X \longrightarrow Y, \ \zeta ( x, y ) = \zeta _ { i } ( x, y ) \quad \text{if } x \in X _ { i }, \ y \in Y.$$

/d47

/d47

Then ζ is clearly a Q -map, and ζ ◦ ι i = ζ i ( i ∈ I ) since

$$y \, a \, \hookrightarrow \, & \text{map}, \, \text{and} \, \zeta \circ t _ { i } = \zeta _ { i } \left ( t \in 1 \right ) \, \text{since} \\ ( \zeta \circ t _ { i } ) ( x, y ) & = \bigvee _ { w \in X } \zeta ( w, y ) \, \& \, t _ { i } ( x, w ) \\ & = \left ( \bigvee _ { w \in X \, \overline { \ } x } \zeta ( w, y ) \, \& \, \perp \right ) \vee \left ( \bigvee _ { w \in X _ { i } } \zeta ( w, y ) \, \& \, \text{id} _ { X _ { i } } ( x, w ) \right ) \\ & = \bigvee _ { w \in X _ { i } } \zeta _ { i } ( w, y ) \, \& \, \text{id} _ { X _ { i } } ( x, w ) \\ & = \zeta _ { i } ( x, y ) \\ \cdot \, \in \, V \, \text{ Final} v \, \text{ for the uniqueness of $Z$ at $x$ at $x$} \cdot T \, \text{$x$} \, \equiv \, \text{$Z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$ } \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \, \text{$z$} \quad$$

↦

/d47

/d47

$$\zeta _ { i } ( x, y ) = \eta \circ \iota _ { i } ( x, y ) = \bigvee _ { w \in X } \eta ( w, y ) \, \& \text{ id} _ { X } ( x, w ) = \eta ( x, y )$$

for all x ∈ Xi , y ∈ Y . Finally, for the uniqueness of ζ , let η : X Z be a Q -map satisfying η ◦ ι i = ζ i for all i ∈ I . Then for all x ∈ Xi , y ∈ Y , which completes the proof.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00393v1-figure-215273ba-3d19-4728-af4c-f0351bdfd139.jpg)

↦

Lemma 4.2. If ζ : X Y, η : X ′ Y ′ are Q -maps, then

↦

/d47

/d47

/d47

/d47

/d47

/d47

↦

$$\zeta \amalg \eta \colon X \amalg X ^ { \prime } \longrightarrow Y \amalg Y ^ { \prime }$$

is a Q -map.

/d111

Proof. It is straightforward to check that ζ ∗ /coproduct η ∗ : Y /coproduct Y ′ X /coproduct X ′ is the right adjoint of ζ /coproduct η in Q -Rel .

/d47

/d47

↦

Let

$$X _ { + } \coloneqq X \amalg \{ \ast \}$$

denote the disjoint union of every (crisp) set X and the singleton set { /star } .

↦

Definition 4.3. Let X Y , be (crisp) sets. A partial Q -map ζ from X to Y is a Q -map ζ : X Y + .

/d47

/d47

Remark 4.4. The singleton set { /star } may not be a terminal object of Q -Map . For example, if Q = M 3 (see Example 2.1(3)), then there are two di ff erent Q -maps from { /star } to { /star } :

- · the graph of the identity map on { /star } ;
- · the Q -map

whose right adjoint is given by

↦

$$\eta \colon \{ \ast \} \longrightarrow \{ \ast \}, \ \eta ( \ast, \ast ) = b.$$

/d47

/d47

Remark 4.5. When Q is an integral quantale, every partial Q -map is a fuzzy partial function defined in [4, 5], but not vice versa.

In order to construct the category of sets and partial Q -maps, note that by setting

$$\mathcal { C } = Q \text{-Map} \quad \text{and} \ \ A = \{ \ast \}$$

in (1.i) and (1.ii) we obtain a pair of adjoint functors

/d47

/d47

$$Q - \text{Map} \xrightarrow { F } \frac { F } { \leftarrow \frac { \perp } { U } } \{ * \} / Q - \text{Map}$$

/d111

given by the following data:

- · U is the forgetful functor;

/d31

- · the functor F sends each set X to the graph of the inclusion map { /star } X + , and sends each Q -map ζ : X Y to the Q -map

/d127

/d47

/d47

/d47

/d47

↦

↦

$$\zeta _ { + } \coloneqq \zeta \amalg \, \text{id} _ { \{ \ast \} } \colon X _ { + } \longrightarrow Y _ { + } ;$$

/d47

/d47

↦

- · for each set X , the component of the unit ι X : X X + is the graph of the inclusion map X X + ;

/d47

/d47

/d31

/d127

/d47

/d47

↦

- · for each object µ : { /star } X in { /star } / Q -Map , the component of the counit εµ : F X µ is given by

/d47

/d47

/d47

/d47

↦

$$\varepsilon _ { \mu } ( x, y ) = \begin{cases} \text{id} _ { X } ( x, y ) & \text{if } x, y \in X, \\ \mu ( \ast, y ) & \text{if } x = \ast \text{ and } y \in X. \end{cases} \\ \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

The adjunction F /turnstileright U induces the maybe monad ( T m , , ι ) on Q -Map , whose endofunctor T = UF carries each set X to X + , and whose multiplication is given by

↦

$$m _ { X } \colon ( X _ { + } ) _ { + } & \longrightarrow X _ { + }, \quad m _ { X } ( x, y ) = \begin{cases} \text{id} _ { X } ( x, y ) & \text{if } x, y \in X, \\ k & \text{if } x = y = \ast, \\ \perp & \text{if } x = \ast, \, y \in X \text{ or } x \in X, \, y = \ast. \end{cases} \\ \text{he isomorphism between } \{ \ast \} / Q - \text{Man} \text{ and the Eilenber-Moore categor} \, Q - \text{Man} ^ { T } \text{ is not difficult to be observed.}$$

/d47

/d47

↦

The isomorphism between { /star } / Q -Map and the Eilenberg-Moore category Q -Map T is not di ffi cult to be observed. Indeed, a T -algebra ( X , µ ) consists of a set X and a Q -map µ : X + X such that

/d47

/d47

$$\mu \circ \iota _ { X } = \text{id} _ { X },$$

↦

/d47

/d47

$$\zeta \colon \{ * \} \longrightarrow \{ * \}, \ \zeta ( *, * ) = a,$$

↦

which is clearly uniquely determined by an object in { /star } / Q -Map . Moreover, it is easy to see that a morphism ζ : ( X , µ ) ( Y , λ ) of T -algebras is a Q -map ζ : X Y such that

/d47

/d47

/d47

/d47

↦

$$( \zeta \circ \mu ) ( \ast, y ) = \lambda ( \ast, y )$$

for all y ∈ Y , which is simply a morphism in { /star } / Q -Map . Therefore, in what follows we identify Q -Map T with { /star } / Q -Map .

↦

Furthermore, objects in the Kleisli category Q -Map T are sets, and a morphism from X to Y in Q -Map T is exactly a Q -map X Y + ; that is, a partial Q -map from X to Y . Thus, we denote by

/d47

/d47

$$Q - \text{Map} ^ { \partial } \coloneqq Q - \text{Map} _ { T }$$

the category of sets and partial Q -maps. By Lemma 3.5, Q -Map is embedded in Q -Map ∂ as a full subcategory.

↦

Lemma 4.6. The composite of partial Q -maps ζ : X Y + and η : Y Z + is given by

/d47

/d47

/d47

/d47

↦

$$( \eta \diamond \zeta ) ( x, z ) = \begin{cases} \bigvee \eta ( y, z ) \ & \zeta ( x, y ) & \quad \text{if $x\in X$ and $z\in Z$,} \\ \left ( \bigvee \eta ( y, * ) \ & \zeta ( x, y ) \right ) \vee \zeta ( x, * ) & \quad \text{if $x\in X$ and $z=*$.} \end{cases} \\ ( 4. \text{iii} ) follows from $\eta \diamond \zeta = m _ { z } \circ ( \mathbb { T } \eta ) \circ \zeta \text{ and}$$

Proof. (4.iii) follows from η /diamondmath ζ = m Z ◦ ( T η ) ◦ ζ and

$$& \quad \ u _ { \nu } ^ { \nu } \cdot \ u _ { \nu } ^ { \nu } \cdot \ u _ { \nu } ^ { \nu } \cdot \ u _ { \nu } ^ { \nu } \cdot \ u _ { \nu } ^ { \nu } \cdot \ u _ { \nu } ^ { \nu } \\ & \quad ( m _ { Z } \circ ( T \eta ) \circ \zeta ) ( x, z ) = \bigvee _ { w \in ( Z, + ), \ y \in Y, } \bigvee _ { m _ { Z } ( w, z ) } \ & \, \Lambda ( T \eta ) ( y, w ) \ & \zeta ( x, y ) = \bigvee _ { y \in Y } \eta ( y, z ) \ & \, \zeta ( x, y ), \\ & \quad ( m _ { Z } \circ ( T \eta ) \circ \zeta ) ( x, \ast ) = \bigvee _ { z ^ { \prime } \in ( Z, + ), \ y \in Y, } \bigvee _ { m _ { Z } ( z ^ { \prime }, \ast ) } \ & \, \Lambda ( T \eta ) ( y, z ^ { \prime } ) \ & \, \zeta ( x, y ) = \left ( \bigvee _ { y \in Y } \eta ( y, \ast ) \ & \zeta ( x, y ) \ & \, k \right ) \vee ( \zeta ( x, \ast ) \ & k ) \\ & \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,
 \quad \quad \quad$$

for all x ∈ X z , ∈ Z .

/d47

Remark 4.7. Let ζ : X Y + be a partial Q -map from X to Y . The value

/d47

$$\zeta ( x, * )$$

is interpreted as the degree that x has no image under the map ζ , and so is the value

$$\zeta ^ { * } ( \ast, x ) = \bigwedge _ { z \in Y _ { + } } \zeta ( x, z ) \to \text{id} _ { Y _ { + } } ( \ast, z ),$$

because the above expression means that

- · For each z ∈ Y + , if z is the image of x under ζ , then z is equal to /star ; in other words, x has no image under ζ within Y .

The adjunction ζ /turnstileright ζ ∗ can be translated as follows:

- · For every x ∈ X , there may not be y ∈ Y such that y is the image of x under ζ ; because id X /lessorequalslant ζ ∗ ◦ ζ means that

$$k \leqslant \bigvee _ { y \in Y _ { + } } \zeta ^ { * } ( y, x ) \, \& \, \zeta ( x, y ) = ( \zeta ^ { * } ( \ast, x ) \, \& \, \zeta ( x, \ast ) ) \, \vee \left ( \bigvee _ { y \in Y } \zeta ^ { * } ( y, x ) \, \& \, \zeta ( x, y ) \right )$$

for all x ∈ X .

- · If y z , ∈ Y are both the images of x under ζ , then y is equal to z ; because ζ ◦ ζ ∗ /lessorequalslant id Y + means that

$$\bigvee _ { x \in X } \zeta ( x, z ) \, \& \, \zeta ^ { * } ( y, x ) \leqslant \text{id} _ { Y _ { + } } ( y, z ) = \text{id} _ { Y } ( y, z )$$

for all y z , ∈ Y . Moreover, setting y ∈ Y and z = /star in the above inequality we obtain that

$$\zeta ( x, \ast ) \, \& \, \zeta ^ { \ast } ( y, x ) = \text{id} _ { Y _ { + } } ( y, \ast ) = \bot$$

for all x ∈ X ; that is, ' x has no image under ζ ' and ' y is the image of x under ζ ' cannot happen simultaneously.

↦

Given another partial Q -map η : Y Z + from Y to Z , the formula (4.iii) given in Lemma 4.6 is understood as follows:

/d47

/d47

- · z ∈ Z is the image of x under η /diamondmath ζ if, and only if, there exists y ∈ Y such that y is the image of x under ζ , and z is the image of y under η .
- · x has no image under η /diamondmath ζ if, and only if, either of the following cases holds:
- -x has no image under ζ ;
- -x has an image y under ζ , but y has no image under η .

Theorem 4.8. Let Q be a non-trivial, commutative and unital quantale. Then every partial Q -map is the graph of a partial map in Set if, and only if, Q is lean. In this case, Set ∂ and Q -Map ∂ are isomorphic categories.

↦

/d47

/d47

/d47

Proof. Since Q -Map is embedded in Q -Map ∂ as a full subcategory, the necessity is an immediate consequence of Theorem 3.15. For the su ffi ciency, suppose that Q is lean. Since every partial Q -map is a Q -map ζ : X Y + , there is a map f : X Y + in Set such that ζ = f /natural , which is exactly a partial map in Set .

/d47

Let ( X + , τ X ) ∈ { /star } / Q -Map denote the free T -algebra on a set X . Then

↦

$$\tau _ { X } \colon ( * ) & \longrightarrow X _ { + }, \quad \tau _ { X } ( *, x ) = \begin{cases} k & \text{if } x = *, & ( 4. i v ) \\ \perp & \text{if } x \in X \end{cases} \\. & v \, \cdots \, v \, \cdots \, v \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdclots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \colon \\. & v \, \cdots \, \cdots \, v \, \cdots \, \cdots \, \cdots \, v \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \$$

/d47

/d47

↦

is the restriction of m X : ( X + + ) X + (see (4.ii)), which is exactly the graph of the inclusion map { /star } X + . It is well known that the canonincal functor

/d47

/d47

/d31

/d127

/d47

/d47

/d47

$$K \colon Q _ { \text{-Map} } \theta ( = Q _ { \text{-Map} } ) \longrightarrow \{ \ast \} / Q _ { \text{-Map} } ( \cong Q _ { \text{-Map} } ^ { T } )$$

/d47

↦

that sends each Q -map ζ : X Y + (i.e., partial Q -map from X to Y ) to

/d47

/d47

↦

$$K \zeta \colon ( X _ { + }, \tau _ { X } ) \longrightarrow ( Y _ { + }, \tau _ { Y } ), \ \ ( K \zeta ) ( x, y ) = \begin{cases} \zeta ( x, y ) & \text{if $x\in X$, $y\in Y$,} \\ k & \text{if $x=*=y$,} \\ \perp & \text{else} \end{cases}$$

/d47

/d47

is fully faithful (see, e.g., [21, Lemma 5.2.13]).

Lemma 4.9. Assuming the axiom of choice, every object of { /star } / Q -Map is isomorphic to a free T -algebra, hence the functor K is essentially surjective.

↦

Proof. Let ( X , µ ) ∈ { /star } / Q -Map . Since X is the codomain of the Q -map µ : { /star } X , it is clear that X /nequal ∅ . By the axiom of choice and [9], there exists a binary operation · on X such that ( X , · ) is a group, with e ∈ X being its unit. Then

/d47

/d47

$$( G 1 ) \ x \cdot z \neq y \cdot z \text{ and } z \cdot x \neq z \cdot y \text{ for all } x, y, z \in X \text{ with } x \neq y, \text{ and }$$

$$( G 2 ) \ x \cdot y \neq x \text{ for all } x, y \in X \text{ with } y \neq e.$$

Our strategy is to show that ( X , µ ) is isomorphic to

$$K ( X \, \langle e \rangle ) = ( ( X \, \langle e \rangle ) _ { + }, \tau _ { X \langle e \rangle } ).$$

Explicitly, we define Q -relations

↦

/d47

/d47

$$\zeta \colon X & \longrightarrow ( X \, \langle e \rangle ) _ { + }, \quad \zeta ( x, a ) = \begin{cases} \mu ^ { * } ( x, \ast ) & \text{if $x\in X$, $a=\ast$} \\ \mu ^ { * } ( x \cdot a, \ast ) & \text{if $x,a\in X$} \end{cases} \\ \vdots \varepsilon$$

and

↦

/d47

/d47

and we show that ζ and η establish an isomorphism between ( X , µ ) and (( X \ { e } ) + , τ X \{ e } ) in { /star } / Q -Map .

$$\eta \colon ( X \, \langle e \rangle ) _ { + } & \longrightarrow X, \quad \eta ( a, x ) = \begin{cases} \mu ( \ast, x ) & \text{if $a=\ast$, $x\in X$} \\ \mu ( \ast, x \cdot a ) & \text{if $a,x\in X$,} \end{cases} \\ \text{it} \, \zeta \, \text{and} \, \eta \text{establish an isomorphism between $(X,\mu)$ and $((X \, \{ e \} ) _ { + }, \tau _ { X \langle e \rangle } ) \, \text{ in } \{ \ast \} / \text{Q-N}$$

First, η ◦ ζ = id X and ζ ◦ η = id( X \{ e } ) + , so that ζ and η are both Q -maps, and they are inverses of each other. Indeed, it follows from (G1) and Lemma 3.4 that

$$( \eta \circ \zeta ) ( x, y ) = \bigvee _ { a \in ( X \langle e \rangle ) _ { + } } \eta ( a, y ) \, \& \, \zeta ( x, a ) = ( \mu ( \ast, y ) \, \& \, \mu ^ { * } ( x, \ast ) ) \vee \left ( \bigvee _ { a \in X \langle i \rangle } \mu ( \ast, y \cdot a ) \, \& \, \mu ^ { * } ( x \cdot a, \ast ) \right ) = \perp$$

for all x y , ∈ X with x /nequal y , and

$$( \eta \circ \zeta ) ( x, x ) = ( \mu ( \ast, x ) \, \& \, \mu ^ { * } ( x, \ast ) ) \vee \left ( \, \bigvee _ { \dots \, \cdot } \mu ( \ast, x$$

$$& \quad \ a \in ( x \wr \ell ) \text{,} & \quad \ a \in x \wr \ell \text{e} \\ \text{or all } x, y \in X \text{ with } x \neq y, \text{ and } \\ ( \eta \circ \zeta ) ( x, x ) & = ( \mu ( \ast, x ) \ & \mu ^ { \ast } ( x, \ast ) ) \lor \left ( \bigvee _ { \substack { \ a \in X \wr \ell \ell \\ \quad \ a \in X \wr \ell \ell } } \mu ( \ast, x \cdot a ) \ & \mu ^ { \ast } ( x \cdot a, \ast ) \right ) \\ & \quad \leqslant \text{id} _ { x } ( x, x ) \lor \left ( \bigvee _ { \substack { \ a \in X \wr \ell \\ \quad \ a \in X \wr \ell \ell } } \text{id} _ { x } ( x \cdot a, x \cdot a ) \right ) \\ & \quad \leqslant k \\ & \quad \leqslant ( \mu ^ { \ast } \circ \mu ) ( \ast, \ast ) \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \quad \ \ & \ \ & \quad \ \ & \quad \ \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \ \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ &\quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \ & \quad \$$

for all x ∈ X . Thus η ◦ ζ = id X . In order to show that ζ ◦ η = id( X \{ e } ) + , from (G1), (G2) and Lemma 3.4 we deduce that

$$x, x \in \eta \xi _ { 5 } - x \in _ { X }, \, \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{In} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad\text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in}, \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \Text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \quad \text{in} \\ ( \zeta \circ \eta ) ( a, b ) & = \bigvee _ { x \in X } \zeta ( x, b ) \, \ & \eta ( a, x ) = \bigvee _ { x \in X } \mu ^ { * } ( x, * ) \, \ & \, \ & \, \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 \quad \quad \quad$$

for all a b , ∈ X \ { e } with a /nequal b . Moreover, it follows from Lemma 3.4 that

$$( \zeta \circ \eta ) ( \ast, \ast ) = \bigvee _ { x \in X } \zeta ( x, \ast ) \, \& \, \eta ( \ast, x ) = \bigvee _ { x \in X } \mu ^ { \ast } ( x, \ast ) \, \& \, \mu ( \ast, x ) = ( \mu ^ { \ast } \circ \mu ) ( \ast, \ast ) = k,$$

and

$$d \\ ( \zeta \circ \eta ) ( a, a ) & = \bigvee _ { x \in X } \mu ( *, x \cdot a ) \, \& \, \mu ^ { * } ( x \cdot a, * ) \\ & \leq \bigvee _ { x \in X } \text{id} _ { X } ( x \cdot a, x \cdot a ) & ( \mu \cdot \mu ^ { * } ) \\ & = k \\ & = ( \mu ^ { * } \circ \mu ) ( *, * ) & ( \text{Lemma} \, 3. 4 ) \\ & = \bigvee _ { x \in X } \mu ^ { * } ( x, * ) \, \& \, \mu ( *, x ) \\ & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & && & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &
 & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &  & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & - & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & _ & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &$$

$$& = \bigvee _ { x \in X } \mu ^ { * } ( x \cdot a ^ { - 1 } \cdot a, * ) \, \& \, \mu ( *, x \cdot a ^ { - 1 } \cdot a ) \\ & \leqslant \bigvee _ { y \in X } \mu ^ { * } ( y \cdot a, * ) \, \& \, \mu ( *, y \cdot a ) \\ & = ( \zeta \circ \eta ) ( a, a )$$

for all a ∈ X \ { e } , as desired.

/d47

Second, ζ ◦ µ = τ X \{ e } and η ◦ τ X \{ e } = µ , so that ζ : ( X , µ ) (( X \ { e } ) + , τ X \{ e } ) and η : (( X \ { e } ) + , τ X \{ e } ) ( X , µ ) are isomorphisms in { /star } / Q -Map . Indeed, ζ ◦ µ = τ X \{ e } because

/d47

/d47

/d47

$$\ m p i n s i m \left ( \tilde { x } \right ] / \hookrightarrow \text{var} \right. \ m u e e \cdot \varsigma \circ \mu = \tau _ { X \left \{ \varepsilon \right \} } \text{ because} \\ ( \zeta \circ \mu ) ( \tilde { \ast }, \tilde { \ast } ) & = \bigvee \zeta ( x, \tilde { \ast } ) \ & \mu ( \tilde { \ast }, x ) \\ & = \bigvee \mu ^ { \ast } ( x, \tilde { \ast } ) \ & \mu ( \tilde { \ast }, x ) \\ & = ( \mu ^ { \ast } \circ \mu ) ( \tilde { \ast }, \tilde { \ast } ) \\ & = k & & ( L e m m a \ 3. 4 ) \\ & = \tau _ { X \left \{ \varepsilon \right \} } ( \tilde { \ast }, \tilde { \ast } )$$

and

$$( \zeta \circ \mu ) ( \ast, a ) & = \bigvee _ { x \in X } \zeta ( x, a ) \ \& \ \mu ( \ast, x ) \\ & = \bigvee _ { x \in X } \mu ( \ast, x ) \ \& \ \mu ^ { \ast } ( x \cdot a, \ast ) \\ & = \perp \\ & = \tau _ { X \overline { \{ e \} } ( \ast, a ) } \\ \quad \cdots \cdots \cdots \cdots$$

$$<_Lisp_> ((G2) and Lemma 3.4)$$

for all a ∈ X \ { e } . Meanwhile, η ◦ τ X \{ e } = µ because

$$( \eta \circ \tau _ { X \subset \{ e \} } ) ( \ast, x ) = \bigvee _ { a \in ( X \overline { \ } ( e \} ) _ { + } } \eta ( a, x ) \, \& \, \tau _ { X \overline { \ } ( e \} } ( \ast, a ) = \eta ( \ast, x ) \, \& \, k = \eta ( \ast, x ) = \mu ( \ast, x )$$

for all x ∈ X , where the second equality follows from (4.iv).

/d47

Lemma 4.9 guarantees that K : Q -Map ∂ { /star } / Q -Map is an equivalence of categories:

/d47

Theorem 4.10. Assuming the axiom of choice, Q -Map ∂ is equivalent to { /star } / Q -Map and, therefore, is monadic over Q -Map .

## Acknowledgement

The authors acknowledge the support of National Natural Science Foundation of China (No. 12071319) and the Fundamental Research Funds for the Central Universities (No. 2021SCUNL202).

## References

- [1] C. Alsina, M. J. Frank, and B. Schweizer. Associative Functions: Triangular Norms and Copulas . World Scientific, Singapore, 2006.
- [2] S. S. L. Chang and L. A. Zadeh. On fuzzy mapping and control. IEEE Transactions on Systems, Man, and Cybernetics , SMC-2(1):30-34, 1972.
- [3] M. Demirci. Fuzzy functions and their fundamental properties. Fuzzy Sets and Systems , 106(2):239-246, 1999.
- [4] M. Demirci. Fuzzy functions and their applications. Journal of Mathematical Analysis and Applications , 252(1):495-517, 2000.
- [5] M. Demirci and J. Recasens. Fuzzy groups, fuzzy functions and fuzzy equivalence relations. Fuzzy Sets and Systems , 144(3):441-458, 2004.

- [6] D. Dubois and H. Prade. Fuzzy Sets and Systems: Theory and Applications , volume 144 of Mathematics in Science and Engineering . Academic Press, 1980.
- [7] P. Eklund, J. Guti´ errez Garc´ ıa, U. H¨ ohle, and J. Kortelainen. Semigroups in Complete Lattices: Quantales, Modules and Related Topics , volume 54 of Developments in Mathematics . Springer, Cham, 2018.
- [8] P. H´ ajek. Metamathematics of Fuzzy Logic , volume 4 of Trends in Logic . Springer, Dordrecht, 1998.
- [9] A. Hajnal and A. Kert´ esz. Some new algebraic equivalents of the axiom of choice. Publicationes Mathematicae Debrecen , 19:339-340, 1972.
- [10] H. Heymans. Sheaves on Quantales as Generalized Metric Spaces . PhD thesis, Universiteit Antwerpen, Belgium, 2010.
- [11] H. Heymans and I. Stubbe. Elementary characterisation of small quantaloids of closed cribles. Journal of Pure and Applied Algebra , 216(8-9):1952-1960, 2012.
- [12] D. Hofmann, G. J. Seal, and W. Tholen, editors. Monoidal Topology: A Categorical Approach to Order, Metric, and Topology , volume 153 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, 2014.
- [13] U. H¨ ohle. Commutative, residuated l-monoids. In U. H¨ ohle and E. P. Klement, editors, Non-classical logics and their applications to fuzzy subsets: a handbook of the mathematical foundations of fuzzy set theory , volume 32 of Theory and Decision Library , pages 53-105. Springer, Berlin-Heidelberg, 1995.
- [14] E. P. Klement, R. Mesiar, and E. Pap. Triangular Norms , volume 8 of Trends in Logic . Springer, Dordrecht, 2000.
- [15] E. P. Klement, R. Mesiar, and E. Pap. Triangular norms. Position paper III: continuous t-norms. Fuzzy Sets and Systems , 145(3):439-454, 2004.
- [16] F. W. Lawvere. Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Mat´ ematico e Fisico di Milano , 43:135-166, 1973.
- [17] S. Mac Lane. Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics . Springer, New York, second edition, 1998.
- [18] C. J. Mulvey. &amp;. Supplemento ai Rendiconti del Circolo Matematico di Palermo Series II , 12:99-104, 1986.
- [19] W. C. Nemitz. Fuzzy relations and fuzzy functions. Fuzzy Sets and Systems , 19(2):177-191, 1986.
- [20] Q. Pu and D. Zhang. Preordered sets valued in a GL-monoid. Fuzzy Sets and Systems , 187(1):1-32, 2012.
- [21] E. Riehl. Category Theory in Context . Aurora: Dover Modern Math Originals. Dover Publications, Mineola, 2016.
- [22] K. I. Rosenthal. Quantales and their Applications , volume 234 of Pitman research notes in mathematics series . Longman, Harlow, 1990.
- [23] K. I. Rosenthal. The Theory of Quantaloids , volume 348 of Pitman Research Notes in Mathematics Series . Longman, Harlow, 1996.
- [24] M. Sasaki. Fuzzy functions. Fuzzy Sets and Systems , 55(3):295-301, 1993.
- [25] I. Stubbe. Categorical structures enriched in a quantaloid: categories, distributors and functors. Theory and Applications of Categories , 14(1):1-45, 2005.
- [26] I. Stubbe. An introduction to quantaloid-enriched categories. Fuzzy Sets and Systems , 256:95-116, 2014.
Lili Shen Xiaoye Tang
Quantale-valued maps and partial maps
Let $\mathsf{Q}$ be a commutative and unital quantale. By a $\mathsf{Q}$-map
we mean a left adjoint in the quantaloid of sets and $\mathsf{Q}$-relations,
and by a partial $\mathsf{Q}$-map we refer to a Kleisli morphism with respect
to the maybe monad on the category $\mathsf{Q}\text{-}\mathbf{Map}$ of sets and
$\mathsf{Q}$-maps. It is shown that every $\mathsf{Q}$-map is symmetric if and
only if $\mathsf{Q}$ is weakly lean, and that every $\mathsf{Q}$-map is exactly
a map in $\mathbf{Set}$ if and only $\mathsf{Q}$ is lean. Moreover, assuming
the axiom of choice, it is shown that the category of sets and partial
$\mathsf{Q}$-maps is monadic over $\mathsf{Q}\text{-}\mathbf{Map}$.