However, for the naive category of pointed spaces, this fails, as shown by the counterexample X=Y=\mathbb{Q} and Z=\mathbb{N} found by Dieter Puppe. (p. 336) A proof due to Kathleen Lewis that Puppe's counterexample is indeed a counterexample can be found in the book of Johann Sigurdsson and J. Peter May.
