Let X, Y be finite 1-connected p-local CW-complexes. We show that cat(X×Y)=cat(X)+cat(Y) holds if p is large and the loop space homology of X, Y satisfies a certain flatness assumption.
Homology, Homotopy and Applications, Vol. 11 (2009), No. 2, pp.275-307.