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.     

TOPOLOGY WITHOUT POINTS

Abstract

Other theories that develop topology without points are either excessively artificial or suffer from a lack of rigor. In this paper it is assumed that worlds W are composed of parts that form a complete Boolean algebra [xbar] and that the collection [Wbar] of all points of W is a certain subcollection of all filters defined over [xbar]. Two axioms are given for points which, given suitable definitions, convert [Wbar] into a compact Hausdorff space. Nearness collections of parts of W are defined which satisfy all the axioms of Herrlich for nearness except that closure is defined without mentioning points and consequently one may define closed and open parts. A category of worlds is defined in which the objects are lattices of closed parts of a world and the arrows are roughly speaking the far-preserving mps. It is shown that the category of compact T₁-spaces is a reflective subcategory of the category of worlds.     

Zariski closure, completeness and compactness

The categorical theory of closure operators is used to introduce and study separated, complete and compact objects with respect to the Zariski closure operator naturally defined in any category X(A,Ω) obtained by a given complete category X (endowed with a proper factorization structure for morphisms) and by a given X-algebra (A,Ω) by forming the affine X-objects modelled by (A,Ω). Several basic examples are provided.     

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.     

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.     

HAUSDORFF NEARNESS SPACES

Abstract

A categorical characterization of the category Haus of Hausdorft topological spaces within the category Top of topological spaces is given. A notion of a Hausdorff nearness space is then introduced and it is proved that the resulting subcategory Haus Near of the category Near of nearness spaces fulfills exactly the same characterization as derived for Haus in Top. Properties of Haus Near and relations to other important sub-categories of Near are studied.     

DISCONNECTEDNESS

Abstract

There are three different ways to characterize To-spaces in the category of topological spaces. All three methods are canonical, i.e. they can be easily formulated in a general setting, where they, in general, do not coincide. In the following, the characterization of T₀-spaces by indiscrete spaces is generalized to an abstract category and investigated.     

FUZZY SYNTOPOGENEOUS STRUCTURES

Abstract

The author gives a detailed analysis of the relation between the theories of realcompactifications and compactifications in the category of ditopological texture spaces and in the categories of bitopological spaces and topological spaces.     

A NOTE ON REGULAR AND EXTREYAL SUBOBJECTS

ABSTRACT

In the general setting of a complete, well-powered category A, we define and study two universal closure operations: regularization and extremalization, by means of regular and extremal subobjects of A. respectively. A general theorem of characterization of epimorphisms in A is given. When A is an epireflective subcategory of TOP, such operations are shown to coincide with A-closure [11] and epiclosure [2]. respectively. In the topological contest, regularization and extremalization are studied in detail and compared with r-closure, defined in [13].     

EXPONENTIAL LAW AND θ-CONTINUOUS FUNCTIONS

Abstract

The category θ-Top of topological spaces and θ-continuous functions is not Cartesian closed; but it is known that under certain local property assumptions, the exponential law in θ-Top is fulfilled. We define a functor from θ-Top to the category of H-θ-topological spaces and prove that in this category the exponential law holds without any local property assumptions. We also provide a functor from θ-Top to Katětov's category of filter-merotopic spaces, which is Cartesian closed.     

Closure operators in topological groups related to von Neumann's kernel

We study a family of idempotent categorical closure operators in the category of topological Abelian groups (and continuous homomorphisms) related to the von Neumann's kernel. The prominent role is played by the idempotent closure operator g also related to questions from Diophantine approximations and ergodic theory.     

EMBEDDINGS INTO THE CATEGORY OF SUPER UNIFORM SPACES

Abstract

The category US of uniform spaces has been generalised in various ways. The category FUS, of fuzzy uniform spaces and the category GUS, of generalised uniform spaces have both been shown to be good extensions in the sense that US can be embedded into them. We show here that the category SUS, of super uniform spaces also enjoys this property and furthermore, the categories FUS and GUS can be embedded into SUS.     

ON θ-PROXIMITIES AND RELATED f-PROXIMITIES

Abstract

We show that every θ-proximity as defined by V.V. Fedor?uk is an f-proximity which we call a k-proximity. Two related f-proximities are introduced, viz. t- and d-proximities. The smallest and largest members of M_f(X, c) for f=k, d and t are characterised where M_f(X, c) is the family of f-proximities compatible with a given closure space (X, c).     

PROXIMAL LIMIT SPACES

Abstract

The proximal limit spaces are introduced which fill the gap arising from the existence of proximity spaces, uniform spaces, and uniform limit spaces. It is shown that the proximal limit spaces can be considered as a bireflective subcategory of the topological category of uniform limit spaces. A limit space is induced by a proximal limit space if and only if it is a S₁-limit space.     

GRAPHIC EXTENSIONS OF MAPPINGS

ABSTRACT

Given a mapping f: X → Y and an extension e: X → [Xtilde] of X, the restriction of the projection Π: [Xtilde] X Y → Y to the closure of the graph of f in [Xtilde] X Y is called the graphic extension of f with respect to e. It is shown that this approach is widely applicable to various types of topological extensions of mappings found in the literature and often gives simpler proofs of their existence, properties, and results relating to them.     

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.     

ON CERTAIN INITIAL COMPLETIONS IN FUZZY TOPOLOGY

Abstract

Following a lead given by I.W. Alderton, it is shown that the MacNeille completion and the universal initial completion coincide for the categories of zero-dimensional fuzzy T₀-topological spaces, T₀-fuzzy closure spaces, 2T ₀-fuzzy bitopological spaces, and T ₁-fuzzy topological spaces and that these turn out to be respectively the categories of zero-dimensional fuzzy topological spaces, fuzzy closure spaces, fussy bitopological spaces, and fuzzy R ₀ topological spaces.     

Monoreflections of Archimedean ?-groups, regular σ-frames and regular Lindelöf frames

We prove that in the category of Archimedean lattice-ordered groups with weak unit there is no homomorphism-closed monoreflection strictly between the strongest essential monoreflection (the so-called “closure under countable composition”) and the strongest monoreflection (the epicompletion). It follows that in the category of regular σ-frames, the only non-trivial monoreflective subcategory that is hereditary with respect to closed quotients consists of the boolean σ-algebras. Also, in the category of regular Lindelöf locales, there is only one non-trivial closed-hereditary epi-coreflection. The proof hinges on an elementary lemma about the kinds of discontinuities that are exhibited by the elements of a composition-closed l-group of real-valued functions on R.     

Local connectedness in merotopic spaces

Abstract

In this paper uniformly locally uniformly connected merotopic spaces are studied. It turns out that their structural behaviour is essentially similar to that one of locally connected topological spaces. The introduced concept is also investigated for spaces of functions between filter-merotopic spaces (e.g. topological spaces, proximity spaces, convergence spaces) and the relationship to other concepts of local connectedness is clarified. In particular, the category of uniformly locally uniformly connected filter-merotopic spaces is Cartesian closed.