What is the étale fundamental group of projective space over an algebraically closed field?
In char = 0 it is trivial (Lefschetz principle), as well as in dimension 1 (Riemann-Hurwitz).
[Math] étale fundamental group of projective space
ag.algebraic-geometryfundamental-group
Related Solutions
Besides that the theories (étale fundamental group and Tannakian formalism) just formally look alike, there exist actual comparison results between certain étale and Tannakian fundamental groups.
Namely: there is Nori's fundamental group scheme $\pi_1^N(S,s)$, where $S$ is a proper and integral scheme over a field $k$ having a $k$--rational point. It is defined to be the fundamental group of some Tannakian category associated with $S$ (to be precise: The full $\otimes$-subcategory of the category of locally free sheaves on $S$ spanned by the essentially finite sheaves). In the case $k$ is algebraically closed, there is a canonical comparison morphism from Nori's fundamental group to Grothendieck's étale fundamental group, and if moreover $k$ is of characteristic zero this morphism is an isomorphism.
One more comment: The classical Tannaka-Krein duality theorem for compact topological groups (see e.g. Hewitt&Ross vol. II) should presumably be another realisation of the common generalisation you seek.
Your second question has a negative answer because you've got some variances backwards. When $f:G \rightarrow G'$ is a map of groups, by composition with $f$ one gets a functor from the category of $G'$-sets to the category of $G$-sets. As Sawin notes, there is a functor from finite etale covers of $X$ to those of $Y$, namely base change, which computes the effect of composition with $\pi_1(Y,y) \rightarrow \pi_1(X,x)$ when $X$ and $Y$ are connected with respective geometric points $x$ and $y$ (over $x$).
Let's make this all totally down-to-earth by paying more attention to the role of the base points. Let $k(y)$ and $k(x)$ denote the respective fields at $y$ and $x$, so there is a given $k$-embedding of $k(x)$ into $k(y)$. Choose $(X',x') \rightarrow (X,x)$ a Galois pointed connected finite etale cover with $k(x') = k(x)$, so $Y' := Y \times_X X'$ is a torsor over $X'$ for $\Gamma = {\rm{Aut}}(X'/X)$ (since $X'$ is a $\Gamma$-torsor over $X$, due to connectedness of $X'$ as a finite etale cover of $X$) that is equipped with a canonical $k(y)$-point $y'$ over $y$ via $k(y) \otimes_{k(x)} k(x') \simeq k(y)$. Each connected component of $Y'$ is therefore a Galois connected finite etale cover of $Y$, with Galois group given by its stabilizer in $\Gamma$. There is a preferred connected component $U(Y',y')$ of $Y'$, namely the one containing $y'$, and its covering group over $Y$ has just been seen to be a subgroup of $\Gamma$ in a natural way. Thus, we have a natural map $$\pi_1(Y,y) \twoheadrightarrow {\rm{Aut}}(U(Y',y')/Y)^{\rm{opp}} \hookrightarrow \Gamma^{\rm{opp}}.$$ This target is canonically a quotient of $\pi_1(X,x)$, and these maps compute the composition of $\pi_1(Y,y) \rightarrow \pi_1(X,x)$ by passage to the inverse limit over all $(X',x')$.
For your first question, you have to be more precise about the base points in order to formulate an answer. Consider a geometric point $x$ of $X$ over $k_s/k$ (i.e., there is a specified $k$-embedding of $k_s$ into the field at the geometric point $x$). Let $\kappa$ be the field at $x$. An element of $\pi_1(X,x)$ is a compatible system $\{f_{X',x'}:X' \simeq X'\}$ of $X$-automorphisms of a cofinal system of $\kappa$-pointed Galois connected finite etale covers $(X',x')$ of $X$ (but $f_{X',x'}$ certainly need not preserve $x'$!). For any finite Galois extension $K/k$ you would like to describe where the composite map $\pi_1(X,x) \rightarrow {\rm{Gal}}(k_s/k) \twoheadrightarrow {\rm{Gal}}(K/k)$ carries $\{f_{X',x'}\}$.
Consider the finite etale $X$-scheme $X_K$, which may or may not be connected. The field $\kappa$ contains $k_s$ over $k$ in a specified way, hence contains $K$ over $k$ in a specified way. Thus, there is a canonical map $K \otimes_k \kappa \rightarrow \kappa$, which is to say a $\kappa$-point $u(x,K)$ of $X_K$ over $x_K = {\rm{Spec}}(K \otimes_k \kappa)$. This point lies in a unique connected component $U(x,K)$ of $X_K$. But $X_K \rightarrow X$ is a ${\rm{Gal}}(K/k)$-torsor, so by degree considerations we see that each connected component is Galois over $X$ with covering group given by its stabilizer in ${\rm{Gal}}(K/k)$. In particular, $(U(x,K), u(x,K))$ is a $\kappa$-pointed Galois connected finite etale cover of $X$ with Galois group naturally inside ${\rm{Gal}}(K/k)$. Hence, $f_{U(x,K),u(x,K)}$ arises from a unique $\sigma(X,K) \in {\rm{Gal}}(K/k)$. This element is the image of $\{f_{X',x'}\}$ in ${\rm{Gal}}(K/k)$.
We see in particular by degree considerations (and counting sizes of various finite groups) that $\pi_1(X,x) \rightarrow {\rm{Gal}}(k_s/k)$ is surjective if and only if $U(x,K) = X_K$ for all $K$, which is to say $X$ is geometrically connected over $k$.
In the special case that $X$ is normal with function field $F = k(X)$ and with $X$ geometrically connected over $k$, we can make this even more explicit. Necessarily $k$ is separably closed in $F$ by the geometric connectedness hypothesis, so the separable closure $k_s$ of $k$ in a chosen separable closure $F_s$ of $F$ makes $k_s \otimes_k F$ a field naturally inside $F_s$ over $k$. This is visibly a Galois extension of $F$ with Galois group ${\rm{Gal}}(k_s/k)$. Hence, there is a natural quotient map $${\rm{Gal}}(F_s/F) \twoheadrightarrow {\rm{Gal}}(k_s \otimes_k F/F) = {\rm{Gal}}(k_s/k).$$ Now use ${\rm{Spec}}(F_s) \rightarrow {\rm{Spec}}(F) \rightarrow X$ as the point $x$, so normality of $X$ implies that $\pi_1(X,x)$ is naturally a quotient of ${\rm{Gal}}(F_s/F)$. The above map of field Galois groups factors as the composition of ${\rm{Gal}}(F_s/F) \twoheadrightarrow \pi_1(X,x)$ with the canonical map $\pi_1(X,x) \rightarrow {\rm{Gal}}(k_s/k)$; in other words, for normal $X$ geometrically connected over $k$, the map is a refinement of the usual functoriality of absolutely Galois groups in the theory of fields (with ${\rm{Gal}}(k_s/k)$ playing the role of the opposite group of the connected pro-etale covering $X_{k_s} \rightarrow X$).
Best Answer
It is a birational invariant (for smooth proper connected schemes over a field, ultimately due to Zariski-Nagata purity of the branch locus), and its formation is compatible with products (for proper connected schemes over an algebraically closed field), so we can replace projective $n$-space with the $n$-fold product of copies of the projective line to conclude. Likewise, due to limit arguments and invariance of the etale site with respect to finite radiciel surjections (such as a finite purely inseparable extension of a ground field), it suffices to take the ground field to be separably closed rather than algebraically closed. This is all in SGA1.