T0-SEPARATION IN TOPOLOGICAL CATEGORIES

R.-E. Hoffmann [5,6] has introduced the notion of an (E,M)-universally topological functor, which provides a categorical characterization of the T₀-separation axiom of general topology. In this paper, we characterise these functors in terms of the unique extension of structure functors defined on the subcategory of “separated” objects (of the domain category). This, in turn, leads to a solution of some problems due to G.C.L. Brümmer [1,2]. Other results include a generalization of L. Skula's characterization of the bireflective subcategories of Top [10].     

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.     

Totally Bounded Quasi-Uniformities and Pseudocompactness of Bispaces

 We characterize pairwise Tychonoff bispaces that admit only totally bounded quasi-uniformities in terms of a suitable notion of bitopological pseudocompactness. We also show that a pairwise Tychonoff bispace has a unique (up to equivalence) bicompactification if and only if it admits a unique totally bounded quasi-unifomity. These results extend classical theorems of R. Doss for uniform spaces to the quasi-uniform (bitopological) setting, and are applied to the study of T ₀ topological spaces that admit a unique quasi-uniformity and a unique bicompactification, respectively. Finally, we discuss the problem of extending the classical Glicksberg theorem on product of pseudocompact spaces to bispaces and a partial solution is obtained. Supported by the Spanish Ministry of Science and Technology, grant BFM2000-1111. Supported by a grant from Generalitat Valenciana. Received November 7, 2001; in revised form August 14, 2002     

SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE

Abstract

Smyth completeness is the appropriate notion of completeness for quasi-uniform spaces carrying an additional topology to serve as domains of computation [2, 3]. The goal of this paper is to provide a better understanding of Smyth completeness by giving a characterization in terms of nets. We develop the notion of computational Cauchy net and an appropriate notion of strong convergence to get the result that a space is Smyth complete if and only if every computational Cauchy net strongly converges. As we are dealing with typically non-symmetric spaces, this is not an instance of the classical net-filter translation in general topology.     

SUPERCATEGORIES OF THE CATEGORY OF NEARNESS SPACES

Abstract

The framework in which nearness spaces were defined by H. Herrlich [1] and [2], leads one to consider the supercategory Pow of the category Near of nearness spaces, having as objects all pairs (X,ξ), where X is a set and ξ ? P(P(X)) is any subset of the power set of the power set of X, and as morphisms f: (X,ξ) → (Y,n) all functions f: X → Y such that, if A ? ξ then fA □ {f(A) | A ξ A} ? η. In this paper we show that the full subcategories of Pow comprising the objects satisfying subsets of the prenearness space axioms lie in a lattice of bireflections or bicoreflections. This serves as a first step towards the aim of characterizing all bireflective (resp. bicoreflective) and even all initially complete subcategories of Pow.     

CONNEXION PROPERTIES AND FACTORISATION THEOREMS

Abstract

With the introduction of several new factorisation theorems, this paper is intended to show that previous efforts of the authors [3] [5] and of Strecker [15] to describe the factorisations involving connectedness are incomplete. In Section 1 we give a purely topological construction of such a factorisation, in which the right factor is the class of spreads and the left factor has a certain property hereditarily: crucially, not all members of the left factor need be quotients. Section 2 shows that, given a left factor consisting of onto maps in the category T of topological spaces, then the class of mappings with the relevant properties hereditarily is also a left factor, and the result of section 1 is a particular case of this. Section 3 combines the material in [3] on intrinsic connexion properties with ideas of Preuss (see [1]) on disconnectednesses to yield another range of factorisations, for example, involving the maps with strongly connected fibres; and Section 4 notes some outstánding problems which our work has provoked.     

The bicompletion of the Hausdorff quasi-uniformity

We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P₀(X) of the nonempty subsets of X is bicomplete.Indeed we present an explicit method to construct the bicompletion of the T₀-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T₀-spaces (X,U) for which the Hausdorff quasi-uniformity of their bicompletion on is bicomplete.     

Positional dimension-like functions of the type Ind

In Iliadis (2005) [4] positional dimension-like functions of the type ind are given. All these functions are studied only with respect to the property of universality. In a later paper by the present authors, and in two papers by V.V. Tkachuk (1981, 1982) (see [7] and [8]), these dimension-like functions have been studied with respect to the other standard properties of dimension theory. In R. Koga, Subspace-dimension with respect to total spaces, Master Thesis, Osaka Kyoiku University, 1998 (see also K.P. Hart, Jun-iti Nagata, J.E. Vaughan, Encyclopedia of General Topology, Elsevier Science Publishers, B.V., Amsterdam, 2004) a positional dimension-like function of the type Ind is given. Here we define new positional dimension-like functions of the type Ind, and present for all these functions, theorems concerning subspace theorems, partition theorems, sum theorems, and product theorems. Finally, we give some open questions concerning these functions.     

Spaces from pieces IV

We are going to investigate simultaneous extensions of various topological structures (i.e. traces on several subsets at the same time are prescribed), also with separation axioms T₀, T₁, symmetry (in the sense of Part I, § 3), Riesz property, Lodato property. The following questions will be considered: (i) Under what conditions is there an extension? (ii) How can the finest extension be described? (iii) Is there a coarsest extension? (iv) Can we say more about extensions of two structures than in the general case? (v) Assume that certain subfamilies (e.g. the finite ones) can be extended; does the whole family have an extension, too? The general categorial results from Part I will be applied whenever possible (even they are not really needed).     

D-spaces, aD-spaces and finite unions

In this paper, we prove that if a space X is the union of a finite family of strong Σ-spaces, then X is a D-space. This gives a positive answer to a question posed by Arhangel'skii in [A.V. Arhangel'skii, D-spaces and finite unions, Proc. Amer. Math. Soc. 132 (2004) 2163-2170]. We also obtain results on aD-spaces and finite unions. These results improve the correspond results in [A.V. Arhangel'skii, R.Z. Buzyakova, Addition theorems and D-spaces, Comment. Math. Univ. Carolin. 43 (2002) 653-663] and [Liang-Xue Peng, The D-property of some Lindelöf spaces and related conclusions, Topology Appl. 154 (2007) 469-475].     

The Samuel compactification for quasi-uniform biframes

The paircover approach is used to explore the links between quasi-uniform and proximal biframes. The Samuel compactification for quasi-uniform biframes is constructed and its universal property discussed.     

Some generalizations of Fedorchuk duality theorem—I

Generalizing duality theorem of V.V. Fedorchuk [V.V. Fedorchuk, Boolean δ-algebras and quasi-open mappings, Sibirsk. Mat. Zh. 14 (5) (1973) 1088-1099; English translation: Siberian Math. J. 14 (1973) 759-767 (1974)], we prove Stone-type duality theorems for the following four categories: the objects of all of them are the locally compact Hausdorff spaces, and their morphisms are, respectively, the continuous skeletal maps, the quasi-open perfect maps, the open maps, the open perfect maps. In particular, a Stone-type duality theorem for the category of compact Hausdorff spaces and open maps is obtained. Some equivalence theorems for these four categories are stated as well; two of them generalize the Fedorchuk equivalence theorem [V.V. Fedorchuk, Boolean δ-algebras and quasi-open mappings, Sibirsk. Mat. Zh. 14 (5) (1973) 1088-1099; English translation: Siberian Math. J. 14 (1973) 759-767 (1974)].     

Join-continuous frames,Priestley's duality and biframes

The primary purpose of this paper is to study join-continuous frames. We present two representation theorems for them: one in terms of -subframes of complete Boolean algebras and the other in terms of certain Priestley spaces. This second representation is used to prove that the topological spaces whose frame of open sets is join-continuous are characterized by a condition which says that certain intersections of open sets are open. Finally, we show that Priestley's duality can be viewed as a partialization of the dual adjunction between the categories of, respectively, bitopological spaces and biframes, stated by B. Banaschewski, G. C. L. Brümmer and K. A. Hardie in [5].This work was partially supported by Centro de Matemáíica da Universidade de Coimbra.     

THE FORGETFUL FUNCTOR Cont → Prox IS TOPOLOGICAL

Abstract

It is shown that the forgetful functor from the category of contiguity spaces to the category of generalized proximity spaces is topological, and that the right adjoint right inverse of this functor extends the inverse of the forgetful functor from the category of totally bounded uniform spaces to the category of proximity spaces.     

Selectively c.c.c. spaces

We present a study about a natural way of defining a selective version of the c.c.c. property. This definition and some related properties were already considered under different names in other works, such as Daniels et al. (1994) [9], Scheepers (2000) [12]. Here we will present some of its relations with other selective properties and we present some examples that show the differences among the properties considered. We also study the behavior of these properties when the products are considered.     

RESTRICTING THE COMPARISON FUNCTOR OF AN ADJUNCTION TO PROJECTIVE OBJECTS

Abstract

This paper deals with projectives (in the sense of K.A.Hardie [5] relative to a right adjoint functor U: A → K. We answer the question, raised by R.-E. Hoffmann [6] p. 135, of knowing under what conditions there exists an equivalence between Proj u and Proj U^r, induced by the comparison functor Φ: A → K^T, where T denotes the monad induced by U. In the case, that U is an algebraic functor we also give necessary and sufficient conditions for the re gular projective objects to coincide with the U-projectives. Finally, we delineate how these results nay be applied in certain familiar situations.     

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.     

Baire space and second category extensions

Nearness structures induced by a T₁ second category or Baire space strict extension are characterized. Given a T₁ topological space it is shown that there exists a one-to-one correspondence between compatible nearness structures satisfying certain stated conditions and T₁ Baire space strict extensions of the space, up to the usual equivalence. A similar result is provided for second category T₁ strict extensions.     

Extending paired multifunctions

As a rule, the classical Michael-type selection theorems for the existence of single-valued selections are analogues and, in certain respects, generalisations of ordinary extension theorems. In contrast to this, the theorems for the existence of multi-selections deal with natural generalisations of cover properties of topological spaces. This paper continues the study of the latter problem, and its main purpose is to furnish a mapping characterisation of a cover-extension property—the so-called Katětov spaces.