TOPOLOGICAL CATEGORIES AND CLOSURE OPERATORS

Abstract

It is shown that the category CS of closure spaces is a topological category. For each epireflective subcategory A of a topological category X a functor F _A :X → X is defined and used to extend to the general case of topological categories some results given in [4], [5] and [10] for epireflective subcategories of the category Top of topological spaces.     

TWO FAMILIES OF CARTESIAN CLOSED TOPOLOGICAL CATEGORIES

Abstract

In this paper two ordered families of topological categories are studied. The first family includes the category of all abstract simplicial complexes and the subcategories of all abstract simplicial complexes of dimension less than or equal to n. The categories of the second family are bireflective subcategories of the category of all bornological spaces. All these categories are cartesian closed and have other nice properties.     

Epireflective subcategories of Hausdorff categories

Let pHaus denote the category of Hausdorff spaces and p-maps, and let HCL denote the subcategory of pHaus consisting of H-closed spaces and continuous functions. It is well-known that HCL is an epireflective subcategory of pHaus. In this paper we characterize the epireflective subcategories of pHaus that contain HCL.     

EPIREFLECTIVE HULLS OF SPACES OF ORDINALS IN To

Abstract

A particular class of epireflective subcategories of To is investigated, exactly the epireflective hulls g(S(a) of the spaces S(a) of the ordinals with the “open half lines” topology. The topological structure of the objects of these hulls is studied, also in relation with their sobrification. Furthermore, a bijective correspondence between hulls and classes of cofinality of ordinals is found.     

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.     

ON EPIDENSE SUBCATEGORIES OF TOPOLOGICAL CATEGORIES

Dense subcategories were introduced by S. Marde?i? for an inverse system approach to (categorical) shape theory.

In this paper some internal characterizations of (epi,bi)dense subcategories of a topological category are given. We also show that if K ? A is a bidense subcategory then the “best approximation” of an A-object X by a K-inverse system is obtained by “modifications” of the structure of X.     

CARTESIAN CLOSEDNESS,EXPONENTIALITY, AND FINAL HULLS IN PSEUDOTOPOLOGICAL SPACES

Abstract

We show that each non-trivial epireflective subcategory of the topological or pretopological spaces fails to be cartesian closed. Motivated by this “negative” result, we consider the supercategory of pseudotopological spaces and obtain: An epireflective subcategory of the pseudotopological spaces which contains a finite non-indiscrete space is cartesian closed iff it is closed with respect to powers in the pseudotopological spaces. Here the density property that every pseudotopological space is a final epi-sink of free ultraspaces is essential.     

Epireflective subcategories of valuated groups

We show that the category of valuated groups has a topological forgetful functor to the category of abelian groups. This category is universal, that is, it is the bireflective hull of its T_o-objects, and properties of the (large) lattice of epireflective subcategories are contrasted with results obtained by T. Marny [7] for universal categories over the category of sets.     

Completion of merotopic spaces and extension of uniformly continuous maps

A general Riesz merotopic space (X, ν) determines a not necessarily topological closure operator c_ν on X. The space (X, ν) is said to be complete if every cluster on (X, ν) is contained in an adherence grill on (X, c_ν). We discuss a method of obtaining a large class of completions of a given Riesz merotopic space with induced T₁ closure space. As special cases we get the simple completion, which induces a simple closure space extension, and the strict completion, which induces a strict closure space extension. We show that the category of complete separated T₁ Riesz merotopic spaces is epireflective in the category of separated T₁ Riesz merotopic spaces, the reflection of an object being the simple completion. Similarly the category of complete clan-covered quasi-regular T₁ Riesz merotopic spaces is epireflective in the category of clan-covered quasi-regular T₁ Riesz merotopic spaces, the reflection of an object being the strict completion.     

Hereditary Coreflective Subcategories of Categories of Topological Spaces

Let be an epireflective subcategory of the category Top of topological spaces that is not bireflective (e.g., the category of Hausdorff spaces, the category of Tychonoff spaces) and ℬ be a coreflective subcategory of . Extending the corresponding result obtained for coreflective subcategories of Top we prove that ℬ is hereditary if and only if it is closed under the formation of prime factors. As a consequence we obtain that every hereditary coreflective subcategory ℬ of containing a non-discrete space is generated by a class of prime spaces and if is a quotient-reflective subcategory of Top, then the assignment gives a bijection of the collection of all hereditary coreflective subcategories of Top that contain the class FG of all finitely generated spaces onto the collection of all hereditary coreflective subcategories of that contain . Some applications of these results in the categories of Hausdorff spaces, Tychonoff spaces and zero-dimensional Hausdorff spaces are presented.Mathematics Subject Classifications (2000) 18D15, 54B30.     

Completion of Semi-uniform Spaces

The category of all Hausdorff complete t-semi-uniform spaces is shown to be epireflective in the category of all Hausdorff t-semi-uniform spaces but the reflection arrows need not be embeddings since there is no nontrivial epireflective subcategory of the category of all Hausdorff t-semi-uniform spaces in which all reflection arrows are embeddings (t-semi-uniform spaces are those semi-uniform spaces inducing a topology). On the other hand for every t-semi-uniform space X there exist a minimal and a maximal completion containing X as a dense subspace. The second one is an almost reflection in complete spaces, i.e., every uniformly continuous mapping on X to a complete semi-uniform space can be extended (as a uniformly continuous map) onto the completion.      

EPIREFLECTIVE SUBCATEGORIES AND SEMICLOSURE OPERATORS

ABSTRACT

Let C be a category of topological spaces and continuous functions which is full, hereditary and closed under homeomorphisms and products. If A is a subclass of C, let E(A) be the full subcategory of C whose objects are the subspaces in A. In this paper we characterize the epireflective subcategories of C containing A and contained in E(A) by introducing a “semiclosure” operator which is a generalization for the “idempotent semi-limit” operator introduced by S.S. Hong (see [5]) with respect to Top _o. In case A is extensive in C, so that E(A) = C, all the extensive subcategories of C containing A are thus characterized.     

An elementary approach to ‘Algebra ∩ topology = compactness’

Herrlich and Strecker characterized the category Comp ₂ of compact Hausdorff spaces as the only nontrivial full epireflective subcategory in the category Top ₂ of all Hausdorff spaces that is concretely isomorphic to a variety in the sense of universal algebra including infinitary operations. The original proof of this result requires Noble's theorem, i.e. a space is compact Hausdorff iff every of its powers is normal, which is far from being elementary. Likewise, Petz' characterization of the class of compact Hausdorff spaces as the only nontrivial epireflective subcategory of Top ₂, which is closed under dense extensions (= epimorphisms in Top ₂) and strictly contained in Top ₂ is based on a result by Kattov stating that a space is compact Hausdorff iff its every closed subspace is H-closed. This note offers an elementary approach for both, instead.Presented at the European Colloquium of Category Theory, Tours, France, 25–31 July 1994.     

Merotopological Spaces

In this paper we introduce a new topological-type of structured set called merotopological space. The appropriate morphisms are defined and characterizations of the corresponding initial and final structures are given. The resulting category contains as fully embedded subcategories not only the category of topological spaces and continuous maps but also the category of merotopic spaces and uniformly continuous maps, and, a fortiori, the category of nearness spaces and the category of uniform spaces. A functorial completion is constructed for merotopological spaces using bunches. A problem that has remained long open in the setting of nearness spaces is to find an internal characterization of the epireflective hull of the topological spaces. We solve the analogue of this problem in the setting of merotopological spaces. Applications to the Wyler prime closed filter compactification and to Taimanov's extension theorem are given.     

On the boundedness of topological categories

Let K be a complete and cocomplete category with a given proper (E,M)-factorization. K is called well-bounded if K is moreover bounded with a generator and cowellpowered with respect to the given factorization. Freyd-Kelly proved the following theorem about well-bounded categories: Let K be a well-bounded category and let Γ be a class of cylinders in the small category C¹, and let all but a set of these cylinders be cones. Then Γ(C,K) is a reflective subcategory of [C,K]. The main results of this paper are: (I) If F: K→L is a Top-functor and L is well-bounded, then K is well-bounded. (II) If U is an E-reflective subcategory of a well-bounded category,then U is again wellbounded. As a corollary one obtains for instance that all coreflective and all epireflective subcategories of the category of topological spaces are well-bounded.     

三角范畴和Abel范畴的Torsion理论

本文主要研究了三角范畴在Abel化过程中torsion理论的保持问题.利用三角范畴的coherent函子范畴是Abel范畴,证明了T的coherent函子范畴A(T)是A(D)的thick子范畴;若(X,Y)是D的torsion理论,且D=X*Y的扩张是可裂的,那么(A(X),A(Y))是A(D)的torsion理论.     

Epireflective subcategories of TOP,T$$_$$UNIF,UNIF, closed under epimorphic images,or being algebraic

The epireflective subcategories of \(\mathbf{Top}\), that are closed under epimorphic (or bimorphic) images, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \) and \(\mathbf{Top}\). The epireflective subcategories of \(\mathbf{T_2Unif}\), closed under epimorphic images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is compact \(T_2 \} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{T_2Unif}\). The epireflective subcategories of \(\mathbf{Unif}\), closed under epimorphic (or bimorphic) images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{Unif}\). The epireflective subcategories of \(\mathbf{Top}\), that are algebraic categories, are \(\{ X \mid |X| \le 1 \} \), and \(\{ X \mid X\) is indiscrete\(\} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being varietal, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid X\) is compact \(T_2 \} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being algebraic, are \(\{ X \mid X\) is indiscrete\( \} \), and all epireflective subcategories of \(\{ X \mid X\) is compact \(T_2 \} \). Also we give a sharpened form of a theorem of Kannan-Soundararajan about classes of \(T_3\) spaces, closed for products, closed subspaces and surjective images.     

On epireflective and coreflective hulls of a particular L-topological space

In this paper, we study some aspects of the category L-ZTop of zero-dimensional L-topological spaces. After noting that it is a topological category, we identify a ‘Sierpinski object’ L_Z in it. We further show that two epireflective hulls of L_Z respectively turn out to be the categories of zero-dimensional T₀-L-topological spaces and of zero-dimensional sober L-topological spaces. We also determine the coreflective hull of L_Z in the category of L-topological spaces.     

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

Heredity and Coreflective Subcategories of the Category of Topological Spaces

Every hereditary coreflective subcategory of Top containing the category of finitely-generated spaces is shown to be generated by a class of spaces having a unique accumulation point. It is also shown that the coreflective hull of a union of two hereditary coreflective subcategories of Top need not be hereditary so that a coreflective subcategory of Top need not have a hereditary coreflective kernel.