What is a lift? What exactly is a lift? I wanted to prove that for appropriately chosen topological groups $G$ we can show that the completion of $\widehat{G}$ is isomorphic to the inverse limit $$\lim_{\longleftarrow} G/G_n$$
I wasn't sure how to construct the map so I asked this question to which I got an answer but I don't understand it. Searching for "lift" or "inverse limit lift" has not helped and I was quite sure that if $[x] \in \widehat{G}$ I could just "project" $x_n$ to $$\lim_{\longleftarrow} G/G_n$$ using the map $\prod_{n=1}^\infty \pi_n (x) = \prod_{n=1}^\infty x_n$ in $G/G_n$. Would someone help me finish this construction and explain to me what a lift is? Thank you.
Edit
I don't know any category theory. An explanation understandable by someone not knowing any category theory would be very kind. 

The term lift is merely meant to mean the following. Given a surjective map $G\to G'$ a lift of an element $x\in G'$ is a choice of $y\in G$ such that $y\mapsto x$ under this map.
In the linked answer you have $(x_n)\in \lim G/G_n$. Thus the notation has $x_n\in G/G_n$. The elements $y_n$ are just chosen preimages of $x_n$ under the natural surjection $G\to G/G_n$.
