0MUR Proof: It is well-known that the filtered colimit, colimHom(S,Xn), is isomorphic to Hom(S,X0). The assertion now follows by Lemma 3.5. □