Does the class of Hausdorff spaces have a shared "Coordinate space"?

First of all, let me point out that $[0,1]$ is not a coordinate space for the class of completely regular spaces.

The definition of completely regular spaces says that for any closed $C \subset X$ and any point $p \notin C$, there is a continuous $[0,1]$-valued function (say $f$) mapping $p$ to $1$ and mapping every point in $C$ to $0$. It does not say that $f^{-1}(0,1] = X-C$. In other words, $f$ does map $C$ to $0$, but it may also map some other points to $0$ as well.

For example, it can be shown that any continuous function $f: \omega_1 \rightarrow [0,1]$ is eventually constant. It follows that $[0,1]$ is not a coordinate space for $\omega_1+1$: the open set $\omega_1$ is never equal to $f^{-1}(U)$ for an open $U \subseteq [0,1]$ and continuous $f: \omega_1+1 \rightarrow [0,1]$, because $f$ maps a tail of $\omega_1$ to a single point $c$, and must (by continuity) map a tail of $\omega_1+1$ to $c$. So if $f^{-1}(U)$ contains $\omega_1$, it contains $\omega_1+1$.

A similar argument shows

There is no Hausdorff coordinate space for the class of Hausdorff spaces.

To prove this, suppose $C$ is such a space. Let $\kappa$ be a regular cardinal bigger than $|C|$. Any function $\kappa \rightarrow C$ must map an unbounded subset of $\kappa$ to a single point (there's no topology involved in this statement -- it's just because $\kappa$ is regular and bigger than $|C|$). Now consider the ordinal space $\kappa+1$. As above, the open set $\kappa$ is never equal to $f^{-1}(U)$ for an open $U \subseteq C$ and continuous $f: \kappa+1 \rightarrow C$.


A classical notion was considered and solved in an elegant paper by Stanisław Mrówka: (1) instead of arbitrary open subspaces of $\ X\ $ one simply considers just X itself; and (2) instead of a single space $\ C,\ $ one considered the class of all powers $\ C^S.\ $ Then Stanisław Mrówka answered that this kind of embeddability problem is characterized by the property of separating points from closed subsets of $\ X\ $ by functions into $\ C^F,\ $ where this time the exponents $\ f\ $ are just finite sets--a very elegant conceptual theorem.

Acknowledgment--thank you, Will Brian, for pointing to my earlier error.