A topology for the sets of shape morphisms