Within the categoryW of archimedean lattice-ordered groups with weak order unit, we show that the objects of the form C (L), the set of continuous real-valued functions on a locale L, are precisely those which are divisible and complete with respect to a variant of uniform convergence, here termed indicated uniform convergence. We construct the corresponding completion of aW-object A purely alg...

This paper presents characterizations of M-fuzzifying matroids bymeans of two kinds of fuzzy operators, called M-fuzzifying derived operatorsand M-fuzzifying difference derived operators.

5 Goguen’s category of V-sets whose objects are functions with values in a pre-ordered set and morphisms are suitable maps is shown to be a topological construct if and only if the pre-ordered set is a complete lattice; in particular the category Set(L) of L-sets, 7 also considered by Goguen, is topological over Set. The special case when the considered pre-ordered set is L with the “mapping to...

With the ever growing use of XML as a data representation format, we see an increasing need for robust, high performance XML database systems. While most of the recent work focuses on efficient XML query processing, XML databases also need to support efficient updates. To speed up query processing, various labeling schemes have been proposed. However, the vast majority of these schemes have poo...

We explore the distinction between convergence and absolute convergence of series in both Archimedean and non-Archimedean ordered fields and find that the relationship between them is closely connected to sequential (Cauchy) completeness.

This paper presents the concepts of $(L,M)$-fuzzy Q-convergence spaces and stratified $(L,M)$-fuzzy Q-convergence spaces. It is shown that the category of stratified $(L,M)$-fuzzy Q-convergence spaces is a bireflective subcategory of the category of $(L,M)$-fuzzy Q-convergence spaces, and the former is a Cartesian-closed topological category. Also, it is proved that the category of stratified $...

The intersection of all two-sided ideals of an ordered semigroup, if it is non-empty, is called the kernel of the ordered semigroup. A left ideal L of an ordered semigroup (S, ·,≤) having a kernel I is said to be simple if I is properly contained in L and for any left ideal L′ of (S, ·,≤), I is properly contained in L′ and L′ is contained in L imply L′ = L. The notions of simple right and two-s...