Results 41 to 50 of about 149 (94)
The Katětov construction modified for a T0T0-quasi-metric space [PDF]
, 2012 We discuss the existence and uniqueness of a T0T0-quasi-metric space qUqU defined by the following three conditions: (i) qUqU is bicomplete and supseparable, (ii) every isometry between two finite subspaces of qUqU extends to an isometry of qUqU onto ...
Hans-Peter A. Künzi +4 more
core +1 more source
Cuntz semigroups of ultraproduct C*-algebras [PDF]
, 2020 We prove that the category of abstract Cuntz semigroups is bicomplete. As a consequence, the category admits products and ultraproducts. We further show that the scaled Cuntz semigroup of the (ultra)product of a family of C∗-algebras agrees with the ...
Antoine Riolobos, Ramon +2 more
core +1 more source
Fuzzy bicompletable quasi-fuzzy distance space
International Journal of Applied Mathematical Research, 2016 In this paper we introduce the definition of quasi-fuzzy distance space then we discuss several properties of this space after we give an example to illustrate this notion. Then we show that the existence of a quasi-fuzzy distance space which is not fuzzy bicompletable.
Jehad Kider, Aisha J. Hassan
openaire +2 more sources
Bicompleteness of the fine quasi-uniformity [PDF]
, 2017 A characterization of the topological spaces that possess a bicomplete fine quasi-uniformity is obtained. In particular we show that the fine quasi-uniformity of each sober space, of each first-countable T1-space and of each quasi-pseudo-metrizable space
Ferrario, Nathalie +1 more
core
Coherence Completions of Categories and Their Enriched Softness [PDF]
, 1997 We summarize some recent results on coherence completions of categories. Our goal is to demonstrate that there is a close connection between Girard's coherence spaces and free bicomplete categories. We extend coherence spaces to C-valued coherence spaces
Joyal, André, Hu, Hongde
core +1 more source
More on upper bicompletion-true functorial quasi-uniformities
Topology and its Applications, 2011 Let \({\mathbf Q}{\mathbf U}_0\) be the category of quasi-uniform \(T_0\)-spaces and \(K:{\mathbf Q}{\mathbf U}_0\to{\mathbf Q}{\mathbf U}_0\) be the bicompletion reflector. If \(T:{\mathbf Q}{\mathbf U}_0\to{\mathbf T}{\mathbf o}{\mathbf p}_0\) is the forgetful functor to the category \({\mathbf T}{\mathbf o}{\mathbf p}_0\) of topological \(T_0 ...
Sioen, Mark +2 more
openaire +2 more sources
On The Existence Of Category Bicompletions
, 2009 A completeness conjecture is advanced concerning the free small-colimit completion P(A) of a (possibly large) category A. The conjecture is based on the existence of a small generating-cogenerating set of objects in A. We sketch how the validity of the result would lead to the existence of an Isbell-Lambek bicompletion C(A) of such an A, without a ...
openaire +2 more sources
Cofinal bicompleteness and quasi-metrizability [PDF]
, 1999 [EN] We introduce the notions of a cofinally bicomplete quasi-uniformity and of a cofinally bicomplete quasi-pseudometric. The Sorgenfrey quasi-metric and the Kofner quasi-metric are interesting examples of cofinally bicomplete quasi-metrics.
Romaguera Bonilla, Salvador +3 more
core
The six operations in topology [PDF]
, 2023 In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any closed ...
Volpe, Marco
core +1 more source
A class of exactness properties characterized via left Kan extensions
, 2022 We consider a general class of exactness properties on a finitely complete category, all of which can be expressed as the condition that a certain morphism in a diagram is a strong epimorphism.
Jacqmin, Pierre-Alain
core +1 more source