Open AccessYoneda Completion via a DCPO Completion of its Poset of Formal Balls
Author(s) -
Kok Min Ng,
Weng Kin Ho
Publication year - 2017
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.2017.08.009
Subject(s) - idempotence , mathematics , partially ordered set , completion (oil and gas wells) , algebra over a field , combinatorics , discrete mathematics , pure mathematics , petroleum engineering , engineering
In this paper, we demonstrate how an idempotent Yoneda completion of quasi-metric spaces can be obtained using the Kostanek-Waszkiewicz Theorem and the dcpo completion of their posets of formal balls. This fills a gap in the current literature concerning the lack of an idempotent Yoneda completion.
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