Loop space and $K$-theory

215 Views Asked by At

How can I proove without using Yoneda's lemma that $$ \Omega^2(BU \times \mathbb{Z}) \cong BU \times \mathbb{Z} ?$$ In particular how can I define a cellular map $$ f: \Omega^2(BU \times \mathbb{Z}) \rightarrow BU \times \mathbb{Z} $$ sucht that $f$ is an isomorphism?