Normality, regularity and contractive realvalued maps (Q1794275)

This paper deals with the notion of normality in the category \textbf{App} of approach spaces and contractions [\textit{R. Lowen}, Approach spaces: the missing link in the topology-uniformity-metric triad. Oxford: Clarendon Press (1997; Zbl 0891.54001)]. The authors discuss two possible formulations of it, the \textit{approach normality} (that corresponds to an appropriate version of Katětov-Tong's insertion result for real valued maps) and the \textit{monoidal normality} (that is motivated by the monoidal approach to topology of [\textit{D. Hofmann} (ed.) et al., Monoidal topology. A categorical approach to order, metric, and topology. Cambridge: Cambridge University Press (2014; Zbl 1297.18001)]). Although both normality properties coincide for topological approach spaces, a comparison of both notions for \textbf{App} remains an open question. In this paper the authors show that in \textbf{App} approach normality implies monoidal normality and that both notions coincide on the subcategory of quasimetric approach spaces. They also investigate the relation between approach normality and regularity and prove, among other results, that any approach space that is approach normal and regular is necessarily uniform.