This is a question based on the heuristics that most things in algebraic/differential topology has an analogue in algebraic geometry.
The fundamental group classifies the covering spaces of a (pointed, connected, path connected, semilocally simply connected topological) space. First we construct the universal cover as a space of paths and equip it with compact-open topology. And then we use the action of the fundamental group on the cover to define the space as a quotient. And by actions of the subgroups, we construct all the covering spaces, which are in one-one correspondence with the conjugacy classes of subgroups of fundamental group of the pointed space.
The question is, up to what extent can we carry over this setup to algebraic geometry? There are the appropriate notions of etale coverings and etale fundamental groups already, and by GAGA for smooth algebraic varieties one can already see some hope.
So, are there algebraic geometric analogues of the theorem on existence of universal cover and the theorem classification of covering spaces in one-one correspondence with conjugacy classes of subgroups of the fundamental groups?