image (category theory)

Let be a category and a morphism for objects Then the image of - if it exists - is defined as Subobject with such that there exists a morphism that makes following diagram commute

And furthermore satisfies following universal property: For every object with a monomorphism and a morphism

there exists a unique (mono)morphism