## COMPLETELY DISTRIBUTIVE ENRICHED CATEGORIES ARE NOT ALWAYS CONTINUOUS

## HONGLIANG LAI AND DEXUE ZHANG

Abstract. In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit interval with a continuous t-norm does not imply its continuity in general. Necessary and sufficient conditions for the implication are presented.

## 1. Introduction

Preordered sets are often viewed as thin categories, and the other way around, categories have also been studied as 'generalized ordered structures'. Illuminating examples include the study of continuous categories in [1, 13] and that of completely (totally) distributive categories in [22, 23]. A bit more generally, categories enriched over a monoidal closed category can be viewed as 'ordered sets' with truth-values taken in that closed category [21]. This point of view has led to a theory of quantitative domains , of which the core objects are categories enriched in a quantale, see e.g. [3, 6, 10, 11, 17, 32].

/d47

Continuous dcpos [7] are characterized by the relation between a poset P and the poset Idl ( P ) of ideals of P . For all p ∈ P , ↓ p = { x ∈ P | x ≤ p } defines an embedding ↓ : P Idl ( P . ) A poset P is directed complete if ↓ has a left adjoint

/d47

/d47

$$\sup \, \colon \, \text{Id} \, | ( P ) \longrightarrow P$$

/d47

and is continuous if there is a string of adjunctions

/d47

$$\downarrow \neg \sup \neg \downarrow \colon P \longrightarrow \text{Id} | ( P ).$$

/d47

/d47

In a locally small category E , ind-objects (or equivalently, filtered colimits of representable presheaves) play the role of ideals in posets. Let Ind -E be the category of all filtered colimits of representable presheaves on E . Then, E has filtered colimits if the Yoneda embedding y : E Ind -E has a left adjoint

/d47

/d47

$$\text{colim} \, \colon \, \text{Ind-} \mathcal { E } \longrightarrow \mathcal { E }$$

/d47

and it is further continuous if there is a string of adjunctions

/d47

$$w \dashv \text{-} \text{colim} \dashv y \colon \mathcal { E } \longrightarrow \text{Ind-} \mathcal { E }.$$

/d47

We would like to thank the support of the National Natural Science Foundation of China (No. 11771310 and No. 11871358).

2010 Mathematics Subject Classification: 18B35, 18D20, 06D10, 06F07.

Key words and phrases: Enriched category, continuous t-norm, forward Cauchy weight, distributive law, completely distributive quantale-enriched category, continuous quantale-enriched category.

/d47

For categories enriched in a commutative and unital quantale Q , forward Cauchy weights (i.e., presheaves generated by forward Cauchy nets, see Definition 4.1) play the role of ideals. For each Q -category A , let C A be the Q -category of all forward Cauchy weights of A . Then, A is forward Cauchy cocomplete if the Q -functor e A : A C A , which is obtained by restricting the codomain of the enriched Yoneda embedding, has a left adjoint

/d47

/d47

$$\sup _ { A } \colon \mathcal { C } A \longrightarrow A ;$$

/d47

and A is continuous if it is separated (for definition see below) and there is a string of adjoint Q -functors

/d47

$$t _ { A } \dashv \sup _ { A } \dashv e _ { A } \colon A \longrightarrow \mathcal { C } A.$$

/d47

If we replace, in the definition of continuous lattice, Idl ( P ) by the poset of all lower sets, then we obtain the concept of (constructively) completely distributive lattices [5, 34]. Similarly, if we replace, respectively, the category of ind-objects and the Q -category of forward Cauchy weights by the category of all small presheaves and the Q -category of all weights, then we obtain the concepts of completely distributive categories [23, Remark 4.7] and completely distributive Q -categories [29, 25].

| { 0,1 }                                                                       | Q                                                                                        | Set                                                                           |
|-------------------------------------------------------------------------------|------------------------------------------------------------------------------------------|-------------------------------------------------------------------------------|
| preordered sets lower sets directed lower sets continuous dcpos c.d. lattices | Q -categories weights forward Cauchy weights continuous Q -categories c.d. Q -categories | categories small presheaves ind-objects continuous categories c.d. categories |

/d47

It is well-known in order theory that a completely distributive lattice is necessarily continuous, see e.g. [7]. This paper investigates whether there is an enriched version of this conclusion. It turns out that it depends on the structure of the truth-values , i.e., the structure of the closed category. The main result, Theorem 6.4, shows that if Q is the interval [0 , 1] equipped with a continuous t-norm &amp;, then all completely distributive Q -categories are continuous if and only if the corresponding implication (see below) → : [0 , 1] 2 [0 , 1] is continuous at every point off the diagonal { ( x, x ) | x ∈ [0 , 1] } .

/d47

## 2. Complete quantale-enriched categories

This section recalls some basic notions and results about quantale-enriched categories (which are a special case of quantaloid-enriched categories [27]) that will be needed.

A commutative and unital quantale (a quantale for short) [26] is a small, complete and symmetric monoidal closed category. Explicitly, a quantale

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

is a commutative monoid with k being the unit, such that the underlying set Q is a complete lattice and the multiplication &amp; distributes over arbitrary joins. The unit k

need not be the top element in Q . If it happens that k is the top element, then Q is said to be integral . The multiplication &amp; determines a binary operator → , often called the implication corresponding to &amp;, via the adjoint property:

$$p \, \& \, q \leq r \iff q \leq p \to r.$$

/d47

Let Q = ( Q , &amp; , k ) be quantale. A Q -category consists of a set A and a map a : A × A Q such that

/d47

$$k \leq a ( x, x ) \ \text{ and } \ a ( y, z ) \, \& \, a ( x, y ) \leq a ( x, z )$$

for all x, y, z ∈ A . We often write A for the pair ( A, a ) and A x, y ( ) for a x, y ( ) if no confusion would arise.

For a Q -category A , the underlying preorder /subsetsqequal on A refers to the preorder given by

$$x \sqsubseteq y \iff k \leq A ( x, y ).$$

Two elements x, y in a Q -category A are said to be isomorphic if A x, y ( ) ≥ k and A y, x ( ) ≥ k . A Q -category A is separated if isomorphic elements of A are necessarily identical. It is clear that A is separated if and only if ( A, /subsetsqequal ) is a partially ordered set.

2.1. Example. ( Q , d L ) is a separated Q -category, where d L ( x, y ) = x → y for all x, y ∈ Q .

/d47

A Q -functor f : A B between Q -categories is a map f : A B such that

/d47

/d47

/d47

$$A ( x, y ) \leq B ( f ( x ), f ( y ) )$$

for all x, y ∈ A . With the pointwise order between Q -functors inherited from B , i.e.,

/d47

$$f \leq g \colon A \longrightarrow B \iff \forall x \in A, \ f ( x ) \sqsubseteq g ( x ),$$

/d47

Q -categories and Q -functors constitute a locally ordered category

$$Q _ { \mu } C a t.$$

/d47

A Q -distributor φ : A ◦ B between Q -categories is a map φ : A × B Q such that

/d47

/d47

/d47

$$B ( y, y ^ { \prime } ) \, \& \, \phi ( x, y ) \, \& \, A ( x ^ { \prime }, x ) \leq \phi ( x ^ { \prime }, y ^ { \prime } )$$

/d47

/d47

for all x, x ′ ∈ A and y, y ′ ∈ B . The composition of Q -distributors φ : A ◦ B and ψ : B ◦ C is given by

/d47

/d47

/d47

$$\mu _ { \mu } \, \psi \circ \phi \, \colon A \to C, \quad \psi \circ \phi ( x, z ) = \bigvee _ { y \in B } \psi ( y, z ) \, \& \, \phi ( x, y ).$$

/d47

Q -categories and Q -distributors constitute a locally ordered category

with local order inherited from Q .

/d47

Each Q -functor f : A B induces distributors

/d47

/d47

$$f _ { * } ( x, y ) = B ( f ( x ), y )$$

/d47

/d47

/d47

called respectively the graph and cograph of f .

/d47

Let f : A B and g : B A be Q -functors. We say f is left adjoint to g (or, g is right adjoint to f ), and write f /turnstileright g , if

/d47

/d47

/d47

$$1 _ { A } \sqsubseteq g \circ f \text{ \ and \ } f$$

It is easily seen that f is left adjoint to g if and only if

$$f _ { * } = g ^ { * },$$

i.e., B f x , y ( ( ) ) = A x, g y ( ( )) for all x ∈ A and y ∈ B .

/d47

With /star denoting the singleton Q -category with only one object and a /star, /star ( ) = k , Q -distributors of the form φ : A ◦ /star are called weights (or, presheaves ) of A . The weights of A constitute a Q -category P A with

/d47

$$\psi _ { \ } \psi _ { \ } \psi _ { \ } A$$

/d47

Dually, Q -distributors of the form ψ : /star ◦ A are called coweights (or, copresheaves ) of A . The coweights of A constitute a Q -category P † A with

/d47

$$\begin{array} {$$

For any Q -category A , the underlying order on P A coincides with the local order in Q Dist -, while the underlying order on P † A is opposite to the local order in Q Dist -, i.e.,

$$\psi \sqsubseteq \sigma \text{ in } \mathcal { P } ^ { \dagger } A \iff \sigma \leq \psi \text{ in } Q \text{-Dist.}$$

/d47

Each Q -functor f : A B induces two Q -functors

/d47

/d47

$$\mathcal { P } f \, \colon \mathcal { P } A \longrightarrow \mathcal { P } B, \ \mathcal { P } f ( \phi ) = \phi \circ f ^ { * }$$

/d47

and

/d47

$$\mathcal { P } ^ { \dagger } f \, \colon \mathcal { P } ^ { \dagger } A \longrightarrow \mathcal { P } ^ { \dagger } B, \ \mathcal { P } ^ { \dagger } f ( \psi ) = f _ { * } \circ \psi.$$

/d47

Both P and P † are endofunctors on Q Cat -. The functor P can be made into a monad ( P , s , y ), called the presheaf monad , with unit given by the Yoneda embedding

/d47

$$\gamma _ { A } \colon A \longrightarrow \mathcal { P } A, \ \gamma _ { A } ( x ) = A ( -, x )$$

/d47

and multiplication given by

/d47

/d47

/d47

/d47

/d47

/d47

$$s _ { A } \, \colon \mathcal { P P A } \longrightarrow \mathcal { P A }, \ \ s _ { A } ( \Phi ) = \Phi \circ ( y _ { A } ) _ { * } \, \colon A \twoheadrightarrow \mathcal { P A } \twoheadrightarrow \ast.$$

Similarly, the functor P † can also be made into a monad ( P † , s † , y † ), called the copresheaf monad , with unit y † given by the co-Yoneda embedding

/d47

$$\mathcal { y } _ { A } ^ { \dagger } \colon A \longrightarrow \mathcal { P } ^ { \dagger } A, \ \mathcal { y } _ { A } ^ { \dagger } ( x ) = A ( x, - )$$

/d47

and multiplication s † given by

/d47

$$s _ { A } ^ { \dagger } \, \colon \mathcal { P } ^ { \dagger } \mathcal { P } ^ { \dagger } A \longrightarrow \mathcal { P } ^ { \dagger } A, \ \ s _ { A } ^ { \dagger } ( \Psi ) = ( y _ { A } ^ { \dagger } ) ^ { * } \circ \Psi \, \colon \ast \to \mathcal { P } ^ { \dagger } A \to \to A.$$

/d47

/d47

/d47

/d47

/d47

The presheaf monad ( P , s , y ) is a KZ-doctrine and the copresheaf monad ( P † , s † , y † ) is a co-KZ-doctrine on the locally ordered category Q Cat -. 1

Let A be a Q -category and φ be a weight of A . An element x of A is called a supremum of φ if for all y ∈ A ,

$$\sigma _ { \ } - \dots, \\ A ( x, y ) = \mathcal { P } A ( \phi, \mathfrak { y } ( y ) ) = \bigwedge _ { z \in A } ( \phi ( z ) \to A ( z, y ) ). \\ \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$$

/d47

/d47

In the terminology of category theory, the element x is a colimit of the identity functor A A weighted by φ . However, following the tradition of order theory, we call it a supremum of φ and denote it by sup A φ . Supremum of a weight φ , when exists, is unique up to isomorphism. We say that A is cocomplete [27] if the Yoneda embedding y A : A P A has a left adjoint, sup A : P A A , which sends each weight φ to its supremum. Dually, we say that a Q -category A is complete if the co-Yoneda embedding y † A : A P † A has a right adjoint, inf A : P † A A , which sends each ψ ∈ P † A to its infimum .

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

- 2.2. Proposition. ([27, Proposition 5.10]) A Q -category A is complete if and only if it is cocomplete.

/d47

/d47

/d47

/d47

Since ( P , s , y ) is a KZ-doctrine, a Q -category A is a P -algebra if and only if y A : A P A has a left inverse (hence A is separated), and in this case the left inverse is necessarily a left adjoint of y A , see e.g. [8, Theorem 2.4]. A P -homomorphism f : A B between P -algebras A and B is a Q -functor f : A B such that

/d47

/d47

$$\sup _ { B } \circ \mathcal { P } f = f \circ \sup _ { A },$$

which is equivalent to f being a left adjoint. Therefore, the category of P -algebras and P -homomorphisms is just the category

$$Q - \text{Sup}$$

1 A monad ( T , m e , ) on a locally ordered category X is a KZ-doctrine (co-KZ-doctrine, resp.) [9, 16, 35] if T is a 2-functor, and for each object A of X , there is a string of adjoint arrows

/d47

$$\mathcal { T } \mathbf e _ { A } \dashv m _ { A }$$

/d47

/d47

/d47

The latter condition is equivalent to

$$\mathcal { T } e _ { A } \leq e _ { \mathcal { T$$

for each object A of X .

/d47

of separated cocomplete Q -categories and left adjoint Q -functors. Dually, since ( P † , s † , y † ) is a co-KZ-doctrine, a P † -algebra is exactly a separated complete Q -category; a P † -homomorphism f : A B between P † -algebras is a right adjoint Q -functor. Thus, the category of P † -algebras and P † -homomorphisms is just the category

/d47

## Q Inf -

of separated complete Q -categories and right adjoint Q -functors.

- 2.3. Proposition. ([4, 28]) A Q -category A is cocomplete if and only if it satisfies the following conditions:

For each subset C of a Q -category A , we write ∨ C for a join of C (which is unique up to isomorphism) in ( A, /subsetsqequal ); likewise we write ∧ C for a meet of C in ( A, /subsetsqequal ).

- (1) A is tensored in the sense that for all p ∈ Q , x ∈ A , there is an element p ⊗ x ∈ A , called the tensor of p with x , such that for any y ∈ A ,

$$A ( p \otimes x, y ) = p \rightarrow A ( x, y ) ;$$

- (2) Every subset C of A has a join in ( A, /subsetsqequal ) and for all x ∈ A ,

$$\begin{array} { c } \lambda & \lambda ^ { - \prime } & \lambda$$

It is not hard to check that for each weight φ of a cocomplete Q -category A ,

$$\begin{array} {$$

- 2.4. Proposition. ([4, 28]) A Q -category A is complete if and only if it satisfies the following conditions:
- (1) A is cotensored in the sense that for all p ∈ Q , x ∈ A , there is an element p /multimap x ∈ A , called the cotensor of p with x , such that for any y ∈ A ,

$$A ( y, p \rightarrow x ) = p \rightarrow A ( y, x ) ;$$

- (2) Every subset C of A has a meet in ( A, /subsetsqequal ) and for all x ∈ A ,

$$\begin{array} { c c c } \theta ^ { \, - \, \prime } & \xi & \mu \\ A ( x, \bigwedge ^ { \, } C ) = \bigwedge _ { y \in C } A ( x, y ). \end{array}$$

/d47

- 2.5. Proposition. ([28]) Let f : A B be Q -functor between complete Q -categories.

/d47

- (1) f is a left adjoint if and only if f ( p ⊗ x ) = p ⊗ f ( x ) for all p ∈ Q , x ∈ A and f ( ∨ C ) = ∨ f ( C ) for all C ⊆ A .
- (2) f is a right adjoint if and only if f ( p /multimap x ) = p /multimap f ( x ) for all p ∈ Q , x ∈ A and f ( ∧ C ) = ∧ f ( C ) for all C ⊆ A .

2.6. Example. (1) For each Q -category A , P A is complete, in which

$$( p \otimes \phi ) ( x ) = p \, \& \, \phi ( x ) \quad \text{and} \quad ( p \rightarrow \phi ) ( x ) = p \rightarrow \phi ( x )$$

for all p ∈ Q and φ ∈ P A .

- (2) For each Q -category A , P † A is complete, in which

$$( p \to \psi ) ( x ) = p \, \& \, \psi ( x ) \quad \text{and} \quad ( p \otimes \psi ) ( x ) = p \to \psi ( x )$$

for all p ∈ Q and ψ ∈ P † A .

## 3. Completely distributive quantale-enriched categories

A saturated class of weights [2, 14, 30] is a full submonad ( T , m e , ) of the presheaf monad ( P , s , y ) on Q Cat -. Explicitly, a saturated class of weights is a triple ( T , m e , ) subject to:

/d47

- · T is a subfunctor of P : Q Cat -Q Cat -;

/d47

/d47

- · all inclusions ε A : T A P A are fully faithful;

/d47

- · all ε A form a natural transformation such that

$$\mathbf s \circ \left ( \varepsilon * \varepsilon \right ) = \varepsilon \circ \mathbf m \text{ \ and \ } \varepsilon \circ \mathbf e = \mathbf y.$$

/d47

/d47

Said differently, a saturated class of weights is a functor T : Q Cat -Q Cat -such that T A is a full subQ -category of P A through which the Yoneda embedding y A : A P A factors, and that for each Φ ∈ T T A , the supremum of

/d47

/d47

/d47

$$\Phi \circ \varepsilon _ { A } ^ { * } \, \colon \mathcal { P } A \twoheadrightarrow \mathcal { T } A \twoheadrightarrow *$$

/d47

/d47

/d47

in P A belongs to T A .

Since ( P , s , y ) is a KZ-doctrine, then so is every saturated class of weights ( T , m e , ) on Q Cat -. Thus, for each saturated class of weights ( T , m e , ) on Q Cat -, a T -algebra A is a Q -category A such that

/d47

$$\mathrm e _ { A } \, \colon A \longrightarrow \mathcal { T } A$$

/d47

has a left inverse (which is necessarily a left adjoint of e A )

/d47

$$\sup _ { A } \colon \mathcal { T } A \longrightarrow A.$$

/d47

/d47

Said differently, a T -algebra is a separated Q -category A such that every φ ∈ T A has a supremum. A T -homomorphism f : A B between T -algebras is a Q -functor such that

/d47

$$f \circ \sup _ { A } = \sup _ { B } \circ \mathcal { T } f.$$

The category of T -algebras and T -homomorphisms is denoted by

$$\mathcal { T } _ { - } \text{Alg}.$$

For the largest saturated class of weights P , the category P -Alg is just the category Q Sup -of separated cocomplete Q -categories and left adjoint Q -functors.

It is clear that every P -algebra is a T -algebra and every P -homomorphism is a T -homomorphism, so the category P -Alg is a subcategory of T -Alg .

3.1. Proposition. Let T be a saturated class of weights on Q Cat -. Then, every retract of a T -algebra in Q Cat -is a T -algebra.

/d47

Proof. Suppose that B is a T -algebra; s : A B and r : B A are Q -functors such that r ◦ s = 1 A . Let sup A be the composite

/d47

/d47

/d47

/d47

$$\mathcal { T } A \xrightarrow { \mathcal { T } s } \math$$

/d47

/d47

/d47

/d47

/d47

Then sup A ◦ e A = r ◦ sup B ◦ T s ◦ e A = r ◦ sup B ◦ e B ◦ s = r ◦ s = 1 A ,

so, sup A is a left inverse of e A and consequently, A is a T -algebra.

3.2. Definition. Let ( T , m e , ) be a saturated class of weights on Q Cat -. A Q -category is said to be T -continuous if it is a T -continuous T -algebra; that is, if A is separated and there is a string of adjoint Q -functors

/d47

$$t _ { A } \dashv \sup _ { A } \dashv e _ { A }$$

/d47

3.3. Proposition. Let ( T , m e , ) be a saturated class of weights on Q Cat -. Then, for every Q -category A , the Q -category T A is T -continuous.

Proof. Since ( T , m e , ) is saturated, it follows that for every Q -category A , there is a string of adjoint Q -functors

/d47

$$\mathcal { T } e _ { A } \dashv \mathfrak { m } _$$

/d47

which entails that T A is T -continuous.

3.4. Proposition. Let T be a saturated class of weights on Q Cat -. Then, in the category T -Alg , every retract of a T -continuous T -algebra is T -continuous.

/d47

Proof. Suppose that B is a T -continuous T -algebra; s : A B and r : B A are T -homomorphisms such that r ◦ s = 1 A . We claim that t A := T r ◦ t B ◦ s is left adjoint to sup A , hence A is T -continuous. On one hand,

/d47

/d47

/d47

$$\begin{array} {$$

On the other hand,

$$t _ { A } \circ \sup _ { A } & = \mathcal { T } r$$

Thus, t A is left adjoint to sup A , as desired.

- 3.5. Corollary. Let T be a saturated class of weights. Then, a T -algebra A is T -continuous if and only if it is a retract of T A in T -Alg .

Letting T = P in Definition 3.2 we obtain the notion of completely distributive Q -categories. Explicitly,

- 3.6. Definition. [29] A Q -category A is said to be completely distributive (or, totally continuous) if it is a P -continuous P -algebra; that is, if A is separated and there exists a string of adjoint Q -functors

/d47

$$\mathfrak { t } _ { A } \dashv \sup _ { A } \dashv y _ { A } \colon A \longrightarrow \mathcal { P } A.$$

/d47

- 3.7. Proposition. A complete Q -category A is completely distributive if and only if it is a retract of some power of ( Q , d L ) in Q Sup -.

Proof. For each set X , the power ( Q , d L ) X (see Example 2.1) in Q Sup -is clearly the Q -category P X when X is viewed as a discrete Q -category (defined in an evident way). So, sufficiency follows from propositions 3.3 and 3.4. Necessity follows from the observation that a completely distributive Q -category A is a retract of P A which is a retract of P| A | , where | A | is the discrete Q -category with the same objects as those of A .

3.8. Definition. [18] A separated complete Q -category A is completely co-distributive if there exists a string of adjoint Q -functors:

/d47

$$\gamma _ { A } ^ { \dagger } \dashv \inf _ { A } \dashv t _ { A } ^ { \dagger } \colon A \longrightarrow \mathcal { P } ^ { \dagger } A.$$

/d47

It is not hard to see that a Q -category A is completely co-distributive if and only if A op , the opposite of A given by A op ( x, y ) = A y, x ( ), is completely distributive. Since ( P † , s † , y † ) is a co-KZ-doctrine on Q Cat -, for each Q -category A , the Q -category P † A is easily verified to be completely co-distributive. It is known in lattice theory that the notion of complete distributivity is self dual, i.e., a complete lattice is completely distributive if and only if so is its opposite, see e.g. [12, VII.1.10]. But, this is not always true for Q -categories. In fact, it is proved in [18, Theorem 8.2] that for an integral quantale Q , every completely distributive Q -category is completely co-distributive if and only if Q satisfies the law of double negation. So, complete distributivity and complete co-distributivity are no longer equivalent concepts for quantale-enriched categories.

## 4. Continuous quantale-enriched categories

In order to define continuous Q -categories, the first step is to find for Q -categories an analogue of ideals (= directed lower sets) in a partially ordered set and/or ind-objects in a locally small category. Forward Cauchy weights will play the role.

Let A be a Q -category. A net in A is a map x from a directed set ( E, ≤ ) to A . It is customary to write x λ for x λ ( ) and to write { x λ } λ for the net.

4.1. Definition. [3, 6, 33] Let A be a Q -category. A net { x λ } λ in A is called forward Cauchy if

$$\bigvee _ { \lambda \ \gamma \geq \mu \geq \lambda } A ( x _ { \mu }, x _ { \gamma } ) \geq k.$$

/d47

/d47

$$\Pi w a u & \underset { \lambda \ \lambda \leq \mu } { \text{auxity in} } \\ \phi & = \bigvee _ { \lambda \ \lambda \leq \mu } A ( -, x _ { \mu } ) \\ \psi \, \iota _ { \cdot } \, \text{in} \ \ A$$

A weight φ : A ◦ /star is called forward Cauchy if for some forward Cauchy net { x λ } λ in A .

Let { x λ } λ be a forward Cauchy net in a Q -category A . An element x ∈ A is called a liminf (a.k.a. Yoneda limit) [3, 33] of { x λ } λ , if for all y ∈ A ,

$$\int \lfloor \sigma, \, \varpi \rfloor \, \varphi \, \{ x _ { \lambda } \} _ { \lambda }, \, \i \, \i \, \varphi \, \alpha \, \i \, y \in A, \\ A ( x, y ) = \bigvee _ { \lambda \ \mu \geq \lambda } A ( x _ { \mu }, y ). \\ \intertext { w a i c e a d } \, \mathcal { C } _ { \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha } \, \mathcal { C } _ { \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \beta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \igma \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \colon }$$

We say that a Q -category A is forward Cauchy cocomplete (a.k.a. Yoneda complete) if every forward Cauchy net has a liminf. The following conclusion, which is proved in [6, Lemma 46] when Q is a value quantale (see [6, Definition 6]) and in [20, Theorem 5.13] for the general case, implies that a Q -category A is forward Cauchy cocomplete if and only if every forward Cauchy weight of A has a supremum.

- 4.2. Proposition. Let { x λ } λ be a forward Cauchy net in a Q -category A . An element x of A is a liminf of { x λ } λ if and only if x is a supremum of the weight

$$\imath u a & o n u y \ i j \ x \ x s \ a \ s u p r e n u m \\ \phi = \bigvee _ { \lambda \ \mu \geq \lambda } A ( -, x _ { \mu } ). \\ \text{c.c.im} \alpha & \tau \circ \circ \circ \theta \circ \tau \circ \tau$$

We do not know whether assigning to each Q -category A the Q -category of forward Cauchy weights of A gives a saturated class of weights, however, there is an easy-to-check sufficient condition which is presented in [6, 20].

A quantale is said to be continuous if its underlying complete lattice is continuous. The following conclusion is proved in [6, Proposition 13] when Q is a value quantale (which is necessarily integral and continuous) and in [20, Theorem 6.5] for the version stated below.

- 4.3. Proposition. Let Q be an integral and continuous quantale. Then, assigning to each Q -category A the Q -category

$$\mathcal { C } A \coloneqq \{ \phi \in \mathcal { P } A \ | \ \phi \text{ is forward Cauch} y \}$$

defines a saturated class of weights on Q Cat -, which is denoted by C .

- 4.4. Convention. When talking about forward Cauchy weights, if not otherwise specified, we always assume that ( Q , &amp; , k ) is continuous, commutative and integral. For such a quantale, the class C of forward Cauchy weights is saturated and the category of C -algebras and C -homomorphisms is exactly the category of separated and forward Cauchy cocomplete Q -categories and Q -functors that preserve liminf of forward Cauchy nets.

Letting T = C in Definition 3.2 we obtain the notion of continuous Q -categories. Explicitly,

4.5. Definition. [17] A Q -category A is said to be continuous if it is a C -continuous C -algebra; that is, if A is separated and there is a string of adjoint Q -functors:

/d47

$$t _ { A } \dashv \sup _ { A } \dashv \mathbf e _ { A } \colon A \longrightarrow \mathcal { C } A.$$

/d47

When Q is the two-element Boolean algebra { 0 1 , } , a continuous Q -category is exactly a continuous dcpo. It is well-known that a completely distributive lattice is necessarily a continuous lattice, so it is natural to ask:

4.6. Question. Is every completely distributive Q -category continuous in the sense of Definition 4.5?

As we shall see in Section 6, the answer depends on the structure of the truth-values, i.e., the structure of the quantale Q . A sufficient and necessary condition will be given when Q is the interval [0 , 1] equipped with a continuous t-norm.

- 4.7. Proposition. The following statements are equivalent:
- (1) Every completely distributive Q -category is continuous.
- (2) P A is continuous for every Q -category A .

Proof. That (1) implies (2) is trivial. Conversely, let A be a completely distributive Q -category. From Corollary 3.5 it follows that A is a retract of P A in Q Sup -, hence a retract of P A in the category of C -algebras. Since P A is continuous by assumption, then so is A by Proposition 3.4.

Given a cocomplete Q -category A , denote the set of all ideals of the complete lattice ( A, /subsetsqequal ) by Idl ( A ). Since each ideal D of ( A, /subsetsqequal ) can be seen as a forward Cauchy net of A ,

$$\Lambda ( D ) \coloneqq \bigvee _ { d \in D } A ( -, d )$$

is then a forward Cauchy weight. Conversely, given a forward Cauchy weight φ of A ,

$$\Gamma ( \phi ) \coloneqq \{ x \in A \ | \ \phi ( x ) \geq k \}$$

is an ideal of ( A, /subsetsqequal ).

4.8. Proposition. Let A be a separated complete Q -category. Then

/d47

$$\Lambda \, \colon ( \text{Id} I ( A ), \subseteq ) \longrightarrow ( \mathcal { C } A, \leq )$$

/d47

is a left adjoint and a left inverse of

/d47

$$\Gamma \colon ( \mathcal { C } A, \leq ) \longrightarrow ( \text{Id} I ( A ), \subseteq ).$$

/d47

Moreover, sup A φ = ∨ Γ( φ ) for each φ ∈ C A .

Proof. Suppose D is an ideal in ( A, /subsetsqequal ) and φ is a forward Cauchy weight of A . Then

$$D \subseteq \Gamma ( \phi ) \iff \forall d \in D, \phi ( d ) \geq k \iff \Lambda ( D ) \leq \phi,$$

which implies Λ /turnstileright Γ.

Now we check that for each forward Cauchy weight φ of A , ΛΓ( φ ) = φ . On one hand, since Λ is left adjoint to Γ, it follows that ΛΓ( φ ) ≤ φ . On the other hand, by assumption there is a forward Cauchy net { x λ } λ ∈ E in A such that

$$\dot { \psi } ( x ) = \bigvee _ { \lambda \in E } \bigwedge _ { \lambda \leq \mu } A ( x, x _ { \mu } ).$$

Let where ∧ µ ≥ λ x µ denotes the meet of { x µ | µ ≥ λ } in the complete lattice ( A, /subsetsqequal ). Then D φ is a directed subset of ( A, /subsetsqequal ) and φ x ( ) = ∨ d ∈ D φ A x, d , ( ) so D φ ⊆ Γ( φ ), and consequently, φ ≤ ΛΓ( φ ).

$$D _ { \phi } \coloneqq \left \{ \bigwedge _ { \mu \geq \lambda } x _ { \mu } \, | \, \lambda \in E \right \}, \\ \max \in \tau \, \in f ( \pi ) + \dots \times \mathfrak { I } \, \in \tau \, \in \tau \, \in \tau.$$

Finally, we check that sup A φ = ∨ Γ( φ ) for each φ ∈ C A . Since sup A φ = ∨ x ∈ A φ x ( ) ⊗ x , it follows that sup A φ ≥ ∨ Γ( φ ). Conversely, since

$$\Psi _ { A ^ { \tau } } - \tilde { \nu } - \tilde { \nu } ^ { \tau } / \Psi _ { A ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tau } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Phi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { B ^ { \tvarphi } } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psigma _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b ^ { \tvarphi } } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psigma _ { b } \Psigma _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b ^ { \tvarphi } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psu _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b} \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi_ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b } \Psi _ { b }$$

then sup A φ ≤ ∨ Γ( φ ).

4.9. Corollary. Let A, B be separated complete Q -categories and f : A B be a Q -functor. Then, f preserves liminf of forward Cauchy nets if and only if

/d47

/d47

/d47

$$f \, \colon ( A, \square ) \longrightarrow ( B, \square )$$

/d47

is Scott continuous (i.e., preserves directed joins).

4.10. Lemma. For each complete Q -category A , the set C A of forward Cauchy weights of A is closed in Q A (pointwise ordered) under meets and directed joins.

Proof. Let { φ i } i ∈ I be a subset of C A . Then, for all x ∈ A , by continuity of Q we have

Since

$$\int _ { \Omega } \Gamma. \, \L e c \downarrow \psi _ { i } \int _ { i \in I } \in \L a \, \underset { \substack { \Omega \\ \Gamma ( \phi _ { i } ) } } { \vee } \, \sum _ { i \in I } A ( x, d ) = \bigvee _ { i \in I } \bigvee _ { \Gamma ( \phi _ { i } ) } A ( x, s ( i ) ) = \bigvee _ { i \in I } \Gamma ( \phi _ { i } ) \quad \, \sum _ { i \in I } A ( x, \bigwedge \, s ( i ) ). \\ \intertext { S i n c e }$$

$$\left \{ \bigwedge _ { i \in I } s ( i ) \ | \ s \in \prod _ { i \in I } \Gamma ( \phi _ { i } ) \right \} \\ \cdot f o l l o w e t h o t \ \Lambda \dots \emptyset. \text{is a borrow}$$

is a directed set of ( A, /subsetsqequal ), it follows that ∧ i ∈ I φ i is a forward Cauchy weight of A , hence belongs to C A .

Let { φ i } i be a directed set of ( C A, ≤ ). Then { Γ( φ i ) } i is a directed family in ( Idl ( A , ) ⊆ ) and D = ⋃ i Γ( φ i ) is an ideal in ( A, /subsetsqequal ). Since

$$\bigvee _ { d \in D } A ( -, d ) = \bigvee _ { i } \phi _ { i },$$

it follows that ∨ i φ i ∈ C A . Therefore, C A is closed in Q A under meets and directed joins.

- 4.11. Proposition. A separated complete Q -category A is continuous if and only if
- (1) ( A, /subsetsqequal ) is a continuous lattice;
- (2) for each x ∈ A and each forward Cauchy weight φ of A ,

$$A ( x, \sup _ { A } \phi ) = \bigwedge _ { y \ll x } \phi ( y ),$$

where /lessmuch denotes the way below relation (see [7] for definition) in ( A, /subsetsqequal ) .

↦

Proof. Sufficiency follows from the fact that, under the assumption, the assignment x → ∨ y /lessmuch x y ( y ) defines a left adjoint of sup A : C A A .

/d47

/d47

/d47

Now we turn to the necessity. Since C A is closed in Q A under meets and directed joins, it is a continuous lattice since so is Q by our convention. Since ( A, /subsetsqequal ) is a retract of ( C A, /subsetsqequal ) in the category of dcpos by Corollary 4.9, it follows that ( A, /subsetsqequal ) is also a continuous lattice. This proves (1). As for (2), it suffices to check that if A is continuous, then the left adjoint t A : A C A of sup A : C A A is given by t A ( x ) = ∨ y /lessmuch x y ( y ). On one hand, since x = sup A ∨ y /lessmuch x y ( y ), it follows that t A ( x ) ≤ ∨ y /lessmuch x y ( y ). On the other hand, since ∨ Γ( t A ( x )) = sup A t A ( x ) = x by Proposition 4.8, it follows that every element way below x in ( A, /subsetsqequal ) is contained in Γ( t A ( x )), so ∨ y /lessmuch x y ( y ) ≤ t A ( x ).

/d47

/d47

/d47

/d47

4.12. Proposition. Let A be a complete Q -category. If ( A, /subsetsqequal ) is a continuous lattice and for all p ∈ Q , the cotensor p /multimap -: ( A, /subsetsqequal ) ( A, /subsetsqequal ) is Scott continuous, then A is continuous.

/d47

Proof. Since ( A, /subsetsqequal ) is a continuous lattice, A is necessarily separated. So it remains to show that for each x ∈ A and each forward Cauchy weight φ of A ,

$$A ( x, \sup _ { A } \phi ) = \bigwedge _ { y \ll x } \phi ( y ),$$

where /lessmuch denotes the way below relation in ( A, /subsetsqequal ).

On one hand, since { y ∈ A | y /lessmuch x } is a directed set with join x , it follows that ∨ y /lessmuch x y ( y ) is a forward Cauchy weight with supremum x . Thus,

$$\lambda _ { 0 } \lambda _ { 1 } \lambda _ { 2 } \lambda _ { 3 } \lambda _ { 4 } \lambda _ { 5 } \lambda _ { 6 } \lambda _ { 7 } \lambda _ { 8 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \\ A ( x, \sup _ { A } \phi ) \geq \mathcal { C } A \Big ( \bigvee _ { y \ll x } y ( y ), \phi \Big ) = \bigwedge _ { y \ll x } \bigwedge _ { y \ll x } \phi ( y ).$$

On the other hand, for all p ∈ Q ,

$$\text{On the other hand, for all } p \in Q, \\ p \leq A ( x, \sup _ { A } \phi ) & \Longrightarrow x \leq p \to \sup _ { A } \phi \\ & \Longrightarrow x \leq \bigvee _ { d \in \Gamma ( \phi ) } ( p \to d ) & \quad ( \sup _ { A } \phi = \vee \Gamma ( \phi ) ) \\ & \Longrightarrow \forall y \ll x, \exists d \in \Gamma ( \phi ), y \leq p \to d & \quad ( ( A, \Xi ) \text{ is continuous} ) \\ & \Longrightarrow \forall y \ll x, \exists d \in \Gamma ( \phi ), p \leq A ( y, d ) \\ & \Longrightarrow \forall y \ll x, p \leq \bigvee _ { d \in \Gamma ( \phi ) } A ( y, d ) \\ & \Longrightarrow \forall y \ll x, p \leq \phi ( y ) \\ & \Longrightarrow p \leq \bigwedge _ { y \ll x } \phi ( y ), \\ \text{hence } A ( x, \sup _ { A } \phi ) \leq \bigwedge _ { y \ll x } \phi ( y ).$$

hence A x, ( sup A φ ) ≤ ∧ y /lessmuch x φ y ( ).

/d47

4.13. Corollary. Let ( Q , &amp; , k ) be an integral quantale such that the underlying lattice is completely distributive and that for all p ∈ Q , p &amp; -: Q Q preserves filtered meets. Then, for every Q -category A , the Q -category P † A is continuous.

/d47

Proof. This follows immediately from a combination of Example 2.6(2), Proposition 4.12, the fact that the underlying order of P † A is opposite to that inherited from Q A (pointwise ordered) and that P † A is closed in Q A under joins and meets.

Not all completely distributive Q -categories are continuous even when the underlying lattice of Q is the interval [0 , 1], as we shall see in Section 6, so the following conclusion is a bit unexpected.

/d47

- 4.14. Corollary. Let ( Q , &amp; , k ) be an integral quantale such that the underlying lattice is completely distributive and that for all p ∈ Q , p &amp; -: Q Q preserves filtered meets. Then, every completely co-distributive Q -category is continuous.

/d47

/d47

Proof. Since inf : P † A A has both a left adjoint and a right adjoint, A is a retract of P † A , which implies that A is continuous because so is P † A by the above corollary.

/d47

## 5. Relation to distributive law

Related to Question 4.6 a general one is:

- 5.1. Question. Let ( T , m e , ) be a saturated class of weights on Q Cat -. Is every completely distributive Q -category T -continuous?

The answer depends on whether the copresheaf monad ( P † , s † , y † ) distributes over the monad ( T , m e , ). We would like to note that in this section the quantale Q is not assumed to be a continuous one as we have agreed in 4.4 when talking about forward Cauchy weights; that is to say, the results apply to any commutative quantale.

$$U \circ \widetilde { \mathcal { T } } = \mathcal { T } \circ U, \ U \circ \widetilde { \mathfrak { m } } = \mathfrak { m } \circ U, \ U \circ \widetilde { \mathfrak { e } } = \mathfrak { e } \circ U. \\ \mathfrak { \Omega } _ { \text{Inf} } \xrightarrow { \widetilde { \mathcal { T } } } \, \mathfrak { \Omega } _ { \text{Inf} }$$

By a lifting of ( T , m e , ) through the forgetful functor U : Q Inf -Q Cat -we mean a monad ( ‹ ‹ T , m e , ˜ ) on Q Inf -such that

/d47

/d47

/d15

/d15

/d15

/d15

/d47

/d47

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.01106v2-figure-5fd4df40-2277-4a24-b8d7-4549e2687f35.jpg)

/d47

/d47

It is clear that such a lifting of ( T , m e , ) exists if and only if for each separated and complete Q -category A , both e A : A T A and m A : T T A T A are Q Inf -morphisms. Furthermore, such a lifting, when it exists, is necessarily unique since the functor U is injective on objects.

/d47

/d47

/d47

/d47

A distributive law of the monad P † over T is a natural transformation δ : P T † T P † satisfying certain conditions, see e.g. [9, II.3.8]. Since Q Inf -is the category of EilenbergMoore algebras of the copresheaf monad P † , it follows from [9, II.3.8.2] that distributive laws of P † over T correspond bijectively to liftings of ( T , m e , ) through the forgetful functor U . Therefore, distributive laws of P † over T , when they exist, are unique. So in this case we simply say that P † distributes over T . The main result in this section asserts that for a saturated class of weights T on Q Cat -, to require that every completely distributive Q -category is T -continuous is to require that P † distributes over T .

/d47

- 5.2. Theorem. For a saturated class of weights T on Q Cat -, the following statements are equivalent:
- (1) Every completely distributive Q -category is T -continuous.
- (2) The copresheaf monad P † distributes over T .

A lemma first.

- 5.3. Lemma. Let T be a saturated class of weights on Q Cat -. Then, the following statements are equivalent:
- (1) The copresheaf monad P † distributes over T .
- (2) The composite T P † is a monad on Q Cat -.

/d47

- (3) T has a lifting through the forgetful functor U : Q Inf -Q Cat -.

/d47

- (4) For every separated complete Q -category A , T A is a complete Q -category.

/d47

/d47

- (5) For every separated complete Q -category A , the inclusion T A P A has a left adjoint.

Proof. The equivalence (1) ⇔ (2) ⇔ (3) follows immediately from [9, II.3.8.2] and the fact that Q Inf -is the category of Eilenberg-Moore algebras of the monad P † .

- (3) ⇒ (4) Obvious.
- (4) ⇒ (5) By Proposition 2.5, it suffices to check that T A is closed in P A with respect to cotensors and meets. For p ∈ Q and φ ∈ T A , let p /multimap φ be the cotensor of p and φ in T A . Then, for all x ∈ A ,

$$( p \rightarrow \phi ) ( x ) = \mathcal { T } A ( \mathbf e _ { A } ( x ), p \rightarrow \phi ) = p \rightarrow \mathcal { T } A ( \mathbf e _ { A } ( x ), \phi ) = p \rightarrow \phi ( x )$$

by Proposition 2.4 (1), hence T A is closed in P A with respect to cotensors. If φ is the meet of a family φ i in T A , then for all x ∈ A ,

$$\dots \dots \nu _ { 1 } ( \tau ) & = \mathcal { T } A ( \mathbf e _ { A } ( x ), \phi ) = \bigwedge _ { i } \mathcal { T } A ( \mathbf e _ { A } ( x ), \phi _ { i } ) = \bigwedge _ { i } \phi _ { i } ( x ) \\ \dots \dots \dots \dots \tau & = \tau \in \dots \tau \in \dots \dots \dots \tau \end{matrix}$$

by Proposition 2.4 (2), hence T A is closed in P A with respect to meets.

/d47

/d47

/d47

/d47

/d47

/d47

/d47

(5) ⇒ (3) For each object A in Q Inf -, since P A is complete and T A is a retract of P A in Q Cat -, it follows from Proposition 3.1 that T A is complete. For each morphism f : A B in Q Inf -, let g : B A be the left adjoint of f . Then, P f : P A P B is right adjoint to P g : P B P A , so T f : T A T B is a right adjoint because T is a subfunctor of P . Therefore, the assignment

/d47

/d47

/d47

$$\widetilde { \mathcal { T } } A \coloneqq \mathcal { T } A \\ \intertext { T o s e e t h a t. }$$

/d47

/d47

/d47

/d47

/d47

gives rise to an endofunctor on Q Inf -. To see that ‹ T is a lifting of T through the forgetful functor U , it remains to check that for each separated complete Q -category A , both e A : A T A and m A : T T A A are right adjoints. First, since A is separated and cocomplete, it is a T -algebra, so e A is right adjoint to sup A : T A A . Second, since T is a KZ-doctrine, it follows that m A is both a left and a right adjoint.

/d47

/d47

/d47

/d47

/d47

Proof of Theorem 5.2. (1) ⇒ (2) By Lemma 5.3, it suffices to show that for each complete Q -category A , the inclusion functor T A P A has a left adjoint. Since P A is completely distributive, then, by assumption, the left adjoint sup P A : T P A P A of e P A : P A T P A has a left adjoint, say, t P A : P A T P A . Since A is cocomplete, the Yoneda embedding y A : A P A has a left adjoint s A : P A A . Since any 2functor preserves adjunctions, it follows that T s A : T P A T A is left adjoint to T y A : T A T P A . Thus, T s A ◦ t P A : P A T A is left adjoint to sup P A ◦T y A : T A P A . Since T is a submonad of P , then

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

$$\sup _ { \mathcal { P } A } \circ \mathcal { T } \mathcal { Y } _ { A } ( \phi ) = \mathbf s _ { \mathcal { P } A } \circ \mathcal { P } \mathcal { Y } _ { A } ( \phi ) = \phi$$

/d47

for all φ ∈ T A . Therefore, the inclusion functor T A P A , which coincides with sup P A ◦ T y A , has a left adjoint, given by T s A ◦ t P A .

/d47

/d47

/d47

/d47

/d47

(2) ⇒ (1) Let A be a completely distributive Q -category. Since P † distributes over T , it follows from Lemma 5.3 that the inclusion T A P A has a left adjoint. Then, the composite of the left adjoint of s A : P A A with the left adjoint of the inclusion T A P A is a left adjoint of sup A : T A A , so A is T -continuous.

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

- 5.4. Remark. Putting T = P in Theorem 5.2 one obtains that P † distributes over P , as has already been pointed out in [19, 31].
- 5.5. Proposition. If T is a saturated class of weights over which P † distributes, then for each separated Q -category A , the following statements are equivalent:

/d47

- (1) A is a ‹ T -algebra, where ‹ T is the lifting of T through the forgetful functor Q Inf -Q -Cat .

/d47

- (2) A is a T P † -algebra.
- (3) A is a complete and T -continuous Q -category.

/d47

/d47

Proof. The equivalence (1) ⇔ (2) is a special case of a general result in category theory, see e.g. [9, II.3.8.4]. It remains to check (1) ⇔ (3). If A is a ‹ T -algebra, then e A : A T A has a left adjoint sup A : T A A which is also a morphism in Q Inf -. This means that sup A has a left adjoint, so A is T -continuous. Conversely, let A be a complete and T -continuous Q -category. Then, T A is complete by Lemma 5.3, so the string of adjoint Q -functors

/d47

/d47

/d47

$$t _ { A } \dashv \sup _ { A } \dashv e _ { A } \colon A \longrightarrow \mathcal { T } A,$$

/d47

ensures that sup A is a morphism in Q Inf -and consequently, A is a ‹ T

-algebra.

- 5.6. Corollary. For each saturated class of weights T on Q Cat -, let T -Cont denote the category that has as objects complete and T -continuous Q -categories and has as morphisms those Q -functor that are right adjoints and T -homomorphisms. If P † distributes over T , then T -Cont is monadic over Q Cat -.

## 6. The main result

/d47

A continuous t-norm [15] is a continuous map &amp; : [0 , 1] 2 [0 , 1] that makes ([0 , 1] , &amp; 1) , into a commutative quantale. Given a continuous t-norm &amp;, the quantale Q = ([0 , 1] , &amp; 1) , is clearly integral and continuous. We record here a simple fact for later use: for any x and y in [0 , 1], x is way below y (i.e., x /lessmuch y ) if either x = 0 or x &lt; y .

/d47

- 6.1. Example. Some basic continuous t-norms and their implications:
- (1) The G¨ odel t-norm:

$$\cdot _ { \text{norm} \colon } & & \\ x \, \& \, y = \min \{ x, y \}, \quad x \to y = \begin{cases} 1, & x \leq y, \\ y, & x > y. \end{cases} \\ \intertext { \text{ion} \to of the $\check{Model} \, t-norm\, is continuous except at $(x,x)$,}$$

The implication → of the G¨del t-norm is continuous except at ( o x, x ), x &lt; 1.

- (2) The product t-norm:

$$\text{norm} \colon & \\ x \, \& _ { P } \, y = x y, \quad x \to y = \begin{cases} 1, & x \leq y, \\ y / x, & x > y. \end{cases}$$

The implication → of the product t-norm is continuous except at (0 , 0). The quantale ([0 , 1] , &amp; P , 1) is isomorphic to Lawvere's quantale ([0 , ∞ ] op , + 0) [21]. ,

## (3) The /suppress Lukasiewicz t-norm:

$$x \, \& _ { \L } y = \max \{ 0, x + y - 1 \}, \ \ x \to y = \min \{ 1 - x + y, 1 \}.$$

The implication → of the /suppress Lukasiewicz t-norm is continuous on [0 , 1] 2 .

Let &amp; be a continuous t-norm. An element p ∈ [0 , 1] is said to be idempotent if p &amp; p = p .

- 6.2. Proposition. ([15, Proposition 2.3]) Let &amp; be a continuous t-norm on [0 , 1] and p be an idempotent element of &amp; . Then x &amp; y = min { x, y } whenever x ≤ p ≤ y .

It follows immediately that y → x = x whenever x &lt; p ≤ y for some idempotent p . Another consequence of Proposition 6.2 is that for any idempotent elements p, q with p &lt; q , the restriction of &amp; to [ p, q ], which is also denoted by &amp;, makes [ p, q ] into a commutative quantale with q being the unit element. The following theorem is of fundamental importance in the theory of continuous t-norms.

- 6.3. Theorem. ([15, 24]) Let &amp; be a continuous t-norm. If a ∈ [0 , 1] is non-idempotent, then there exist idempotent elements a -, a + ∈ [0 , 1] such that a -&lt; a &lt; a + and that the quantale ([ a -, a + ] , &amp; , a + ) is isomorphic to either ([0 , 1] , &amp; /suppress L , 1) or ([0 , 1] , &amp; P , 1) . Conversely, for each set of disjoint open intervals { ( a , b n n ) } n of [0 , 1] , the binary operator

$$\text{versely, for each set of disjoint open intervals} \{ ( a _ { n }, b _ { n } ) \} _ { n } \text{ of } \bar { [ 0, 1 ] }, \text{ the binary operator} \\ x \, \& \, y \coloneqq \begin{cases} a _ { n } + ( b _ { n } - a _ { n } ) T _ { n } \left ( \frac { x - a _ { n } } { b _ { n } - a _ { n } }, \frac { y - a _ { n } } { b _ { n } - a _ { n } } \right ), & ( x, y ) \in [ a _ { n }, b _ { n } ] ^ { 2 }, \\ \min \{ x, y \}, & \text{otherwise} \end{cases} \\ \text{is a continuous $t$-norm, where each $T_{n}$ is a continuous $t$-norm on $[0,1]$}. \\ \text{let $\ell$ has a continuous $t$-norm and $\Delta - (\Delta - 1] \, \&rq \, 1 \, \text{ } \text{tion from Probation } \Delta \, 2 \, \text{w}$$

Let &amp; be a continuous t-norm and Q = ([0 1] , , &amp; 1). , Then from Proposition 4.3 we obtain that the class C of forward Cauchy weights is saturated. Now we present the main result in this paper.

- 6.4. Theorem. Let &amp; be a continuous t-norm and Q = ([0 , 1] , &amp; 1) , . Then the following statements are equivalent:
- (1) Every completely distributive Q -category is continuous.
- (2) The Q -category ([0 , 1] , d L ) is continuous.
- (3) For each non-idempotent element a ∈ [0 , 1] , the quantale ([ a -, a + ] , &amp; , a + ) is isomorphic to ([0 , 1] , &amp; P , 1) whenever a -&gt; 0 .

/d47

- (4) The implication → : [0 , 1] 2 [0 , 1] is continuous at every point off the diagonal { ( x, x ) | x ∈ [0 , 1] } .

/d47

/d47

- (5) For each p ∈ (0 , 1] , the map p →-: [0 , 1] [0 , 1] is Scott continuous on [0 , p ) .

/d47

/d47

- (6) For every complete Q -category A , the inclusion C A P A has a left adjoint.

/d47

- (7) P † distributes over C .

Proof. (1) ⇒ (2) Obvious.

(2) ⇒ (3) By Proposition 4.11, if the Q -category ([0 , 1] , d L ) is continuous, then for each x ∈ [0 , 1] and each forward Cauchy weight φ of ([0 , 1] , d L ),

$$x \to \sup \phi = \bigwedge _ { y \ll x } \phi ( y ).$$

Now, suppose on the contrary that there exist idempotent elements p, q &gt; 0 such that ([ p, q , ] &amp; , q ) is isomorphic to ([0 , 1] , &amp; /suppress L 1). Let , φ be the forward Cauchy weight ∨ r&lt;p y ( r ). Then for all x ∈ ( p, q ),

$$\text{Then for all } x \in ( p, q ), \\ \bigwedge _ { y \ll x } \phi ( y ) & = \bigwedge _ { y < x } \bigvee ( y \to r ) & ( x > 0 ) \\ & = \bigwedge _ { p \leq y < x } \bigvee ( y \to r ) & ( y \to r = 1 \text{ whenever } y \leq r ) \\ & = \bigvee _ { r < p } r & ( y \to r = r \text{ since } r < p \leq y ) \\ & = p. \\ \text{D.\dots \, \underset { \sim } { \sim } \, \text{$(\leftarrow$ - all \circ \, \cdot$ - \, \sum \, \cdot$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ \, \colon$ }$$

But, since ([ p, q , ] &amp; , q ) is isomorphic to ([0 , 1] , &amp; /suppress L 1), it follows that ,

$$x \rightarrow \sup \phi = x \rightarrow p > p$$

whenever p &lt; x &lt; q , a contradiction.

- (3) ⇒ (4) Routine verification.
- (4) ⇒ (5) Trivial.

(5) ⇒ (6) It suffices to show that for every complete Q -category A , C A is closed in P A under meets and cotensors. That C A is closed in P A under meets is ensured by Lemma 4.10. To see that C A is closed in P A under cotensors, for p ∈ [0 , 1] and φ ∈ C A , set

$$D \coloneqq \{ d \in A \ | \ p \leq \phi ( d ) \}.$$

Then D is a directed set of ( A, /subsetsqequal ). We claim that { p /multimap y | y ∈ Γ( φ ) } ⊆ D . In fact, since φ = ∨ z ∈ Γ( φ ) A ( -, z ), it follows that for all y ∈ Γ( φ ),

$$z ), \, \intertext { n o l o w s u n a r o r } p \to \phi ( p \to y ) & = p \to \bigvee _ { z \in \Gamma ( \phi ) } A ( p \to y, z ) \\ & \geq p \to A ( p \to y, y ) \\ & = A ( p \to y, p \to y ) \\ & = 1,$$

hence p /multimap y ∈ D . Let

$$\rho \coloneqq \bigvee _ { d \in D } A ( -, d ).$$

Since ρ is a forward Cauchy weight, it suffices to show that p → φ = ρ . That ρ ≤ p → φ is clear. It remains to check that p → φ x ( ) ≤ ρ x ( ) for all x ∈ A . If p ≤ φ x ( ), then x ∈ D and

$$\rho ( x ) = \bigvee _ { d \in D } A ( x, d ) \geq A ( x, x ) = 1.$$

If p &gt; φ x ( ), then

$$\text{If } p > \phi ( x ), \text{ then } \\ p \to \phi ( x ) & = p \to \bigvee _ { y \in \Gamma ( \phi ) } A ( x, y ) \\ & = \bigvee _ { y \in \Gamma ( \phi ) } ( p \to A ( x, y ) ) \quad \left ( \bigvee _ { y \in \Gamma ( \phi ) } A ( x, y ) = \phi ( x ) < p \right ) \\ & = \bigvee _ { y \in \Gamma ( \phi ) } A ( x, p \to y ) \\ & \leq \bigvee _ { d \in D } A ( x, d ) \\ & = \rho ( x ). \\ ( 6 ) \Rightarrow ( 7 ) \text{ Lemma } 5. 3.$$

- (6) ⇒ (7) Lemma 5.3.
- (7) ⇒ (1) Theorem 5.2.

/d47

By the ordinal sum decomposition theorem, the map &amp; : [0 1] , 2 [0 , 1], given by

/d47

$$x \, \& y \coloneqq \begin{cases} 1 / 2 + \max \{ x + y - 3 / 2, 0 \}, & ( x, y ) \in [ 1 / 2, 1 ] ^ { 2 }, \\ \min \{ x, y \}, & \text{otherwise}, \end{cases} \\ \text{ntinuous} \, t \text{-norm. Since the restriction of } & \& \, \text{on} \, [ 1 / 2, 1 ] \, \text{is} \, \text{isomorphic to the Luka} \\ \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 \end{cases}$$

is a continuous t-norm. Since the restriction of &amp; on [1 / 2 1] is isomorphic to the /suppress ukasiewicz , L t-norm, it follows that for the quantale Q = ([0 1] , , &amp; 1), the completely distributive , Q -category ([0 , 1] , d L ) is not continuous.

- 6.5. Remark. A continuous t-norm &amp; is said to be Archimedean if it has no idempotent elements other than 0 and 1 [15]. It is known that an Archimedean continuous t-norm is isomorphic to either the product t-norm or the /suppress Lukasiewicz t-norm. If Q = ([0 1] , , &amp; 1) , with &amp; being a continuous Archimedean t-norm, then the converse conclusion of Proposition 4.12 is also true. That means, if a complete Q -category A is continuous, then for each p ∈ [0 , 1], the map

/d47

$$p \rightarrow - \colon ( A, \Xi ) \longrightarrow ( A, \Xi )$$

/d47

is Scott continuous. Given a directed set D of ( A, /subsetsqequal ), let

$$\phi \coloneqq \bigvee _ { d \in D } A ( -, d ).$$

Since &amp; is Archimedean, the map

/d47

/d47

$$p \rightarrow - \, \colon [ 0, 1 ] \longrightarrow [ 0, 1 ]$$

is continuous for all p ∈ [0 , 1]. It follows from the argument of (5) ⇒ (6) in Theorem 6.4 that p → φ ∈ C A and it is the cotensor of p with φ in C A . Therefore,

$$\infty \text{remove in $p\leq \{ \mathcal { A }$ and it is the cotensor of $p$ with $\phi$ in $\mathcal{C}$}. \text{Therefore}, \\ p \to \emptyset \bigvee D & = p \to \sup _ { A } \phi \\ & = \sup _ { A } ( p \to \phi ) \quad \quad \quad ( \sup _ { A } \text{ is a right adjoint} ) \\ & = \sup _ { A } \bigvee ( p \to A ( -, d ) ) \quad \quad ( p \to - \text{ is continuous} ) \\ & = \sup _ { A } \bigvee _ { d \in D } A ( -, p \to d ) \quad \quad ( \text{definition of cotensor} ) \\ & = \bigvee _ { d \in D } p \to d. \\ \text{References}$$

## References

- [1] J. Ad´mek, F. W. Lawvere, J. Rosick´, Continuous categories revisited, a y Theory and Applications of Categories 11: 252-282, 2003.
- [2] M. H. Albert, G. M. Kelly, The closure of a class of colimits, Journal Pure and Applied Algebra 51: 1-17, 1998.
- [3] M. Bonsangue, F. van Breugel, J. Rutten, Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding, Theoretical Computer Science 193: 1-51, 1998.
- [4] F. Borceux, Handbook of Categorical Algebra, Volume 2 , Cambridge University Press, 1994.
- [5] B. Fawcett, R. J. Wood, Constructive complete distributivity, Mathematical Proceedings of the Cambridge Philosophical Society 107: 81-89, 1990.
- [6] R. C. Flagg, P. S¨nderhauf, K. R. Wagner, A logical approach to quantitative domain u theory, Topology Atlas, Preprint 23, 1996.
- [7] G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott, Continuous Lattices and Domains , volume 93 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 2003.
- [8] D. Hofmann, Duality for distributive spaces, Theory and Applications of Categories 28: 66-122, 2013.
- [9] D. Hofmann, G. J. Seal, 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.
- [10] D. Hofmann, P. Waszkiewicz, Approximation in quantale-enriched categories, Topology and its Applications 158: 963-977, 2011.

- [11] D. Hofmann, P. Waszkiewicz, A duality of quantale-enriched categories, Journal of Pure and Applied Algebra 216: 1866-1878, 2012.
- [12] P. Johnstone, Stone Spaces , Cambridge University Press, 1982.
- [13] P. Johnstone, A. Joyal, Continuous categories and exponentiable toposes, Journal of Pure and Applied Algebra 25: 255-296, 1982.
- [14] G. M. Kelly, V. Schmitt, Notes on enriched categories with colimits of some class, Theory and Applications of Categories 14: 399-423, 2005.
- [15] E. P. Klement, R. Mesiar, E. Pap, Triangular Norms , volume 8 of Trends in Logic, Springer, Dordrecht, 2000.
- [16] A. Kock, Monads for which structures are adjoint to units, Journal of Pure and Applied Algebra 104: 41-59, 1995.
- [17] M. Kostanek, P. Waszkiewicz, The formal ball model for L -categories, Mathematical Structures in Computer Science 21: 41-64, 2011.
- [18] H. Lai, L. Shen, Regularity vs. constructive complete (co)distributivity, Theory and Applications of Categories 33: 492-522, 2018.
- [19] H. Lai, L. Shen, W. Tholen, Lax distributive laws for topology II, Theory and Applications of Categories 32: 736-768, 2017.
- [20] H. Lai, D. Zhang, Complete and directed complete Ω-categories, Theoretical Computer Science 388: 1-25, 2007.
- [21] F. W. Lawvere, Metric spaces, generalized logic and closed categories, Rendiconti del Seminario Mat´ ematico e Fisico di Milano XLIII: 135-166, 1973.
- [22] R. B. Lucyshyn-Wright, Totally distributive toposes, Journal of Pure and Applied Algebra 216: 2425-2431, 2012.
- [23] F. Marmolejo, R. Rosebrugh, R. Wood, Completely and totally distributive categories, Journal of Pure and Applied Algebra 216: 1775-1790, 2012.
- [24] P. S. Mostert, A. L. Shields, On the structure of semigroups on a compact manifold with boundary, Annals of Mathematics , 65: 117-143, 1957.
- [25] Q. Pu, D. Zhang, Categories enriched over a quantaloid: Algebras, Theory and Applications of Categories 30: 751-774, 2015.
- [26] K. I. Rosenthal, Quantales and their Applications , volume 234 of Pitman research notes in mathematics series, Longman, Harlow, 1990.

- [27] I. Stubbe, Categorical structures enriched in a quantaloid: categories, distributors and functors, Theory and Applications of Categories 14: 1-45, 2005.
- [28] I. Stubbe, Categorical structures enriched in a quantaloid: tensored and cotensored categories, Theory and Applications of Categories 16: 283-306, 2006.
- [29] I. Stubbe, Towards 'dynamic domains': Totally continuous cocomplete Q -categories, Theoretical Computer Science 373: 142-160, 2007.
- [30] I. Stubbe, 'Hausdorff distance' via conical cocompletion, Cahiers de Topologie et G´ eom´trie Diff´rentielle Cat´goriques e e e 51: 51-76, 2010.
- [31] I. Stubbe, The double power monad is the composite power monad, Fuzzy Sets and Systems 313: 25-42, 2017.
- [32] K. R. Wagner, Solving Recursive Domain Equations with Enriched Categories , PhD thesis, Carnegie Mellon University, Pittsburgh, 1994.
- [33] K. R. Wagner, Liminf convergence in Ω-categories, Theoretical Computer Science 184: 61-104, 1997.
- [34] R. J. Wood, Ordered sets via adjunctions, in: Categorical Foundations , volume 97 of Encyclopedia of Mathematics and its Applications, pp. 5-47, Cambridge University Press, Cambridge, 2004.
- [35] V. Z¨ oberlein, Doctrines on 2-categories, Mathematische Zeitschrift 148: 267-279, 1976.

School of Mathematics, Sichuan University, Chengdu 610064, China

Email: hllai@scu.edu.cn dxzhang@scu.edu.cn
Hongliang Lai Dexue Zhang
Completely distributive enriched categories are not always continuous
In contrast to the fact that every completely distributive lattice is
necessarily continuous in the sense of Scott, it is shown that complete
distributivity of a category enriched over the closed category obtained by
endowing the unit interval with a continuous t-norm does not imply its
continuity in general. Necessary and sufficient conditions for the implication
are presented.