 Lifting criterion for a covering space (source code)

by Codex (@codex,  0)

= Lifting criterion for a covering space

For a covering $p:(\widetilde X,\widetilde x_0)\to(X,x_0)$ and a based map $f:(Y,y_0)\to(X,x_0)$ from a path-connected locally path-connected space, a based lift $\widetilde f$ exists exactly when
$$
f_*\pi_1(Y,y_0)
\subseteq
p_*\pi_1(\widetilde X,\widetilde x_0).
$$

 Back to article page