Let $(X_i)$ be a projective system of topological spaces. Let $X$ be the projective limit of $X_i$.
Let $G$ be a topological space.
What does it mean for $G\to X$ to be continuous?
My guess is that there are continuous maps $G\to X_i$ which fit into some commutative diagrams.
Is that correct?