1: \begin{abstract}

2: We show that the homotopy category of unpointed spaces admits no set of objects jointly

3: reflecting isomorphisms by giving an explicit counterexample involving

4: large symmetric groups. We also show that, in contrast, the spheres 

5: jointly reflect equivalences in the homotopy 2-category of spaces.

6: The non-existence of such a set in the homotopy category was originally claimed by 

7: Heller, but his argument relied on the 

8: statement that for every set of spaces, long enough transfinite sequential diagrams 

9: admit weak colimits which are privileged with respect to the given set.

10: Using the theory of graphs of groups,

11: we show that this statement is false, by proving that for every ordinal with

12: uncountable cofinality, there is a diagram indexed by that ordinal which

13: admits no weak colimit that is privileged with respect to the spheres.

14: \end{abstract}

15: