In category theory, a branch of mathematics, the image of a morphism is a generalization of the image of a function.