In this paper, we study the category of quantale-valued preordered spaces. We show that it is a normalized topological and give characterization zero-dimensionality D-connectedness in Moreover, characterize explicitly each T0, T1, pre-T2, T2 NT2 Finally, examine how these are related to other full subcategory Ti(pre-T2(L-Prord)) (i=0,1,2) pre-T2(L-Prord), Ti (L-Prord) (i=1,2) L-Prord isomorphic.

This article is concerned with Alexandroff L-topological spaces and L-co-topological spaces, where L is a commutative, unital quantale. On one hand, an example is given to show that there is a finite strong L-topological space that is not Alexandroff. On the other hand, it is proved that every finite strong L-co-topological space is Alexandroff and that the category of Alexandroff strong L-co-t...

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 ...

Taking advantage of the quantale-theoretic description \'etale groupoids we study principal bundles, Hilsum-Skandalis maps, and Morita equivalence in terms modules on inverse quantal frames. The Hilbert module quantale sheaves leads naturally to a formulation bimodules that resemble imprimitivity C*-algebras.

(Q,≦,∨) is a complete join semilattice (Q,・,e) is a monoid (∨S)・a=∨{b・a | b∈S} for a∈Q, S⊆Q a・(∨S)=∨{a・b | b∈S} for a∈Q, S⊆Q 2 Background: An Example of Quantale (Rel(A),≦,∨,・,e) is a quantale where Rel(A) is the set of all binary relations on A ≦ is the inclusion ∨ is the union ・ is the composition Q・R={ (a,c) | ∃b. (a,b)∈Q, (b,c)∈R } e is the identity relation 3 Our Goal: Relational Represent...