Open AccessQuasi-continuous Yoneda Complete Quasi-Metric Space
Author(s) -
Kok Min Ng,
Weng Kin Ho
Publication year - 2019
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2019.07.024
Subject(s) - metric space , space (punctuation) , mathematics , pure mathematics , metric (unit) , computer science , discrete mathematics , engineering , operations management , operating system
We introduce the notion of quasi-continuous Yoneda complete quasi-metric spaces and the hyperspace of finitely-generated maps. We show that the former can be completely characterized via two ways: (i) A certain class of quasi-continuous dcpos of formal balls and (ii) their hyperspace of finitely-generated maps.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom