Weakly continuously Urysohn spaces

We study weakly continuously Urysohn spaces, which were introduced in [P.L. Zenor, Continuously extending partial functions, Proc. Amer. Math. Soc. 135 (1) (2007) 305-312]. We show that every weakly continuously Urysohn wΔ-space has a base of countable order, that separable weakly continuously Urysohn spaces are submetrizable, hence continuously Urysohn, that monotonically normal weakly continuously Urysohn spaces are hereditarily paracompact, and that no linear extension of any uncountable subspace of the Sorgenfrey line is weakly continuously Urysohn. These results generalize various results in the literature concerning continuously Urysohn spaces.     

Asymmetry and bicompletion of approach spaces

We develop a bicompletion theory for the category Ap₀ of T₀ approach spaces in the sense of Lowen [R. Lowen, Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad, Oxford University Press, Oxford, 1997], which extends the completion theory obtained in [R. Lowen, K. Robeys., Completions of products of metric spaces, Quart. J. Math. Oxford 43 (1991) 319-338] for the subcategory of Hausdorff uniform approach spaces. Moreover, we prove it to be firmly epireflective (in the sense of [G.C.L. Brümmer, E. Giuli, A categorical concept of completion of objects, Comment. Math. Univ. Carolin. 33 (1992) 131-147]) with respect to a certain morphism class of dense embeddings.     

More on upper bicompletion-true functorial quasi-uniformities

Let T:QU₀→Top₀ denote the usual forgetful functor from the category of quasi-uniform T₀-spaces to that of the topological T₀-spaces. We regard the bicompletion reflector as a (pointed) endofunctor K:QU₀→QU₀. For any section F:Top₀→QU₀ of T we consider the (pointed) endofunctor R=TKF:Top₀→Top₀. The T-section F is called upper bicompletion-true (briefly, upper K-true) if the quasi-uniform space KFX is finer than FRX for every X in Top₀. An important known characterisation is that F is upper K-true iff the canonical embedding X→RX is an epimorphism in Top₀ for every X in Top₀. We show that this result admits a simple, purely categorical formulation and proof, independent of the setting of quasi-uniform and topological spaces. We thus mention a few other settings where the result is applicable. Returning then to the setting T:QU₀→Top₀, we prove: Any T-section F is upper K-true iff for all X the bitopology of KFX equals that of FRX; and iff the join topology of KFX equals the strong topology (also called the b- or Skula topology) of RX.     

The category of Urysohn spaces is not cowellpowered

It is shown that the category of Urysohn spaces and continuous maps is not cowellpowered. To this end we will construct for each ordinal number β a Urysohn space Y_β with card $\text{(Y}{}_{\mathrm{\beta }}\text{= ?}{}_0\text{?}\text{card}\text{(β)}$ and a continuous map $\text{e}{}_{\mathrm{\beta }}\text{:}\text{Q}\text{→ Y}{}_{\mathrm{\beta }}$ from the rationals into Y_β. It turns out that $\text{e}{}_{\mathrm{\beta }}$ is an external monomorphism in the category of Hausdorff spaces and an epimorphism in the category of Urysohn spaces.     

On D-Paracompact spaces

Following Pareek a topological space X is called D-paracompact if for every open cover $\text{A}$ of X there exists a continuous mapping f from X onto a developable T₁-space Y and an open cover $\text{B}$ of Y such that { f^-1[B]|B ∈ $\text{B}$ } refines $\text{A}$. It is shown that a space is D-paracompact if and only if it is subparacompact and D-expandable. Moreover, it is proved that D-paracompactness coincides with a covering property, called dissectability, which was introduced by the author in order to obtain a base characterization of developable spaces.     

More stratifiable function spaces

If X is a compact-covering image of a closed subspace of product of a σ-compact Polish space and a compact space, then Ck(X,M), the space of continuous maps of X into M with the compact-open topology, is stratifiable for any metric space M.If X is σ-compact Polish, K is compact and M metric then every point of Ck(X×K,M) has a closure-preserving local base, and hence this function space is M₁.     

Function spaces and one point extensions for the construct of metered spaces

The construct M of metered spaces and contractions is known to be a superconstruct in which all metrically generated constructs can be fully embedded. We show that M has one point extensions and that quotients in M are productive. We construct a Cartesian closed topological extension of M and characterize the canonical function spaces with underlying sets Hom(X,Y) for metered spaces X and Y. Finally we obtain an internal characterization of the objects in the Cartesian closed topological hull of M.     

On the completion monad via the Yoneda embedding in quasi-uniform spaces

Making use of the presentation of quasi-uniform spaces as generalised enriched categories, and employing in particular the calculus of modules, we define the Yoneda embedding, prove a (weak) Yoneda Lemma, and apply them to describe the Cauchy completion monad for quasi-uniform spaces.     

Productivity numbers in topological spaces

The κ-productivity of classes C of topological spaces closed under quotients and disjoint sums is characterized by means of Cantor spaces. The smallest infinite cardinals κ such that such classes are not κ-productive are submeasurable cardinals. It follows that if a class of topological spaces is closed under quotients, disjoint sums and countable products, it is closed under products of non-sequentially many spaces (thus under all products, if sequential cardinals do not exist).     

Pointwise bornological spaces

With each metric space (X,d) we can associate a bornological space (X,Bd) where Bd is the set of all subsets of X with finite diameter. Equivalently, Bd is the set of all subsets of X that are contained in a ball with finite radius. If the metric d can attain the value infinite, then the set of all subsets with finite diameter is no longer a bornology. Moreover, if d is no longer symmetric, then the set of subsets with finite diameter does not coincide with the set of subsets that are contained in a ball with finite radius. In this text we will introduce two structures that capture the concept of boundedness in both symmetric and non-symmetric extended metric spaces.     

Cartesian-closed coreflective subcategories of uniform spaces generated by classes of metric spaces

The main result, in Theorem 3, is that in the category Unif of Hausdorff uniform spaces and uniformly continuous maps, the coreflective hulls of the following classes are cartesian-closed: all metric spaces having no infinite uniform partition, all connected metric spaces, all bounded metric spaces, and all injective metric spaces.Furthermore, Theorems 1 and 4 imply that if $\text{C}$ is any coreflective, cartesian-closed subcategory of Unif in which enough function space structures are finer than the uniformity of uniform convergence (as in the above examples), then either (1) $\text{C}$ is a subclass of the locally fine spaces, or (2) $\text{C}$ contains all injective metric spaces and $\text{C}$ is a subclass of the coreflective hull of all uniform spaces having no infinite uniform partition.     

On the cardinality of Urysohn spaces

Recently, in Cammaroto et al. (2013) [4] we obtained a generalization of the famous inequality established by A.V. Arhangel?ski? in 1969 for Hausdoff spaces. In this paper, following this line of research, we present a common variation of this inequality for Urysohn spaces by developing a Main Theorem for obtaining inequalities. In particular, we extend a 2006 inequality by Hodel for Urysohn spaces. Moreover, this extended inequality is used to analyze a result containing an increasing chain of spaces that satisfies the same cardinality inequality and this new result solves an open problem in Cammaroto et al. (2013) [4] for Urysohn spaces. This general theorem also provides a new cardinal inequality for Hausdorff spaces. The paper is concluded with some open problems.     

Straight nearness spaces

Straight spaces are spaces for which a continuous map defined on the space which is uniformly continuous on each set of a finite closed cover is then uniformly continuous on the whole space. Previously, straight spaces have been studied in the setting of metric spaces. In this paper, we present a study of straight spaces in the more general setting of nearness spaces. In a subcategory of nearness spaces somewhat more general than uniform spaces, we relate straightness to uniform local connectedness. We investigate category theoretic situations involving straight spaces. We prove that straightness is preserved by final sinks, in particular by sums and by quotients, and also by completions.     

Closed structures on categories of topological spaces

The category of all topological spaces and continuous maps and its full subcategory of all T_o-spaces admit (up to isomorphism) precisely one structure of symmetric monoidal closed category (see [2]). In this paper we shall prove the same result for any epireflective subcategory of the category of topological spaces (particularly e.g. for the categories of Hausdorff spaces, regular spaces, Tychonoff spaces).     

Mappings onto metric spaces

We give characterizations of perfect images and open and compact images of spaces that can be mapped onto metrizable spaces by a mapping with fibers having a given property $\text{P}$. We use these characterizations to obtain conditions which imply that such images can be mapped onto a metric space by a mapping with fibers satisfying $\text{P}$. Such a treatment includes the investigation of spaces with a weaker metric topology [2, Ch. 5].     

More on perfectly normal non-realcompact spaces

We use the space associated with a guessing sequence on ω₁ to show that it is consistent with CH that there exists a locally countable, first-countable, locally compact, perfectly normal, non-realcompact space of size ℵ₁ which does not contain any sub-Ostaszewski spaces. By a similar technique, it is shown to be consistent with that there exists a locally countable, first-countable, perfectly normal, non-realcompact space of size ℵ₁.     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.