Title. Weakly meet sZ-continuity and $\delta$Z-continuity
Download
Abstract. Based on the concept of weakly meet sZ-continuouity put forward by Xu and Luo in [13], we further prove that if the subset system Z satisfies certain conditions, a poset is sZ-continuous if and only if it is weakly meet sZ-continuous and sZ-quasicontinuous, which improves a related result given by Ruan and Xu in [10]. Meanwhile, we provide a characterization for the poset to be weakly meet sZ-continuous, that is, a poset with a lower hereditary Z-Scott topology is weakly meet sZ-continuous if and only if it is locally weakly meet sZ-continuous. In addition, we introduce a monad on the new category POSETδ and characterize its Eilenberg-Moore algebras concretely.
Title.Quasiexact posets and the moderate meet-continuity
Download
Abstract. The study of weak domains and quasicontinuous domains leads to the consideration of two types generalizations of domains. In the current paper, we define the weak way-below relation between two nonempty subsets of a poset and quasiexact posets. We prove some connections among quasiexact posets, quasicontinuous domains and weak domains. Furthermore, we introduce the weak way-below finitely determined topology and study its links to Scott topology and the weak way-below topology first considered by Mushburn. It is also proved that a dcpo is a domain if it is quasiexact and moderately meet continuous with the weak way-below relation weakly increasing.
Title.Representations of domains via generalized spaces
Download
Abstract. Representations of domains mean in a general way representing a domain as a suitable family endowed with set-inclusion order of some mathematical structures. In this paper, representations of domains via generalized approximation spaces are concerned. Concepts of CF-approximation spaces and CF-closed sets are introduced. It is proved that the family of CF-closed sets in a CF-approximation space endowed with set-inclusion order is a continuous domain and that every continuous domain is isomorphic to the family of CF-closed sets of some CF-approximation space endowed with set-inclusion order. From categorical aspect, the concept of CF-approximation relations is introduced. It is proved that the category of CF-approximation spaces and CF-approximation relations is equivalent to the category of continuous domains and Scott continuous maps.
Title.Strongly continuous domains
Download
Abstract. Strong Scott topology introduced by X. Xu and D. Zhao is a kind of new topology which is finer than upper topology and coarser than Scott topology. Inspired by the topological characterizations of continuous domains and hypercontinuous domains, we introduce the concept of strongly continuous domains and investigate some properties of strongly continuous domains. In particular, we give the definition of strong way-below relation and obtain a characterization of strongly continuous domains via the strong way-below relation. We prove that the strong way-below relation on a strongly continuous domain satisfies the interpolation property, and clarify the relationship between strongly continuous domains and continuous domains, and the relationship between strongly continuous domains and hypercontinuous domains. We discuss the properties of strong Scott topology and strong Lawson topology, which is the common refinement of the strong Scott topology and the lower topology, on a strongly continuous domain.
Title.$SI_2$-quasicontinuous spaces
Download
Abstract. In this paper, as a common generalization of $SI_{2}$-continuous spaces and $s_{2}$-quasicontinuous posets, we introduce the concepts of $SI_{2}$-quasicontinuous spaces and $\mathcal{GD}$-convergence of nets for arbitrary topological spaces by the cuts. Some characterizations of $SI_{2}$-quasicontinuity of spaces are given. The main results are: (1) a space is $SI_{2}$-quasicontinuous if and only if its weakly irreducible topology is hypercontinuous under inclusion order; (2) A $T_{0}$ space $X$ is $SI_{2}$-quasicontinuous if and only if the $\mathcal{GD}$-convergence in $X$ is topological.
Title.One-step closure, weak one-step closure and meet continuity
Download
Abstract. This paper studies the weak one-step closure and one-step closure properties concerning the structure of Scott closures. We deduce that every quasicontinuous domain has weak one-step closure and show that a quasicontinuous poset need not have weak one-step closure. We also constructed a non-continuous poset with one-step closure, which gives a negative answer to an open problem posed by Zou et al.. Finally, we investigate the relationship between weak one-step closure property and one-step closure property and prove that a poset has one-step closure if and only if it is meet continuous and has weak one-step closure.
Title.A Hofmann-Mislove theorem for $c$-well-filtered spaces
Download
Abstract. The Hofmann-Mislove theorem states that in a sober space, the nonempty Scott open filters of its open set lattice correspond bijectively to its compacts saturated sets. In this paper, the concept of $c$-well-filtered spaces is introduced. We show that a retract of a $c$-well-filtered space is $c$-well-filtered and a locally Lindel\"{o}f and $c$-well-filtered $P$-space is countably sober. In particular, we obtain a Hofmann-Mislove theorem for $c$-well-filtered spaces.
Title.Quantaloid completions of order-enriched categories and their applications
Download
Abstract. By introducing the concept of quantaloid completions for an order-enriched category, relationships between the category of quantaloids and the category of order-enriched categories are studied. It is proved that quantaloid completions for an order-enriched category can be fully characterized as compatible quotients of the power-set completion. As applications, we show that a special type of injective hull of an order-enriched category is the MacNeille completion; the free quantaloid over an order-enriched category is the Down-set completion.
Title. Further studies on open well-filtered spaces
Download
Abstract. The open well-filtered spaces were introduced by Shen, Xi, Xu and Zhao to answer the problem whether every core-compact well-filtered space is sober.In the current paper we explore further properties of open well-filtered spaces. One of the main results is that if a space is open well-filtered,then so is its upper space (the set of all nonempty saturated compact subsets equipped with the upper Vietoris topology). Some other properties on open well-filtered spaces are also studied.
Title. Partial frames, their free frames and their congruence frames
Download
Abstract. Partial frames are meet-semilattices where, in contrast with frames, not all subsets need have joins. A selection function, S, specifies, for all meet-semilattices, certain subsets under consideration, which we call the ``designated'' ones; an S-frame then must have joins of (at least) all such subsets and binary meet must distribute over these. A small collection of axioms suffices to specify our selection functions; these axioms are sufficiently general to include as examples of partial frames, bounded distributive lattices, sigma-frames, kappa-frames and frames.
We consider the classical notions of right and left adjoints, for S-frame maps. Unlike the situation for full frames, such maps need not have right adjoints. This is a prelude to the introduction of closed and open maps, and a discussion of their properties.
What is an appropriate notion of Booleanness for partial frames? The obvious answer is that the partial frame should have every element complemented; this concept is indeed of interest, but we pose three further conditions which, in the frame setting, are all equivalent to it. However, in the context of partial frames, the four conditions are distinct. In investigating these, we make essential use of the free frame over a partial frame and the congruence frame of a partial frame.
We compare congruences of a partial frame, technically called S-congruences, with the frame congruences of its free frame. We provide a natural transformation for the situation and also consider right adjoints of the frame maps in question. We characterize the case where the two congruence frames are isomorphic and provide examples which illuminate the possible different behaviour of the two.
We conclude with a characterization of closedness and openness for the embedding of a partial frame into its free fame, and into its congruence frame.
Title. Continuous R-valuations
Download
View complete package
Abstract. We introduce continuous R-valuations on directed-complete posets (dcpos, for short), as a generalization of continuous valuations in domain theory, by extending values of continuous valuations from reals to so-called Abelian d-rags R.
Like the valuation monad V introduced by Jones and Plotkin, we show that the construction of continuous R-valuations extends to a strong monad VR on the category of dcpos and Scott-continuous maps. Additionally, and as in recent work by the two authors and C. Théron, and by the second author, B. Lindenhovius, M. Mislove and V. Zamdzhiev, we show that we can extract a commutative monad VmR out of it, whose elements we call minimal R-valuations.
We also show that continuous R-valuations have close connections to measures when R is taken to be IR⋆+, the interval domain of the extended nonnegative reals: (1) On every coherent topological space, every non-zero, bounded τ-smooth measure μ (defined on the Borel σ-algebra), canonically determines a continuous IR⋆+-valuation; and (2) such a continuous IR⋆+-valuation is the most precise (in a certain sense) continuous IR⋆+-valuation that approximates μ, when the support of μ is a compact Hausdorff subspace of a second-countable stably compact topological space. This in particular applies to Lebesgue measure on the unit interval. As a result, the Lebesgue measure can be identified as a continuous IR⋆+-valuation. Additionally, we show that the latter is minimal.
Title. A uniform approach to k-rank of a topological space
Download
Abstract. In this paper, the concepts of K-subset systems and k-well-filtered spaces are introduced, which provide another uniform approach to d-spaces, s-well-filtered spaces (i.e., US -admissibility) and well-filtered spaces. We prove that the k-well-filtered reflection of any $T_0$ space exists. Meanwhile, we propose the definition of k-rank, which is an ordinal that measures how many steps from a $T_0$ space to a k-well-filtered space. Moreover, we derive that for any ordinal α, there exists a $T_0$ space whose k-rank equals to α. One immediate corollary is that for any ordinal α, there exists a $T_0$ space whose d-rank (respectively, wf-rank) equals to α.
Title. The sheaf representation of residuated lattices
Download
Abstract. The residuated lattices form one of the most important algebras of fuzzy logics and have been heavily studied by people from various different point of views. Sheaf presentations provide a topological approach to many algebraic structures. In this paper, we study the topological properties of prime spectrum of residuated lattices, and then construct a sheaf space to obtain a sheaf representation for each residuated lattice.
Title. Free directed-completions and double-dense-completions of $S$-posets
Download
Abstract. Firstly, the free directed-completions of $S$-posets are built and characterized, and the definitions of $\Delta_1$-objects and intermediate structures of $S$-posets are given. Then we construct double-dense-completions for $LU$-compatible $S$-posets and $UL$-compatible $S$-posets, respectively, and provide an example of $S$-posets whose these two double-dense-completions are not isomorphic, which means that the double-dense-completions of $S$-posets are not unique (up to isomorphism) in general.
Finally, we show that the double-dense-completions of $S$-posets are unique when $S$ is a pogroup, in which case that the $\Delta_1$-object precisely is the double-dense-completion of the intermediate structure for an $S$-lattice.
Title. The d*-space
Download
Abstract. In this paper, we introduce the concept of d*-spaces. We find that strong d-spaces are d∗-spaces, but the converse does not hold. We give a characterization for a topological space to be a d∗-space. We prove that the retract of a d∗-space is a d∗-space. We obtain the result that for any $T_0$ space X and Y , if the function space TOP(X,Y) endowed with the Isbell topology is a d∗-space, then Y is a d∗-space. We also show that for any $T_0$ space X, if the Smyth power space Qv(X) is a d∗-space, then X is a d∗-space. Meanwhile, we give a counterexample to illustrate that conversely, for a d∗-space X, the Smyth power space Qv(X) may not be a d∗-space.
Title. A note on the category of c-spaces
Download
Abstract. We prove that the category of c-spaces with continuous maps is not cartesian closed. As a corollary the category of locally finitary compact spaces with continuous maps is also not cartesian closed.