We say that a simple, undirected graph $G=(V,E)$ has the *fixed point property (FPP)* if for every graph homomorphism $f:G\to G$ there is a vertex $v\in V$ such that $f(v) = v$. If $G$ has the FPP, does $G\times G$ have the FPP (where by $\times$ we denote the [categorical product][1] of graphs)? [1]: https://en.wikipedia.org/wiki/Tensor_product_of_graphs