The Cartesian product of a compactum and a space is a bifunctor in shape (Q837560)

In the context of the shape and strong shape theory of compact Hausdorff spaces, one replaces such a space \(X\) by a resolution \(R(X)\) of \(X\), typically by finite polyhedra. Previously [ibid. 133, No.~1, 37--63 (2003; Zbl 1037.54010) and ibid. 155, No.~15, 1708--1719 (2008; Zbl 1157.55008)], the author showed how to construct a resolution \(R(X,K)\) of \(X\times P\), where \(K\) is a simplicial complex with realisation \(P\). Subsequently he showed that \(R(X,K)\) is functorial separately in both the first and second variable. Here it is proved to be bifunctorial. Using this result it is then proved that the product of a compact Hausdorff space and a general topological space induces a functor \[ SSh(Cpt)\times Sh(Top) \to Sh(Top), \] where \(SSh(Cpt)\) is the strong shape category of compact Hausdorff spaces and \(Sh(Top)\) the shape category of spaces, even though, by the results of \textit{J. Dydak} and the author [Fundam. Math. 186, No.~1, 39--54 (2005; Zbl 1086.54012)], the product of spaces does not usually behave well in \(Sh(Top)\).