Image (category theory)

Given a category ${\displaystyle C}$ and a morphism ${\displaystyle f\colon X\to Y}$ in ${\displaystyle C}$, the image of ${\displaystyle f}$ is a monomorphism ${\displaystyle m\colon I\to Y}$ satisfying the following universal property:

...
Wikipedia