in this work, we describe an adjunction between the comma category of set-based monads under the v -powerset monad and the category of associative lax extensions of set-based monads to the category of v -relations. in the process, we give a general construction of the kleisli extension of a monad to the category of v-relations.

employing the notions of the strong $l$-topology introduced by zhangand the $l$-frame introduced by yao  and the concept of $l$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf st$l$-top} of strong$l$-topological spaces, {bf s$l$-loc} of strict $l$-locales and{bf $l$-entopsys} of $l$-enriched topological systems. all of theseconcepts are ...

Generalising Nachbin's theory of ``topology and order'', in this paper we   continue the study of quantale-enriched categories equipped with a compact   Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces   with ultrafilter-quantale-enriched categories, and show that the presence of a   compact Hausdorff topology guarantees Cauchy completeness and (suitably   defined) ...

In this paper we provide a common framework for different stratified $LM$-convergence spaces introduced recently. To this end, we slightly alter the definition of a stratified $LMN$-convergence tower space. We briefly discuss the categorical properties and show that the category of these spaces is a Cartesian closed and extensional topological category. We also study the relationship of our cat...

We develop the homotopy theory of Euler characteristic (magnitude) of a category enriched in a monoidal model category. If a monoidal model category V is equipped with an Euler characteristic that is compatible with weak equivalences and fibrations in V, then our Euler characteristic of V-enriched categories is also compatible with weak equivalences and fibrations in the canonical model structu...

We investigate /xpoint operators for domain equations. It is routine to verify that if every endofunctor on a category has an initial algebra, then one can construct a /xpoint operator from the category of endofunctors to the category. That construction does not lift routinely to enriched categories, using the usual enriched notion of initiality of an endofunctor. We show that by embedding the ...

In this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.