an exercise relating embeddings to left-cancellable maps

from a discussion with Martin Escardo