Results 11 to 20 of about 149 (94)
Smyth completion as bicompletion [PDF]
In his thesis \textit{H. J. K. Junnila} defined the well-monotone quasi-uniformity \({\mathcal W}(X) \) of a topological space \(X\). \textit{N. Ferrario} and \textit{H. P. A. Künzi} [Math. Proc. Camb. Philos. Soc. 109, No. 1, 167-186 (1991; Zbl 0731.54021)] then showed that the sobrification of a \(T_0\)-space \(X\) can be constructed as the ...
Kopperman, Ralph +2 more
core +7 more sources
μ-Bicomplete Categories and Parity Games [PDF]
Unfortunately, it appears that LaBRI has not kept a copy of this document. An email sent to director of this institution enquiring where are kept the reports before 2005 has not received an answer. A shortened version of this report has been published as RAIRO-Theor. Inf.
Santocanale, Luigi, Luigi Santocanale
openaire +6 more sources
µ-Bicomplete Categories and Parity Games
For an arbitrary category, we consider the least class of functors con- taining the projections and closed under finite products, finite coproducts, parameterized initial algebras and parameterized final coalgebras, i.e. the class of functors that are definable by μ-terms. We call the category μ-bicomplete if every μ-term defines a functor.
Santocanale, Luigi
core +3 more sources
Fixed Point Results in Fuzzy Strong Controlled Metric Spaces with an Application to the Domain Words
In this manuscript, we introduce the notions of fuzzy strong controlled metric spaces, fuzzy strong controlled quasi‐metric spaces, and non‐Archimedean fuzzy strong controlled quasi‐metric spaces and generalize the famous Banach contraction principle. We prove several fixed point results in the context of non‐Archimedean fuzzy strong controlled quasi ...
Aftab Hussain +3 more
wiley +1 more source
Interpolative Kannan Contractions in T0‐Quasi‐Metric Spaces
In this paper, we update the well‐known fixed point theorem of Kannan using the interpolation notion in the realm of quasi‐metric spaces. We consider some asymmetric versions. We also present some illustrative examples in support of the obtained results.
Yaé Ulrich Gaba +3 more
wiley +1 more source
New Fixed Point Results in F‐Quasi‐Metric Spaces and an Application
The main goal of the present paper is to obtain several fixed point theorems in the framework of F‐quasi‐metric spaces, which is an extension of F‐metric spaces. Also, a Hausdorff δ‐distance in these spaces is introduced, and a coincidence point theorem regarding this distance is proved.
Ehsan Lotfali Ghasab +4 more
wiley +1 more source
Asymmetry and bicompletion of approach spaces
The authors introduce a functor of symmetrizing approach spaces and then develop a bicompletion theory for \(T_0\) approach spaces, which extends the the completion theory of Hausdorff uniform approach spaces obtained by \textit{R. Lowen} and \textit{K. Robeys} [ Q. J. Math., Oxf. II. Ser. 43, No. 171, 319--338 (1992; Zbl 0796.54033)].
Brummer, G.c.l., Sioen, Mark
openaire +2 more sources
UNIQUE FIXED POINT THEOREMS FOR CONTRACTIVE MAPS TYPE IN T 0 -QUASI-METRIC SPACES [PDF]
In [2], Agyingi proved that every generalized contractive mapping defined in a q-spherically complete T 0 -ultra-quasi-metric space has a unique fixed point.
Yae ́ Ulrich Gaba
core +1 more source
Bicompletions of Distance Matrices [PDF]
In the practice of information extraction, the input data are usually arranged into pattern matrices, and analyzed by the methods of linear algebra and statistics, such as principal component analysis. In some applications, the tacit assumptions of these methods lead to wrong results.
openaire +3 more sources
Ultra‐Quasi‐Metrically Tight Extensions of Ultra‐Quasi‐Metric Spaces
The concept of the tight extension of a metric space was introduced and studied by Dress. It is known that Dress theory is equivalent to the theory of the injective hull of a metric space independently discussed by Isbell some years earlier. Dress showed in particular that for a metric space X the tight extension TX is maximal among the tight ...
Collins Amburo Agyingi, Luoshan Xu
wiley +1 more source

