Characterizing some topological spaces with set-valued maps to a space with an original point (Q6545217)

An \textit{original point} in a space~\(Y\) is a point~\(o\) that has a neighbourhood base \(\{O_n:n\in\mathbb{N}\}\) with the property that \(\overline{O_{n+1}}\subseteq O_n\) for all~\(n\) and none of the \(O_n\)~is closed in~\(Y\).\par The author characterizes various (monotone) properties such as (semi-)stratifiability and monotone countable meta\slash paracompactness in terms of monotone between the families of lower and upper semi-continuous set-valued maps to a space~\(Y\) with an original point~\(o\). To give the flavour: a space~\(X\) is stratifiable iff there is a monotone map~\(\Phi\) that transforms lower semi-continuous maps with closed values into upper semi-continuous maps (again with closed values) in such a way that for every lsc map~\(\phi\) one has \(\bigcap_{n\in\mathbb{N}}\overline{\Phi(\phi)^\#[O_n]} \subseteq\phi^\#[\{o\}]=\Phi(\phi)^\#[\{o\}]\). Here \(\phi^\#[A]\) denotes \(\{x:\phi(x)\subseteq A\}\).