This paper presents a theory of uniform-type structures in the non-commutative sense. The theory comprises the theory of covering-uniformities for quantales as a generalization of the classical theory of covering-uniformities for frames. Also, by introducing quantale-valued covers of a set, we present a general framework for uniform structures on very general L-valued spaces (for L a quantale). The categories of (covering) uniform quantales and L-valued uniform spaces here introduced and the adjunction between them is studied.
FrithJ.L., Structured Frames, Doctoral Dissertation, University of Cape Town,
1987.
4.
GilesR. and KummerH., A non-commutative generalization of topology, Indiana Univ Math J21 (1971), 91–102.
5.
GarcíaJ.G., perézI, M-., picadoJ and VicenteM.A., Uniform-type structures on lattice-valued spaces and frames, Fuzzy Sets and Systems159 (2008), 2469–2487.
6.
HöhleU., Many Valued Topology and its Applications, Kluwer Academic Publishers, Boston, 2001.
7.
HöhleU., Prime elements of non-integral quantales and their applications, Order32 (2015), 329–346. DOI: 10.1007/s11083-014-9334-8.
8.
IsbellJ., Atomless parts of spaces, Math Scand31 (1972), 5–32.
9.
MulveyC.J., &, Suppl Rend Circ Mat Palermo Ser12 (1986), 99–104.
10.
PasekaJ., Regular and normal quantales, Archivum Mathematicum22(4) (1986), 203–210.
11.
PasikaJ.and RosiekyJ., Quantales, in: Current Research in Operational Quantum Logic: Algebras, Categories, Languages, CoeckeB., MooreD.J. and WilceA., (Eds.), Fundamental Theories of Physics-series, Kluwer Academic Publishers, 2000, pp. 245–262.
12.
PicadoJ., The quantale of Galois connections, Algebra Universalis52 (2004), 527–540.
13.
PultrA., Pointless uniformities I. Complete regularity, Comment Math Univ Carolin25 (1984), 91–104.
14.
PultrA., Pointless uniformities II. (Dia)metrization, Comment Math Univ Carolin25 (1984), 105–120.
15.
RosenthalK.I., Quantales and Their Applications. Longman Scientific and Technical, London, 1990.
16.
RodabaughS.E., Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics, Int J Math Math Sci (2007), 71pages. doi: 10.1155/2007/43645.
