Here are my few questions that I encountered while going through Tychonoff's theorem in [Wikipedia](https://en.wikipedia.org/wiki/Tychonoff%27s_theorem).

a) First of all, so far I was thinking that Heine Borel definition of compactness implies sequential compactness but not the other way around (although I am failing to find some examples to appreciate it). But what Wikipedia says is that " but NEITHER implies the other in general topological space. What am I missing here ?

b) It is easy to see that finite product ( countable product is not true, right ? ) of sequentially compact spaces is compact which we can see using diagonalization argument.
and it discusses of embedding $X$ ( completely regular Hausdorff space ) into $[0,1]^{C(X,[0,1])}$ (what does $[0,1]^{C(X,[0,1])}$ mean? I am not able to make any sense) , where $C(X,[0,1])$ is the set of continuous map from $X$ to $[0,1]$. I would appreciate your help.  

Thanks!