Your space $C$ is the collection of functions $f:\omega=\{0,1,2,\ldots\}\to \{0,1\}=X$, i.e. the collection of infinite binary sequences. I will try to illustrate how we can understand the space $C$ and its topology below, deriving some of its properties.
The basic open sets in this collection are (by definition) infinite products of open sets in $X$ where all but finitely many factors are $X$. Suppose the factors correspond to a sequence $k_1<k_2<\cdots<k_s$ of natural numbers. At these factors (assuming the set is not empty) there correspond either the open set $\{0\}$ or the open set $\{1\}$. So we can associate to each basic open set $O$ a function from a finite subset $F=\{k_1,\ldots,k_s\}$ of $\omega$ to $X$. This is a bijection. Note that if $f,g\in O$ and $F$ is associated to $O$; then $f\mid F=g\mid F$.
Now take a function $f:\omega\to X$. We can consider the open sets $O_i=\prod_{k=0}^i \{f(k)\}\times X\times \cdots$. Note that given any basic open set $O$ that contains $f$, there is $j$ such that $O_j\subseteq O$ (can you prove this?). This means that the collection $\mathscr B=\{O_i:i\in\omega\}$ is a neighborhood basis for $f$. This means our space is second countable! It is also separable, since the collection of functions that are eventually constant is countable and dense: given a basic neighborhood $O_i$ of $f$, the function that agrees with $f$ on $\{0,1,2,\ldots,i\}$ and is constant afterwards is in $O_i$. This proves this space is also perfect.
In particular $g\in \overline{\{f\}}$ iff $g$ agrees with $f$ on $\{0,1,\ldots,i\}$ with each $i$. This means $g=f$; so singletons are closed $\{f\}$. In fact your space is Hausdorff: if $g$ and $f$ do not agree at position $k$ (say one takes the value $0$ and the other $1$), then $\cdots\times X\times \{0\}\times X\times\cdots$ and $\cdots\times X\times \{1\}\times X\times\cdots$ are disjoint open sets that contain them.
Actually, your space is metrizable, and the neigborhood basis we obtained gives a decent idea of what this metric is: we define $d(f,g)=2^{-\nu(f,g)}$ where $\nu(f,g)$ is the first $k\in\omega$ such that $f(k)\neq g(k)$. We define $\nu(f,f)=\infty$, of course! Note then that $O_i=\{g\in C:d(f,g)<2^{-i}\}$. Check that $d(f,g)$ is indeed a metric.
Finally, your space is compact. Since we've shown it is metrizable, we can simply check it is sequentially compact. Now take a sequence of functions $(f_i)$ in your space. If we look at $f_i(0)$ for $i=1,2,3,\ldots$, we get a sequence of zeros and ones. Since this sequence is infinite, either the ones or the zeros repeat infinitely often. So we can take a subsequence indexed by $N_0$ that has all its first coordinates equal to say $x_0\in \{0,1\}$. Now look at the second coordinate of this sequence, and repeat the process to get $N_1\subseteq N_0$ and some $x_1$. We get a sequence of nested infinite subsets $N_0\supseteq N_1\supseteq N_2\supseteq \cdots$, and we may thus take a subsequence $f_{k_j}$ such that $k_i\in N_i-N_{i+1}$. You can check that this subsequence converges to the $f$ such that $f(i)=x_i$ (note this is just another diagonalization trick!).
Given we have exhibited your space as a metric space, I believe you can understand its topology quite nicely. Now, note that the Cantor set consists of real numbers whose ternary expansion contains only $0$s and $2$s. Does this give you an idea of what a possible homeomorphism $\eta:C'\to C$ may be?
Best Answer
I think I know what you are after.
The first iteration $D_1 = [0,1)$.
The second iteration $D_2 = [0,\frac13) \cup [\frac23,1)$.
The second iteration $D_3 = [0,\frac19) \cup [\frac29,\frac13) \cup [\frac23,\frac79) \cup [\frac89,1)$.
The $k$th iteration $D_k = \frac13 C_{k-1} \cup (\frac23 + \frac13 C_{k-1})$.
Then $D = \bigcap_k D_k$.
We can express $D$ using base 3 expansions. The Cantor Set is $$ C = \{0.a_1a_2a_3\dots (\text{base $3$}):a_i=0\text{ or }2\} ,$$ and $D$ is those elements of the Cantor set whose base 3 expansion does not end in recurring 2s.
If you start with $(0,1)$, you will end up with those elements of the Cantor set whose base 3 expansion neither terminate, nor end up in recurring 2s.
If you start with $[0,1] \setminus \mathbb Q$, you will simply end up with $C \setminus \mathbb Q$.