Let $X$ be a nice scheme (additional assumptions could be added), and let $ET(X)$ be its (Artin-Mazur) etale homotopy type. I am looking for a/the scheme $Y$ over $X$ whose etale homotopy type $ET(Y)$ will be the topological universal cover of $ET(X)$. By definition $ET(X)$ is the geometric realization of a simplicial set, and it was pointed out to me that if $Y \rightarrow X$ is the universal cover of a simplicial set $X$, then the geometric realization $|Y|$ is the topological universal cover of $|X|$. What is the meaning of "Universal cover of a simplicial set"; Is there a reference for that, and also for the second assertion?. How could we apply this to find $Y$?