Euclidean space to the sphere. In particular, relations between convex sets in the sphere
and pointed convex cones are presented. Several characterizations of the usual projection
onto a Euclidean convex set are extended to the sphere and an extension of Moreau's
theorem for projection onto a pointed convex cone is exhibited.