Yoneda completeness

We develop some quasimetric theory in the more general context of distances, functions merely satisfying the triangle inequality. In particular, we take a closer look at Yoneda completeness and show how it can be characterized by holes and supremums of directed and approximately unital subsets. We also examine the relationship between Yoneda completeness and generalizations of semicontinuity, with applications to ordered normed spaces.

[1]  Michael B. Smyth,et al.  Quasi Uniformities: Reconciling Domains with Metric Spaces , 1987, MFPS.

[2]  L. G. Brown.  Some Directed Subsets of C*-algebras and Semicontinuity Theory , 2014, 1404.1383.

[3]  Hans-Peter A. Künzi,et al.  On the Yoneda completion of a quasi-metric space , 2002, Theor. Comput. Sci..

[4]  Hans-Peter A. Künzi,et al.  Nonsymmetric Distances and Their Associated Topologies: About the Origins of Basic Ideas in the Area of Asymmetric Topology , 2001 .

[5]  Marcello M. Bonsangue,et al.  Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding , 1995, Theor. Comput. Sci..

[6]  S. Cobzacs,et al.  Functional analysis in asymmetric normed spaces , 2010, 1006.1175.

[7]  Yong-woon Kim.  Pseudo quasi metric spaces , 1968 .

[8]  C. Ward Henson,et al.  Model Theory with Applications to Algebra and Analysis: Model theory for metric structures , 2008 .

[9]  Jean Goubault-Larrecq,et al.  Non-Hausdorff topology and domain theory , 2013 .

[10]  G. Pedersen.  C-Algebras and Their Automorphism Groups , 1979 .

[11]  Pawel Waszkiewicz,et al.  The formal ball model for -categories , 2010, Mathematical Structures in Computer Science.

[12]  L. G. Brown.  Semicontinuity and Multipliers of C*-Algebras , 1988, Canadian Journal of Mathematics.

[13]  Kim Ritter Wagner,et al.  Liminf Convergence in Omega-Categories , 1997, Theor. Comput. Sci..

[14]  W. A. Wilson.  On Quasi-Metric Spaces , 1931 .

[15]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[16]  G. Pedersen,et al.  Complications of semicontinuity in $C\sp{\ast}$-algebra theory , 1973 .