\(P\)-embeddings, AR and ANR spaces (Q1397814)

If \(X\) is a topological space, \(B\subset X\) is said to be \(P_0\)-embedded if 1) \(B\) is the zero set of a continuous real function on \(X\), and 2) every pseudometric \(\lambda:B\times B\to\mathbb{R}\) which is continuous (with the product topology) extends to a continuous pseudometric on \(X\). This paper characterizes metrizable absolute retracts or absolute neighborhood retracts by the extendability of maps from \(B\) to \(X\) where \(B\) is \(P_0\)-embedded. It also proves Morita's generalization [\textit{K. Morita}, Fundamenta Math. 88, 1-6 (1975; Zbl 0304.55009)] of Borsuk's homotopy extension theorem.