As I was reading, I got confused about what \\(\mathcal X'\\) refers to? Should \\(F: \mathcal X \to \mathcal X'\\)? Instead of \\(F: \mathcal X \to \mathcal Y\\)?