Abstract In this article it is shown that every q -hyperconvex T 0 -quasi-metric space is di-injective without appealing to Zorn's lemma. We also demonstrate that Q X as constructed… Click to show full abstract
Abstract In this article it is shown that every q -hyperconvex T 0 -quasi-metric space is di-injective without appealing to Zorn's lemma. We also demonstrate that Q X as constructed by Kemajou et al. and Q ( X ) (the space of all Katětov function pairs on X ) are di-injective. Moreover we prove that di-injective T 0 -quasi-metric spaces do not contain proper essential extensions. Among other results, we state a number of ways in which the di-injective hull can be characterized.
               
Click one of the above tabs to view related content.