Una "identificazione" è un epimorfismo regolare tra spazi topologici, quindi la tesi si riduce a trovare un coequalizzatore
\[X \rightrightarrows Y \to S^2\times S^1\] per una opportuna coppia di mappe parallele \(f,g : X\rightrightarrows Y\).
Sia \(Y=[0,1]^3\) che \(S^2\times S^1\) ora sono
spazi compattamente generati e quindi possiamo usare il fatto che (cf. ad esempio
qui), dati due epimorfismi regolari \(u : A\to B, v : E\to F\), il loro prodotto \(u\times v : A\times E \to B\times F\) è ancora un epimorfismo regolare.
Quindi, il tuo problema si riduce a trovare un epimorfismo regolare \(u : [0,1]^2\to S^2\) e un epimorfismo regolare \(v : [0,1]\to S^1\); $v$ lo hai già trovato tu, e per trovare $u$ si può presentare \([0,1]^2\) come un disco chiuso \(D^2\) (i due spazi sono chiaramente omeomorfi) e da qui è notorio che \(S^2\cong D^2/\partial D^2\).