Locale的弱拓扑表达

本文引入了弱拓扑空间的概念,证明了locale范畴与弱拓扑空间范畴的关系类似于拓扑空间范畴与locale范畴的关系。locale范畴严格包含于弱拓扑空间范畴并且与Sober的弱拓扑空间范畴等价。     

FUZZY PRETOPOLOGICAL SPACES, AN EXTENSIONAL TOPOLOGICAL EXTENSION OF FTS

O.Introduction'ByacrazytopologyonasetXwemeanasubsetofixwhichisclosedunderfiniteintersections,arbitraryulilonsandcolltainsalltheconstantfuZzysets.ItiswellknownthatthecategoryFTSoffuzzytopologicalspacesisawell--fibredtopologicalconstruct,andsinceitcoDtainsthecategoryTopasabothreflectiveandcoreflectivesubcategory)likeTOP,thiscategorylacksmanyconvenientpropertiessuchasextensionality(fordefinitionsee[6]or4.1inthispaper),cartesianclosednessandbeingatopologicaluniverse(see[1,6]fordefinitons).SoH…     

Uniformity Structures on L-Fuzzy Spaces

We extend the notion of a uniform space in a natural way by defining a uniform spaces in L-fuzzy spaces.Although these spaces seem quite similar to ordinary case,we show that the category of this uniform spaces is a good extension of the category of ordinary uniform spaces and the category of L-uniform spaces.Moreover,we introduce the concept of uniform topological spaces in the framework of uniform spaces in L-fuzzy spaces.Furthermore,the relation between proximity and uniform spaces in L-fuzzy spaces will...     

Two subcategories of apartness spaces

We introduce the notion of a topological quasi-apartness space and the notion of a uniform quasi-apartness space, and construct an adjunction between the category of topological quasi-apartness spaces and the category of neighbourhood spaces, and an adjunction between the category of uniform spaces and the category of uniform quasi-apartness spaces.     

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.     

Approach Spaces, Limit Tower Spaces, and Probabilistic Convergence Spaces

The category LTS of limit tower spaces is defined and shown to be isomorphic to the category CAP of convergence approach spaces. The full subcategory of LTS determined by the objects satisfying a diagonal axiom due to Cook and Fischer is shown to be isomorphic to the category AP of approach spaces. A family of isomorphisms is also obtained between LTS and certain full subcategories of the category PCS of probabilistic convergence spaces.     

初始的L-外部空间

研究了初始的L-外部空间.构造了L-外部空间范畴的初始结构,并由此定义了L-外部空间的乘积结构和子空间结构,证明了L-外部空间范畴是L-预外部空间范畴的余反射子范畴.     

A Convenient Category of Locally Preordered Spaces

As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of “locally preordered” spaces. We show that our new category is Cartesian closed that the forgetful functor to the category of compactly generated spaces creates all limits and colimits.     

Gähler’s neighbourhood condition for convergence approach spaces

We characterize convergence approach spaces that are approach spaces by generalizing a neighbourhood condition from the category of convergence spaces to the category of convergence approach spaces. We also study this condition in the categories of limit tower spaces and probabilistic convergence spaces.     

广义度量空间和偏序集

广义度量空间和偏序集都具有函数空间．而函数空间的存在为数学构造和计算提供了很大方便．本文还讨论了广义度量空间和偏序集之间的相互转化问题．     

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.     

L-fuzzy Q-convergence structures

In this paper, we construct a topological category of pretopological L-fuzzy Q-convergence spaces, which contains the category of topological L-fuzzy Q-convergence spaces as a bireflective full subcategory. Considering the connections with L-fuzzy topology, it is proved that the category of topological L-fuzzy Q-convergence spaces is isomorphic to the category of topological L-fuzzy quasi-coincident neighborhood spaces, and the latter is isomorphic to the category of L-fuzzy topological spaces. Moreover, we find that our pretopological L-fuzzy Q-convergence spaces can be characterized as a kind of L-fuzzy quasi-coincident neighborhood spaces, which is called strong L-fuzzy quasi-coincident neighborhood space.     

Strong inclusion orders between L-subsets and its applications in L-convex spaces

Abstract

In this paper, the concept of strong inclusion orders between L-subsets is introduced. As a tool, it is applied to the following aspects. Firstly, the notion of algebraic L-closure operators is proposed and the resulting category is shown to be isomorphic to the category of L-convex spaces (also called algebraic L-closure spaces). Secondly, restricted L-hull operators, as generalizations of restricted hull operators, are introduced and the resulting category is also proved to be isomorphic to the category of L-convex spaces. Finally, by using the properties of strong inclusion orders, it is shown that the category of convex spaces can be embedded in the category of stratified L-convex spaces as a reflective subcategory and the concrete form of the coreflective functor from the category of L-convex spaces to the category of stratified L-convex spaces is presented.     

A Four for the Price of One Duality Principle for Distributive Spaces

In this paper we consider topological spaces as generalised orders and characterise those spaces which satisfy a (suitably defined) topological distributive law. Furthermore, we show that the category of these spaces is dually equivalent to a certain category of frames by simply observing that both sides represent the idempotents split completion of the same category.     

L-模糊化拓扑空间中的Moore-Smith收敛理论

This paper presents a definition of L-fuzzifying nets and the related L-fuzzifying generalized convergence spaces. The Moore-Smith convergence is established in L-fuzzifying topology. It is shown that the category of L-fuzzifying generalized convergence spaces is a cartesianclosed topological category which embeds the category of L-fuzzifying topological spaces as a reflective subcategory.     

Universal algebra in a closed category

The development of finitary universal algebra is carried out in a suitable closed category called a π-category. The π-categories are characterized by their completeness and cocompleteness and some product-colimit commutativities. We establish the existence of left adjoints to algebraic functors, completeness and cocompleteness of algebraic categories, a structure-semantics adjunction, a characterization theory for algebraic categories and the existence of the theory generated by a presentation. The conditions on the closed category are sufficiently weak to be satisfied by any (complete and cocomplete) cartesian closed category, semi-additive category, commutatively algebraic category and also the categories of semi-normed spaces, normed spaces and Banach spaces.     

How Topological are Topological Groups?

Abstract

A Characterization of the category of topological groups is provided which does not refer to the category of topological spaces at all, but only to the category of uniform spaces. Similarly, the category of SIN-groups is characterized in a purely uniform way.     

Intrinsic characterization of Alexander-Spanier cohomology groups of compactifications

In this paper we construct a uniform Alexander-Spanier cohomology functor from the category of pairs of uniform spaces to the category of abelian groups. We show that this functor satisfies all Eilenberg-Steenrod axioms on the category of pairs of precompact uniform spaces, is precompact uniform shape invariant and intrinsically, in terms of uniform structures, describes the Alexander-Spanier cohomology groups of compactifications of completely regular spaces.     

Tensor Products in Categories of Topological Spaces

In this paper symmetric monoidal closed structures on coreflective subcategories of the category of (Hausdorff) topological spaces are studied. We describe all such structures on the category of (Hausdorff) pseudoradial spaces and some of its subcategories and give an example of a coreflective subcategory of the category of Hausdorff topological spaces admitting a proper class of symmetric monoidal closed structures.     

Quantified functional analysis and seminormed spaces: A dual adjunction

In this work we investigate the natural algebraic structure that arises on dual spaces in the context of quantified functional analysis. We show that the category of absolutely convex modules is obtained as the category of Eilenberg-Moore algebras induced by the dualization functor [−,R] on locally convex approach spaces. We also establish a dual adjunction between the latter category and the category of seminormed spaces.