How can "homotopy lifting theorem" be applied to prove this theorem?

Question

Homotopy lifting theorem

Let $p:C\rightarrow X$ be a covering map.

Let $F:Y\times[0,1]\rightarrow X$ be a continuous function.

Let $f:Y\rightarrow C$ be a continuous function such that $(p\circ f)(y)=F(y,0)$.

Then, there is a unique continuous $G:Y\times[0,1]\rightarrow C$ such that $G(y,0)=f(y)$ and $(p\circ G)(y,t)=F(y,t)$.

This is the homotopy lifting theorem and I have proved it and understand this theorem.

Meanwhile, below is a theorem in my text.

Let $p:C\rightarrow X$ be a covering map.

Let $F:[0,1]\times [0,1]\rightarrow X$ be a continuous functuon.

Let $e_0\in C$ such that $p(e_0)=F(0,0)$.

Then, there exists a unique continuous $G:[0,1]\times [0,1]\rightarrow C$ such that $(p\circ G)(s,t)=F(s,t)$ and $G(0,0)=e_0$.

How do I apply the homotopy lifting theorem to this one?

Or, should I prove it directly?

Answer 1

You just need to apply the homothopy lifting thorem twice. Since $p(e_0)=F(0,0)$, by lifting the map $F_0=F \restriction_{\{0\} \times [0,1]}$ you get a map $G_0: \{0\} \times [0,1] \to C$ such that $G_0(0,t)=F(0,t)$ and $G(0,0)=e_0$. Now you can lift the whole map $F$ to a map $G:[0,1] \times [0,1] \to C$ such that $(p \circ G)(s,t)=F(s,t)$ and $G(0,t)=G_0(0,t)$, in particular $G(0,0)=G_0(0,0)=e_0$.

Answer 2

Set $Y=[0,1]$. Use path lifting to define $f$. Then apply the homotopy lifting theorem.