Fibrations, unique path lifting, and continuous monodromy

Hanspeter Fischer, Jacob D. Garcia

Given a path-connected space $X$ and $H\le {\pi }_1(X,x_0)$, there is essentially only one construction of a map $p_H:({\tilde{X}}_H,{\tilde{x}}_0)\to (X,x_0)$ with connected…