Hostname: page-component-74656f9884-j7cmm Total loading time: 0 Render date: 2026-11-08T06:34:41.312Z Has data issue: false hasContentIssue false
  • English
  • Français

Yoneda completeness

Published online by Cambridge University Press:  28 February 2017

TRISTAN BICE
TRISTAN BICE*
Affiliation:
Instytut Matematyczny Polskiej Akademii Nauk, Warszawa, Poland Email: Tristan.Bice@gmail.com
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We characterize Yoneda completeness for non-symmetric distances by combinations of metric and directed completeness. One of these generalizes the Kostanek–Waszkiewicz theorem on formal balls.

Information

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 28 , Issue 4 , April 2018 , pp. 548 - 561
Copyright
Copyright © Cambridge University Press 2017 

References

Akemann, C.A. and Pedersen, G.K. (1973). Complications of semicontinuity in C*-algebra theory. Duke Mathematical Journal 40 (4) 785–795.Google Scholar
Bice, T. (2016). Semicontinuity in ordered Banach spaces. arXiv:1604.03154v1 [math.FA].Google Scholar
Bonsangue, M., van, Breugel, F. and Rutten, J. (1998). Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Theoretical Computer Science 193 (12) 1–51.CrossRefGoogle Scholar
Brown, L.G. (1988). Semicontinuity and multipliers of C*-algebras. Canadian Journal of Mathematics 40 (4) 865–988.Google Scholar
Goubault-Larrecq, J. (2013). Non-Hausdorff Topology and Domain Theory, New Mathematical Monographs, vol. 22, Cambridge University Press, Cambridge. [On the cover: Selected topics in point-set topology].Google Scholar
Kostanek, M. and Waszkiewicz, P. (2011). The formal ball model for $\TBmathcal{Q}$ -categories. Mathematical Structures in Computer Science 21 (1) 41–64.Google Scholar
Künzi, H.P. and Schellekens, M.P. (2002). On the Yoneda completion of a quasi-metric space. Theoretical Computer Science 278 (1–2) 159–194. Mathematical foundations of programming semantics (Boulder, CO, 1996).Google Scholar
Pedersen, G.K. (1979). C*-Algebras and Their Automorphism Groups, London Mathematical Society Monographs, vol. 14, Academic Press Inc. [Harcourt Brace Jovanovich Publishers], London.Google Scholar
Smyth, M.B. (1988). Quasi-uniformities: Reconciling domains with metric spaces. In: Main, M., Melton, A., Mislove, M. and Schmidt, D. (eds.) Mathematical Foundations of Programming Language Semantics (New Orleans, LA, 1987), Lecture Notes in Computer Science, vol. 298, Springer, Berlin, 236–253.Google Scholar
Wagner, K.R. (1997). Liminf convergence in Ω-categories. Theoretical Computer Science 184 (1–2) 61–104.Google Scholar