Normality, regularity and contractive realvalued maps (Q1794275)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Normality, regularity and contractive realvalued maps |
scientific article |
Statements
Normality, regularity and contractive realvalued maps (English)
0 references
15 October 2018
0 references
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.
0 references
approach normality
0 references
monoidal normality
0 references
regularity
0 references
approach space
0 references
quasimetric space
0 references
uniform approach space
0 references