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.     

Locale的弱拓扑表达

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

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.     

Every topological category is convenient for Gelfand duality

In this paper we generalize our work on Gelfand dualities in cartesian closed topological categories [42] to categories which are only monoidally closed. Using heavily enriched category theory we show that under very mild conditions on the base category function algebra functor and spectral space functor exist, forming a pair of adjoint functors and establishing a duality between function algebras and spectral spaces. Using recent results in connection with semitopological functors, we show that every (E,M)-topological category is endowed with at least oneconvenient monoidal structure admitting a generalized Gelfand duality. So it turns out that there is no need for a cartesian closed structure on a topological category in order to study generalized Gelfand-Naimark dualities.     

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.     

Strongly internal sets and generalized smooth functions

Based on a refinement of the notion of internal sets in Colombeau's theory, so-called strongly internal sets, we introduce the space of generalized smooth functions, a maximal extension of Colombeau generalized functions. Generalized smooth functions as morphisms between sets of generalized points form a sub-category of the category of topological spaces. In particular, they can be composed unrestrictedly.     

Baire generalized topological spaces, generalized metric spaces and infinite games

Different generalizations of topological Baire spaces to the case of generalized topological spaces are considered and the properties of such spaces are examined. In particular, these considerations are focused on the relationship between Baire generalized topological spaces and semi-continuous real functions and infinite games. The notion of generalized metric spaces corresponding to generalized topological spaces is introduced as an important tool in this discussion.     

L-模糊拓扑上的内部算子

根据L-模糊拓扑自身的特点,在L-模糊拓扑空间中引入了内部度的定义,详细讨论了它的性质,提出了L-模糊拓扑上的内部算子的概念,论证了L-TFIN(拓扑的L-模糊内部空间和其上的连续映射构成的范畴)同构于L-FTOP(L-模糊拓扑空间和其上的连续映射构成的范畴).     

A Note on Hilbert Algebras and Their Related Generalized Esakia Spaces

Generalized Esakia spaces are the topological duals of bounded implicative semilattices in the duality studied by G. Bezhanishvili and R. Jansana. We study the relation between a Hilbert algebra and the generalized Esakia space dual to its free implicative semilattice extension. To establish the relation we introduce a category whose objects are a generalized Esakia space together with a family of clopen up-sets that constitutes a subalgebra of the implication fragment of the Heyting algebra of the up-sets of the generalized Esakia space.     

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.     

Fibrewise injectivity and Kock–Zöberlein monads

Using Escardó’s characterization of injectivity via Kock–Zöberlein monads, we introduce suitable monads in comma categories of topological spaces that yield characterizations of fibrewise injectivity in topological T0-spaces, with respect to the class of embeddings, and of dense, of flat and of completely flat embeddings. Characterizations, in the category of topological spaces, of injective maps with respect to the same classes of embeddings follow easily from the results obtained for T0-spaces. Moreover, it is shown that, together with the corresponding embeddings, injective continuous maps form a weak factorization system in the category of topological (T0-)spaces and continuous maps.     

Uniform universal covers of uniform spaces

We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular Peano continua, as well as more pathological spaces like the topologist's sine curve. The uniform universal cover of a coverable space is a kind of generalized cover with universal and lifting properties in the category of uniform spaces and uniformly continuous mappings. Associated with the uniform universal cover is a functorial uniform space invariant called the deck group, which is related to the classical fundamental group by a natural homomorphism. We obtain some specific results for one-dimensional spaces.     

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…     

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.     

广义度量空间和偏序集

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

Compact Hausdorff fuzzy topological spaces are topological

Many examples of compact fuzzy topological spaces which are highly non topological are known [5, 6]. Equally many examples of Hausdorff fuzzy topological spaces which are highly non topological can be given. In this paper we show that the two properties - compact and Hausdorff - combined however necessarily imply that the fuzzy topological space is topological. This at once solves some open questions with regard to the compactification of fuzzy topological spaces [8]. It also emphasizes once more the particular role played by compact Hausdorff topological spaces not only in the category of topological spaces but even in the category of fuzzy topological spaces.     

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

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.     

拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射

从整体角度出发，证明了拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚ是ＴＭＬ的反射与余反射（非满）子范畴．     

On the sectional category of subgroup inclusions and Adamson cohomology theory

The sectional category of a subgroup inclusion $H?G$ can be defined as the sectional category of the corresponding map between Eilenberg–MacLane spaces. We extend a characterization of topological complexity of aspherical spaces given by Farber, Grant, Lupton and Oprea to the context of sectional category of subgroup inclusions and investigate it by means of Adamson cohomology theory.