Coreflective hull of finite strong L-topological spaces

This paper is concerned with the interaction between the logic features of the table of truth values and categorical properties of L-topological spaces and L-co-topological spaces. On one hand, it is shown that for each unital quantale L, the category of Alexandroff strong L-co-topological spaces is the coreflective hull of finite strong L-co-topological spaces. On the other hand, in the case that the quantale L is the unit interval [0,1] equipped with a continuous t-norm, it is shown that the category of Alexandroff strong [0,1]-topological spaces is the coreflective hull of finite strong [0,1]-topological spaces if and only if the continuous t-norm is an ordinal sum of the ?ukasiewicz t-norm whose set of idempotent elements is a well-ordered subset of [0,1] under the usual order.     

On adjunctions between Lim, SL-Top, and SL-Lim

Consider (L,*,1) be a commutative, strictly two-sided quantale with the underlying lattice L being meet-continuous. Two adjunctions, one is between limit spaces and stratified L-limit spaces and the other is between stratified L-limit spaces and stratified L-topological spaces, are established. The first adjunction can be viewed as an extension of Lowen's adjunction between the category of topological spaces and stratified [0,1]-topological spaces. The second is an extension of an adjunction between limit spaces and (stratified) L-topological spaces established in U. Höhle and T. Kubiak (Höhle-Kubiak, Semigroup Forum (2007)).     

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.     

L-topological vector spaces and families of L-fuzzy pseudo-norms

In this paper, the concept of a family of L-fuzzy pseudo-norms on vector spaces is proposed and the characterization of L-vector topologies in terms of a family of L-fuzzy pseudo-norms is presented. As applications of the characterization, the Hausdorff separation property, convergence of molecule nets and boundedness of L-sets in L-topological vector spaces are investigated.     

On -topological vector spaces generated by a co-tower of L-topological vector spaces

In this paper, a characterization for an I(L)-topological space to be generated by a given co-tower of L-topological spaces is obtained. Moreover, the relationship between some properties of an I(L)-topological vector space generated by a co-tower of L-topological vector spaces and the corresponding properties of the given co-tower of L-topological vector spaces is investigated. Our results show that if an I(L)-topological vector space generated by a co-tower of L-topological vector spaces has some properties, such as local convexity and local boundedness, then all L-topological vector spaces in the co-tower also have the same properties. But the converse is incorrect even in the case of I-topological vector space generated by a co-tower of classical topological vector spaces. Finally, we supply a necessary and sufficient condition for an I(L)-topological vector space generated by a co-tower of L-topological vector spaces with some properties, such as local convexity and local boundedness, to have such properties too.     

Completely prime L-filters,irreducible L-filters and sobriety

In this paper, for a frame L, we characterize modified sobriety in stratified L-topological spaces and strong L-topological spaces internally using certain classes of stratified L-filters. While the first characterization using completely prime L-filters is trivial and applies to all stratified L-topological spaces, the other one using irreducible L-filters generalizes an approach of R.E. Ho?mann to the lattice-valued case but is restricted to either the case that the lattice is a complete Boolean algebra or to the case of completely distributive lattices and strong L-topological spaces.     

Spectrum topology of a residuated lattice

In this paper, given a non-commutative residuated lattice L, a topological space is constructed using certain fuzzy subsets of L. Indeed, we show that the set of all prime fuzzy filters of a non-commutative residuated lattice L forms a topological space. Particularly, we show that this space is compact and a T ₀-space and its certain subspaces are Hausdorff spaces. Finally, we show that the set of all prime filters of L is also a Hausdorff space.     

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.     

On the Reflectivity and Coreflectivity of L-Fuzzifying Topological Spaces in L-Topological Spaces

In this paper it is proved that for all completely distributive lattices L, the category of L-fuzzifying topological spaces can be embedded in the category of L-topological spaces (stratified Chang-Goguen spaces) as a simultaneously bireflective and bicoreflective full subcategory. Received April 2, 1999, Revised January 31, 2000, Accepted February 2, 2000     

Open maps,colimits, and a convenient category of fibre spaces

We show that pulling back along an open map preserves all colimits in the category of weak Hausdorff k-spaces. We also show that the category of open maps over a weak Hausdorff k-space is a convenient category of fibre spaces.     

The metrizability of L-topological groups

In this study, we study the metrizability of the notion of L-topological group defined by Ahsanullah 1988. We show that for any (separated) L-topological group there is an L-pseudo-metric (L-metric), in sense of Gähler which is defined using his notion of L-real numbers, compatible with the L-topology of this (separated) L-topological group. That is, any (separated) L-topological group is pseudo-metrizable (metrizable).     

Invertibility in L-Topological Spaces

In this paper, we extend the concept of invertibility to $L$-topological spaces and delineate its properties. Then, we study further completely invertible $L$-topological spaces and introduce two types of invertible $L$-topologies based on the inverting maps, studying their sums, subspaces and simple extensions.     

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.     

Many homotopy categories are homotopy categories

We show that any category that is enriched, tensored, and cotensored over the category of compactly generated weak Hausdorff spaces, and that satisfies an additional hypothesis concerning the behavior of colimits of sequences of cofibrations, admits a Quillen closed model structure in which the weak equivalences are the homotopy equivalences. The fibrations are the Hurewicz fibrations and the cofibrations are a subclass of the Hurewicz cofibrations. This result applies to various categories of spaces, unbased or based, categories of prespectra and spectra in the sense of Lewis and May, the categories of L-spectra and S-modules of Elmendorf, Kriz, Mandell and May, and the equivariant analogues of all the afore-mentioned categories.     

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.      

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

Simultaneously reflective and coreflective full subconstructs of stratified L-topological spaces are concretely reflective and coreflective

Let L be a completely distributive lattice. A stratified L-topology on a set X is a subfamily of L-subsets of X which is closed with respect to arbitrary suprema and finite infinima, and contains all the constants. In this paper, it is shown that every simultaneously reflective and coreflective full subconstruct of stratified L-topological spaces is necessarily concretely reflective and coreflective. In other words, every such subconstruct is necessarily both initially and finally closed. As an application, it is demonstrated that the construct of bitopological spaces has exactly 4 simultaneously reflective and coreflective full subconstructs.     

The Cartesian product of a compactum and a space is a bifunctor in shape

In 2003 the author has associated with every cofinite inverse system of compact Hausdorff spaces X with limit X and every simplicial complex K (possibly infinite) with geometric realization P=|K| a resolution R(X,K) of X×P, which consists of paracompact spaces. If X consists of compact polyhedra, then R(X,K) consists of spaces having the homotopy type of polyhedra. In two subsequent papers the author proved that R(X,K) is a covariant functor in each of its variables X and K. In the present paper it is proved that R(X,K) is a bifunctor. Using this result, it is proved that the Cartesian product X×Z of a compact Hausdorff space X and a topological space Z is a bifunctor SSh(Cpt)×Sh(Top)→Sh(Top) from the product category of the strong shape category of compact Hausdorff spaces SSh(Cpt) and the shape category Sh(Top) of topological spaces to the category Sh(Top). This holds in spite of the fact that X×Z need not be a direct product in Sh(Top).     

On the category Q-Mod

In this paper we consider the category Q-Mod of modules over a given quantale Q. The paper is motivated by constructions and results from the category of modules over a ring. We show that the category Q-Mod is monadic, consider its relation to the category Q-Top of Q-topological spaces and generalize a method of completion of partially ordered sets. Received December 20, 2005; accepted in final form December 4, 2006.     

The fuzzy tychonoff theorem

Much of topology can be done in a setting where open sets have “fuzzy boundaries.” To render this precise, the paper first describes cl_∞-monoids, which are used to measure the degree of membership of points in sets. Then L- or “fuzzy” sets are defined, and suitable collections of these are called L-topological spaces. A number of examples and results for such spaces are given. Perhaps most interesting is a version of the Tychonoff theorem which gives necessary and sufficient conditions on L for all collections with given cardinality of compact L-spaces to have compact product.