Ordered topological structures

The paper discusses interactions between order and topology on a given set which do not presuppose any separation conditions for either of the two structures, but which lead to the existing notions established by Nachbin in more special situations. We pursue this discussion at the much more general level of lax algebras, so that our categories do not concern just ordered topological spaces, but also sets with two interacting orders, approach spaces with an additional metric, etc.     

Intrinsic approach spaces on domains

The paper is a contribution to quantifiability of domains. We show that every domain X, regardless of cardinality conditions for a domain bases, is quantifiable in the sense that there exists an approach structure on X (Lowen (1997) [9]), defined by means of a gauge of quasi metrics, inducing the Scott topology. We get weightability for free and in the case of an algebraic domain satisfying the Lawson condition (Lawson (1997) [8]), a quantifying approach space can be obtained with a weight satisfying the kernel condition.     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Uniform binary geometries

In a geometric lattice every interval can be mapped isomorphically into an upper interval (containing 1) by a strong map. A natural question thus arises as to what extent certain assumptions on the upper interval structure determine the whole lattice. We consider conditions of the following sort: that above a certain levelm any two upper intervals of the same length be isomorphic. This property, called uniformity, is studied for binary geometries. The geometries satisfying the strongest uniformity condition (m = 1) are determined (except for one open case). As is to be expected the corresponding problem for lower intervals is easier and is solved completely.     

Nuclear Typing of Frames vs Spatial Selectors

Nuclei which are defined over a class of frames are called nuclear typings. There is the dual notion of a spatial selector, and the relationship between nuclear typings and spatial selectors emanates from the duality between spatial frames and sober spaces. Especially interesting is the interplay between typings that are well-behaved with respect to certain frame quotients and selectors which similarly behave well in passage to closed sets.     

Localization of MV-algebras and lu-groups

The aim of the present paper is to define the localization MV-algebra of an MV-algebra A with respect to a topology on A; also, following the categorical equivalence between the category of lu-groups and the category of MV-algebras, we define the analogous notion for lu-groups. In Section 5 we prove that the maximal MV-algebra of quotients (defined in [7]) and the MV-algebra of fractions relative to an -closed system (defined in [6]) are MV-algebras of localization.In the last part of this paper (Section 6) we prove analogous results for lu-groups.     

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.     

Some open categorical problems inTop

In this paper, a pendant to a recent survey paper, the authors discuss several open problems in categorical topology. The emphasis is on topology-oriented problems rather than on more general category-oriented ones. In fact, most problems deal with full subconstructs or superconstructs of the constructTop of topological spaces and continuous maps.     

On factorization structures and epidense hulls

Characterizations of epidense subcategories of topological categories and of existence of epidense hulls have been described in [2, 3, 4]. In this paper a similar characterization is given in a much more general setting; for example the category need not have products. The relationship between finite factorization structures and existence of epidense hulls is investigated. It is found to be analogous to the relationship between general factorization structures and epireflective hulls.     

Cardinal sequences of LCS spaces under GCH

Let C(α) denote the class of all cardinal sequences of length α associated with compact scattered spaces. Also put

C_λ(α)={f∈C(α):f(0)=λ=min[f(β):β<α]}.     

A separation theorem for semicontinuous functions on preordered topological spaces

Suppose that X is a topological space with preorder , and that –g, f are bounded upper semicontinuous functions on X such that g(x) f(y) whenever x y. We consider the question whether there exists a bounded increasing continuous function h on X such that g h f, and obtain an existence theorem that gives necessary and sufficient conditions. This result leads to an extension theorem giving conditions that allow a bounded increasing continuous function defined on an open subset of X to be extended to a function of the same type on X. The application of these results to extremally disconnected locally compact spaces is studied.Received: 26 May 2004     

Some remarks on interior operators and the functional property

In this paper functoriality of the notion of categorical interior operator is discussed and as a related topic, the property of ?-modal interior operator is introduced.     

SOME RECENT RESULTS ON CATEGORIES OF R-SPACES AND PROBABILISTIC SPACES AND ON CATEGORICAL SPECTRA

The purpose of this paper is twofold: first, to present some recent results obtained by Romanian mathematicians in the field of general and categorical topology; second, to present some current research results obtained by the author in what may be called the topological study of a category. Accordingly, the paper is divided into two parts.

The author wishes to express his gratitude to the organizing committee of this Symposium for the kind invitation to present' this paper.     

Towards Stone duality for topological theories

In the context of categorical topology, more precisely that of T-categories (Hofmann, 2007 [8]), we define the notion of T-colimit as a particular colimit in a V-category. A complete and cocomplete V-category in which limits distribute over T-colimits, is to be thought of as the generalisation of a (co-)frame to this categorical level. We explain some ideas on a T-categorical version of “Stone duality”, and show that Cauchy completeness of a T-category is precisely its sobriety.     

Ohio completeness and products

In [A.V. Arhangel'ski?, Remainders in compactifications and generalized metrizability properties, Topology Appl. 150 (2005) 79-90], Arhangel'ski? introduced the notion of Ohio completeness and proved it to be a useful concept in his study of remainders of compactifications and generalized metrizability properties. We will investigate the behavior of Ohio completeness with respect to closed subspaces and products. We will prove among other things that if an uncountable product is Ohio complete, then all but countably many factors are compact. As a consequence, Rκ is not Ohio complete, for every uncountable cardinal number κ.     

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.     

Interior operators and topological separation

A notion of separation with respect to an interior operator in topology is introduced and some basic properties are presented. In particular, it is shown that this notion of separation with respect to an interior operator gives rise to a Galois connection between the collection of all subclasses of the class of topological spaces and the collection of all interior operators in topology. Characterizations of the fixed points of this Galois connection are given and examples are provided.