Regularity of the category of Kelley spaces

We show that the cartesian closed category of compactly generated Hausdorff spaces is regular, but is neither exact, nor locally cartesian closed. In fact we find a coequalizer of an equivalence relation which is not stable under pullback.     

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

Cartesian closed hull of the category of uniform spaces

A concrete category $\text{K}$ is a CCT (cartesian closed topological) extension of the category Unif of uniform spaces if 1. $\text{K}$ is cartesian closed, 2. Unif is a full, finitely productive subcategory of $\text{K}$ and the forgetful functor of $\text{K}$ extends that of Unif and 3. $\text{K}$ has initial structures. We describe the smallest CCT extension of Unif which is called the CCT hull by H. Herrlich and L.D. Nel. The objects of the CCT hull are bornological uniform spaces, i.e. uniform spaces endowed with a collection of “bounded” sets related naturally to the uniformity; the morphisms are the uniformly continuous maps which preserve the bounded sets.     

The category of varieties and interpretations is alg-universal

A category is said to be alg-universal if every category of universal algebras can be fully embedded into it. We prove here that the category of varieties and interpretations, or in other words, the category of abstract clones and clone homomorphisms, is alg-universal.     

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.     

A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras

This paper investigates completions in the context of finitely generated lattice-based varieties of algebras. It is shown that, for such a variety A, the order-theoretic conditions of density and compactness which characterise the canonical extension of (the lattice reduct of) any A∈A have truly topological interpretations. In addition, a particular realisation is presented of the canonical extension of A; this has the structure of a topological algebra nA(A) whose underlying algebra belongs to A. Furthermore, each of the operations of nA(A) coincides with both the σ-extension and the π-extension of the corresponding operation on A, with which a canonical extension is customarily equipped. Thus, in particular, the variety A is canonical, and all its operations are smooth. The methods employed rely solely on elementary order-theoretic and topological arguments, and by-pass the subtle theory of canonical extensions that has been developed for lattice-based algebras in general.     

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

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.     

A note on effective descent morphisms of topological spaces and relational algebras

We formulate two open problems related to and, in a sense, suggested by the Reiterman-Tholen characterization of effective descent morphisms of topological spaces.     

Geometric topological completions with universal final lifts

In this paper necessary and sufficient conditions are given on a concrete category over a category B so that it can be densely embedded (over B) into a geometric topological category E that admits certain universal final lifts. These conditions, as well as the class of universal final lifts, depend upon an a priori given full subcategory Δ of B. For example, E may have, depending upon Δ and B, universal coproducts or quotients or colimits. For appropriate Δ's, if B is cartesian closed then so is E.     

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.     

Injective spaces via adjunction

The work of the present author and his coauthors over the past years gives evidence that it may be useful to regard each topological space as a kind of enriched category, by interpreting the convergence relation x→x between ultrafilters and points of a topological space X as arrows in X. Naturally, this point of view opens the door to the use of concepts and ideas from enriched Category Theory for the investigation of topological spaces. Topological theories introduced by the author provide a convenient general setting for appropriately transferring these concepts and ideas to the world of topological spaces and some other geometric objects such as approach spaces. Using tools like adjunction and the Yoneda lemma, we show that the cocomplete spaces are precisely the injective spaces, and they are algebras for a suitable monad on . This way we obtain enriched versions of known results about injective topological spaces and continuous lattices.     

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.     

Universal topological algebra needs closed topological categories

It is shown that a development of universal topological algebra, based in the obvious way on the category of topological spaces, leads in general to a pathological situation. The pathology disappears when the base category is changed to a cartesian closed topological category or to a topological category endowed with a compatible closed symmetric monoidal structure, provided that in the latter case, the algebraic operations are expressed in terms of monoidal powers rather than the usual cartesian powers. With such base categories, universal topological algebra becomes virtually as well-behaved as ordinary (setbased) universal algebra.     

Open maps,colimits, and a convenient category of fibre spaces

We show that pulling back along an open map preserves all colimits in the category of weak Hausdorff k-spaces. We also show that the category of open maps over a weak Hausdorff k-space is a convenient category of fibre spaces.     

Topological spaces and quasi-varieties

We describe Top ^op and Sob ^op as quasi-varieties by means of suitable schizophrenic objects.Research of the first author supported by grants from the NSERC of Canada and the FCAR du Québec. Research of the second author supported by the Topology grant 40% and by the NATO grant CRG 941330.     

Function spaces in metrically generated theories

The theory of metrically generated constructs provides us with an excellent setting for the study of function spaces. In this paper we develop a function space theory for metrically generated constructs and, by considering different metrically generated constructs, we capture interesting examples. For instance, for uniform spaces we retrieve the uniformity of uniform convergence and its generalization to Σ-convergence and for UG-spaces we obtain a quantified version of these structures. Our theory also allows for many applications, in particular we are able to characterize the complete subspaces of these function spaces and we succeed in producing an appropriate Ascoli theorem.