The Gelfand duality says that
$$X\to C(X)$$
is a contravariant equivalence between the category of compact Hausdorff spaces and continuous maps and the category of commutative unital $C^*$-algebras and continuous $*$-homomorphisms. A well known generalization of $C^*$-algebras are *pro-$C^*$-algebras*. Pro-$C^*$-algebras are topological $*$-algebras that are cofiltered limits of $C^*$-algebras (in the category of topological $*$-algebras). See for instance this paper by Phillips. If $X$ is a weakly Hausdorff compactly generated space, it is not hard to see that $C(X)$, the continuous functions from $X$ to $\mathbb{C}$, is a pro-$C^*$-algebra. Indeed, it is the cofiltered limits of $C(K)$, as $K$ ranges over all compact Hausdorff subspaces of $X$. My question is:

Is the functor $$X\to C(X)$$ a contravariant equivalence between the category of weakly Hausdorff compactly generated spaces and continuous maps and the category of commutative unital pro-$C^*$-algebras and continuous $*$-homomorphisms?

Few remarks:

In the paper by Phillips mentioned above, Theorem 2.7, it is shown that the functor above is a contravariant equivalence between the category of completely Hausdorff quasitopological spaces and the category of commutative unital pro-$C^*$-algebras. It is also shown, in Example 2.11, that when restricted to the full subcategory of completely Hausdorff compactly generated spaces, this functor is not essentially surjective. But this still doesn't answer my question, because maybe on weakly Hausdorff compactly generated spaces this functor is essentially surjective.

Apparently, the reason Phillips insists on working with completely Hausdorff (quasi)topological spaces is that the way he proves this result is by constructing an inverse equivalence which assigns to any commutative unital pro-$C^*$-algebra its spectrum. The way he defines the spectrum, it can be shown that if $A$ is a commutative unital pro-C*-algebra, the spectrum of $A$ is completely Hausdorff. But, again, this doesn't answer my question, because maybe one can define an inverse equivalence in a different way, or maybe one can just show that this functor is fully-faithful and essentially surjective.

The main reason I am asking is that the category of weakly Hausdorff compactly generated spaces is very important in algebraic topology and homotopy theory, and such a result would imply that pro-$C^*$-algebras are exactly the non-commutative version of it.

**Remark:** I used the terminology of the paper of Phillips that I referred to. Note that the category of pro-$C^*$-algebras is not the pro-category of the category of $C^*$-algebras. In particular, its objects are topological $*$-algebras and not cofiltered diagrams of $C^*$-algebras. Some authors call pro-$C^*$-algebras *locally $C^*$-algebras*. It can be shown that the pro-category of the category of $C^*$-algebras contains the category of pro-$C^*$-algebras, as a full coreflective subcategory.

**Edit:** Due to Simon's answer the functor $X\to C(X)$ defined above is clearly not faithful. But the following question remains: Is this functor full and essentially surjective. If so then it would induce a contravariant equivalence of categories between $\overline{CGWH}$ and the category of commutative unital pro-$C^*$-algebras, where $\overline{CGWH}$ is the category of weakly Hausdorff compactly generated spaces and equivalence classes of continuous maps, where two continuous map $X\rightrightarrows Y$ are called equivalent if the induced maps $C(Y)\rightrightarrows C(X)$ are the same.

5more comments