Uniform-type structures on lattice-valued spaces and frames

  title={Uniform-type structures on lattice-valued spaces and frames},
  author={Javier Guti{\'e}rrez Garc{\'i}a and Iraide Mardones-P{\'e}rez and Jorge Picado and Mar{\'i}a Angeles de Prada-Vicente},
  journal={Fuzzy Sets Syst.},
By introducing lattice-valued covers of a set, we present a general framework for uniform structures on very general L-valued spaces (for L an integral commutative quantale). By showing, via an intermediate L-valued structure of uniformity, how filters of covers may describe the uniform operators of Hutton, we prove that, when restricted to Girard quantales, this general framework captures a significant class of Hutton's uniform spaces. The categories of L-valued uniform spaces and L-valued… Expand
On the uniformization of L-valued frames
This note discusses the appropriate way of uniformizing the notion of an L-valued frame introduced by A. Pultr and S. Rodabaugh in [Lattice-valued frames, functor categories, and classes of soberExpand
On the uniformization of lattice-valued frames
This note discusses the appropriate way of uniformizing the notion of a lattice-valued frame introduced by Pultr and Rodabaugh in 2003 and shows that this is a complete and cocomplete category that extends in a nice manner the category of uniform frames. Expand
A non-commutative approach to uniform structures
  • K. El-Saady
  • Computer Science, Mathematics
  • J. Intell. Fuzzy Syst.
  • 2016
By introducing quantale-valued covers of a set, this paper presents a general framework for uniform structures on very general L-valued spaces (for L a quantale) and presents a theory of uniform-type structures in the non-commutative sense. Expand
On lattice-valued frames: The completely distributive case
This investigation forms the category L-Frm of L-frames under the weaker assumption that L is a completely distributive lattice, and proves that, in a certain sense, the assumption of L being a completely distributed lattice cannot be weakened. Expand
Covering L-locally uniform spaces
In this paper, we develop the notion of covering 𝐿 −locally uniform spaces. Interior and closure operators were then introduced to show that every covering 𝐿 −local uniformity induced a regular 𝐿Expand
Fuzzy uniform structures and continuous t-norms
For each continuous t-norm, it is proved that the category of all fuzzy uniform spaces in the authors' sense is isomorphic to the categories of uniform spaces (and uniformly continuous mappings) by means of a covariant functor. Expand
The purpose of this manuscript is to identify the topological spaces that generates a unique covering L−locally uniform spaces [1]. For this we have introduced the notion of strong completeness,Expand
α*-Uniformities and their order structure
The aim of this paper is to introduce α*-uniformity on a non-empty set X using α*-covers of X in L-fuzzy set theory and investigate its lattice structure. Equivalent conditions for an α*-uniformityExpand
Fuzzy Galois connections categorically
The results obtained show that the Theory of enriched categories makes it possible to present the theory of fuzzy Galois connections in a succinct way; and more importantly, it provides a useful method to express and to study the link and the difference between the commutative and the non-commutative worlds. Expand


Category theoretic aspects of chain-valued frames: Part I: Categorical and presheaf theoretic foundations
It is established that standard category-theoretic properties hold for L-Frm (the category of L-frames and L-frame morphisms), properties which are a platform for the ''upper'' free functor L and ''lower'' freefunctor R used in Part II to give a broad range of applications of chain-valued frames to lattice-valued topology. Expand
Lattice-Valued Frames, Functor Categories, And Classes Of Sober Spaces
This chapter introduces lattice-valued frames or L- frames, related to traditional frames analogously to how L-topological spaces relate to traditional spaces, via level sets and level mappingsExpand
Category theoretic aspects of chain-valued frames: Part II: Applications to lattice-valued topology
This paper constructs ''upper'' free functor L and ''lower'' freeFunctor R, and gives insight into the construction of ''universal''L-topological spaces and a coherent argument that L-Top must accommodate both kinds of spaces. Expand
Commutative, residuated 1—monoids
The purpose of this paper is to outline a common framework for a diversity of monoidal structures which constitute the basis of various papers in fuzzy set theory. The most frequent structures weExpand
A Unified Approach To The Concept Of Fuzzy L-Uniform Space
It seems natural and urgent to find a common context as broad as necessary for these theories and to develop a general approach containing the previously obtained results as special cases. Expand
A theory of fuzzy uniformities with applications to the fuzzy real lines
Abstract For each completely distributive lattice L with order-reversing involution, the fuzzy real line R (L) is uniformizable by a uniformity which both generates the canonical (fuzzy) topology andExpand
The quantale of Galois connections
Abstract.Galois connections were originally expressed in a contravariant form with transformations that reverse (rather than preserve) order. Nowadays its covariant form (as residuated maps) is moreExpand
Reflectors and coreflectors in the category of fuzzy topological spaces
Abstract Using a certain number of very elementary functors, explicit formulas are given for the bireflection or/and bicoreflection of TOP (topological spaces), FNS (fuzzy neighborhood spaces) andExpand
The Galois Approach to Uniform Structures
Entourages in uniform spaces, being binary relations, may be easily described by polarities (i.e. Galois connections between power sets) and axialities (i.e. residuated pairs between power sets).Expand
The Topological Modification of the L-fuzzy Unit Interval
In 1975, Hutton invented the L-fuzzy unit interval I(L) a very fruitful concept which enabled him to characterize the normal L-fuzzy topological spaces in terms of Urysohn’s type lemma and toExpand