It is well known that for any compact metric space $(X, d)$, and any ultrafilter $\mu$ there is a map $i_\mu:\prod_\mu (X, d) \to (X_d)$ in the category of metric spaces and Lipschitz maps where $i_\mu$ is an isomorphism in this category (and in particular an inverse to the constant map $\Delta: (X, d) \to \prod_\mu (X, d)$).
It is also known that for any compact topological space $(X, O(X))$ and ultrafilter $\mu$ there is a map $i_\mu: \prod_\mu X \to X$ such that for all $U \in O(X)$:
$$ (\forall (x_n) \in \prod_\mu X)\ i_\mu(x_n) \in U \leftrightarrow \{j : x_j \in U\} \in \mu. $$
Further the ultraproduct $\prod_\mu (X, O(X))$ in the category of (compact Hausdorff) topological spaces has $\prod_\mu X$ as its underlying set.
My questions are: For which compact Hausdorff topological spaces is $i_\mu$ always continuous? For which compact Hausdorff topological spaces is $i_\mu$ always a homeomorphism?
