Two generalized uniform structures namely fuzzy quasi-uniformity and fuzzy local quasi-uniformity are introduced. Conditions of fuzzy quasi-uniformizability and quasi-metrizability are examined. Mathematics Subject Classification: 54E15, 54A20

The aim of this note is to show how various facts in classical topology connected with semicontinuous functions and the semicontinuous quasi-uniformity have their counterparts in pointfree topology. In particular, we introduce the localic semicontinuous quasi-uniformity, which generalizes the semicontinuous quasiuniformity of a topological space (known to be one of the most important examples o...

For any weightable quasi-metric space (X, d) having a maximum with respect to the associated order ≤d, the notion of the quasi-metric of complexity convergence on the the function space (equivalently, the space of sequences) X, is introduced and studied.We observe that its induced quasi-uniformity is finer than the quasi-uniformity of pointwise convergence and weaker than the quasi-uniformity o...

We generalize the notions of quietness and semisymmetry defined by Doitchinov (1991) and Deák (1991) and we study the role of these extended notions on the coincidence of some well-known quasi-uniform completeness. In particular, it is shown that the bicompletion coincides (up to quasi-uniformism) with the standardD-completion in quiet -weakly pair Cauchy bounded quasi-uniform spaces and it coi...

A bijective correspondence between strong inclusions and compactifications in the setting of σ-frames is presented. The category of uniform σ-frames is defined and a description of the Samuel compactification is given. It is shown that the Samuel compactification of a uniform frame is completely determined by the σ-frame consisting of its uniform cozero part, and consequently, any compactificat...

Introduction 2 • PTIME decidable uniform word problems for quasi-varieties • CS applications: type inference systems, program analysis, decision procedures in ATP • fundamental effective methods for establishing PTIME upper bounds • local theories (Givan, McAllester 92) capture PTIME • algebraic criteria by Skolem (1920), Evans (1951), and Burris (1995) • relation between these criteria Introdu...

Making use of the presentation of quasi-uniform spaces as generalised enriched categories, and employing in particular the calculus of modules, we define the Yoneda embedding, prove a (weak) Yoneda Lemma, and apply them to describe the Cauchy completion monad for quasi-uniform spaces.

This paper gives analogies of Hutton’s quasi-uniformities for complete lattices and extensions of Shi’s pointwise quasi-uniformities to closed set lattices.CLGOH denotes the category of all complete lattices with generalized order homomorphisms asmorphisms and CSL the category of all closed set lattices.HQUnif and SPQUnif denote the categories of Hutton quasi-uniform spaces on complete lattices...